值类型切片扩容时复制数据,原元素指针失效;指针类型切片扩容时复制指针值,指向对象不变,访问仍有效。

在 Go 语言中,切片(slice)扩容时的行为会因为其元素是指针类型还是值类型而产生不同的影响,尤其是在已有元素的引用或指针是否仍然有效方面。理解这一点对避免潜在的 bug 非常关键。
值类型切片扩容:数据被复制
当切片存储的是值类型(如 int、struct 等),扩容时底层数组空间不足,Go 会分配一块更大的内存,然后将原数组中的所有元素逐个复制到新数组中。
这意味着:
- 原有元素的内存地址已经失效。
- 如果你之前保存了某个元素的地址(指针),扩容后该指针指向的仍是旧内存位置,不再属于当前切片。
- 访问这个“悬空”指针可能导致逻辑错误,尽管 Go 不允许直接操作已释放内存,但若未及时察觉,仍可能引发问题。
示例:
立即学习“go语言免费学习笔记(深入)”;
// 值类型结构体type Person struct {
Name string
}
s := []Person{{"Alice"}, {"Bob"}}
p := &s[0] // 保存第一个元素的指针
s = append(s, Person{"Charlie"}) // 可能触发扩容
fmt.Println(p.Name) // 可能仍打印 "Alice",但 p 指向的是旧底层数组
// 此时 p 已无效,不推荐依赖此行为
指针类型切片扩容:指针被复制,指向不变
当切片存储的是指针类型(如 *Person),扩容时虽然底层数组也被复制,但复制的是指针值本身,也就是内存地址。这些指针指向的对象在堆上,不会因切片扩容而移动。
因此:
- 即使切片扩容,每个指针仍指向原来的实际对象。
- 你通过任何方式访问这些指针(包括从扩容后的切片或保留的旧指针副本),都能正确读写原始数据。
- 这种行为更安全,适合管理大型结构体或需要共享修改的场景。
示例:
立即学习“go语言免费学习笔记(深入)”;
// 指针类型切片a := &Person{"Alice"}
b := &Person{"Bob"}
s := []*Person{a, b}
p := s[0] // 保存指针变量
s = append(s, &Person{"Charlie"}) // 扩容
fmt.Println(p.Name) // 依然输出 "Alice",且 p 指向的对象未变
// 安全,对象本身未受影响
关键区别总结
核心在于复制的内容不同:
- 值类型切片:复制的是整个数据,旧地址失效。
- 指针类型切片:复制的是指针(地址),目标对象不受影响。
因此,在涉及长期持有元素引用、并发修改或多层结构嵌套时,使用指针类型通常更合适。但也要注意避免内存泄漏,因为指针会延长对象的生命周期。
基本上就这些。










