

新闻资讯
技术学院slice中存指针易引发数据竞争,因循环变量地址复用(如&i)导致所有指针指向同一内存;正确做法是取可寻址变量元素地址(如&data[i]),并确保其生命周期足够长。
Go 的 slice 本身是引用类型,但它的底层数组元素仍是值语义。当你声明 []*int,每个元素是独立的指针变量;而 []int 的每个元素是独立的整数值。常见误操作是:在循环中取 &arr[i] 存入切片,但 i 是循环变量,地址复用导致所有指针最终指向同一个内存位置。
var ptrs []*int
for i := range arr {
ptrs = append(ptrs, &i) // 所有指针都指向同一个 i 的地址!
}目标是让 ptrs[i] 真实指向 data[i] 的地址。关键在于避免取循环变量地址,改用索引访问原切片元素并取其地址。
[]int{1,2,3}),因为其底层数组可能不可取地址;建议先声明变量再赋值&data[i] 而非 &i,且 data 必须是变量(非表达式结果)data := []int{10, 20, 30}
var ptrs []*int
for i := range data {
ptrs = append(ptrs, &data[i]) // ✅ 安全:每个指针指向 data 对应位置
}
// 修改 ptrs[0] 会真实改变 data[0]
*ptrs[0] = 99
fmt.Println(data) // [99 20 30]用 []*T 替代 []T 可避免复制大结构体,但带来额外间接寻址开销和 GC 压力。更重要的是:它绕过了 Go 的值拷贝保护机制,任何通过指针的修改都会影响原始数据源。
append 可能触发底层数组扩容,但指针切片自身扩容不影响已存指针的指向 —— 它们仍指向原 data 元素,这点和普通切片一致当结构体字段是 []*Item,且你通过 itemPtr := &s.Items[i] 获取指针时,得到的是 *[]*Item(即切片头的地址),不是 *Item。这是常见混淆点。
type Container struct {
Items []*Item
}
c := Container{Items: []*Item{&item1, &item2}}
ptrToSlice := &c.Items /
/ 类型是 *[]*Item,不是 **Item
c.Items[i] 本身就是 *Item,无需再取地址;若要存它的地址(比如想修改该指针本身),才用 &c.Items[i](类型为 **Item)slice[i] 才是元素值;对指针切片而言,slice[i] 就是你要的指针&slice[i] 总是安全的,却没确认 slice 本身是否来自可寻址上下文。一旦 slice 是函数返回值且底层数组未逃逸,取地址行为可能在编译期被拒绝,或运行时产生不可预测结果。