本文详解go语言中使用range遍历切片时为何无法通过返回局部变量地址修改原结构体字段，并提供安全、正确的指针获取方案。

在Go语言中，range语句遍历切片（如 []Trie）时，每次迭代都会将当前元素按值拷贝到循环变量中——这意味着 for _, st := range trie.subtrie 中的 st 是 trie.subtrie[i] 的一个独立副本，而非对底层数组元素的引用。因此，即使你对 &st 取地址，得到的也只是该临时副本的地址，对其修改（如 next.Insert(...)）不会影响原始切片中的结构体实例。

这正是原代码中 containsIndex 方法失效的根本原因：

func (trie *Trie) containsIndex(next string) *Trie {
    if next != "" {
        for _, st := range trie.subtrie {  // ❌ st 是值拷贝！
            if st.index == next[0] {
                return &st  // ⚠️ 返回的是临时副本地址，无效！
            }
        }
    }
    return nil
}

✅ 正确做法是：显式使用索引访问原切片，再对其元素取地址，确保返回的是底层数组中真实元素的指针：

func (trie *Trie) containsIndex(next string) *Trie {
    if next != "" {
        for i, st := range trie.subtrie {
            if st.index == next[0] {
                return &trie.subtrie[i] // ✅ 直接取原切片第i个元素的地址
            }
        }
    }
    return nil
}

? 补充说明：&trie.subtrie[i] 是安全且标准的写法。因为切片底层指向数组，trie.subtrie[i] 是对数组元素的直接访问，取其地址即获得真实内存位置的指针。

此外，还需注意原代码中另一处潜在问题：append(trie.subtrie, *nt.Insert(data[1:])) —— 这里先解引用 *nt.Insert(...) 得到结构体值，再追加进切片，虽能运行但效率较低（涉及额外拷贝）。更推荐直接管理指针：

// 建议重构为统一指针操作（可选优化）
type Trie struct {
    subtrie []*Trie // 改用 []*Trie 提升一致性与性能
    index   byte
}

func (trie *Trie) Insert(data string) *Trie {
    if data == "" {
        return trie
    }
    if trie.index == 0 {
        trie.index = data[0]
    }
    if next := trie.containsIndex(data[1:])；next != nil {
        next.Insert(data[1:])
    } else {
        nt := &Trie{}
        trie.subtrie = append(trie.subtrie, nt.Insert(data[1:]))
    }
    return trie
}

? 总结：

• Go中 range 遍历切片 → 循环变量是值拷贝，不可用于修改原数据；
• 要获取切片中某元素的可修改指针 → 必须使用 &slice[i]；
• 构建递归数据结构（如Trie）时，建议统一使用指针类型（如 []*Trie），避免隐式拷贝带来的逻辑偏差与性能损耗。