17370845950

Go切片是值类型，底层由ptr、len、cap三字段构成；赋值时复制结构体，因ptr共享而表现类似引用；append扩容时若len==cap会分配新数组，导致ptr改变、脱离原底层数组。

Go语言中切片（slice）常被说成“引用类型”，但严格来说它本身是值类型，只是其底层数据结构包含指向底层数组的指针——这使得它在行为上表现得像引用类型。理解这一点，关键要看它的底层结构和扩容机制。

切片的底层结构：三个字段的组合

每个切片变量实际是一个结构体，包含三个字段：

• ptr：指向底层数组的起始地址（指针）
• len：当前切片长度（可访问元素个数）
• cap：容量（从ptr开始到底层数组末尾的可用元素总数）

这个结构体本身是值类型，赋值或传参时会复制这三个字段。但由于ptr是共享的，所以多个切片可能指向同一块底层数组——这是“类似引用”行为的根源。

为什么修改元素会影响其他切片？

当两个切片共用同一底层数组（比如通过切片操作生成），它们的ptr指向相同内存地址。此时修改其中一个切片的某个元素，就是在改那块内存里的值，另一个切片自然读到变化后的结果。

例如：

扩容机制：append如何触发重新分配？

调用append时，如果原切片的len ，直接在底层数组空闲位置写入，不改变ptr；一旦len == cap，就要扩容：

• 若原cap为0，新cap设为1
• 若原cap
• 若原cap ≥ 1024，新cap按1.25倍增长（向上取整）
• 分配新数组，拷贝旧数据，更新切片的ptr/len/cap

注意：扩容后的新切片ptr已变，与原切片不再共享底层数组，后续修改互不影响。

常见误区提醒

不要误以为“切片是引用类型所以传参不用加&”——它确实是值传递，只是值里含指针。也不必手动管理内存，但要注意：

• 频繁小量append可能导致多次扩容，可预估容量用make([]T, len, cap)
• 从大数组截取小切片后长期持有，会阻止整个底层数组被GC（可用copy另存一份释放引用）
• 比较两个切片是否相等不能用==（只比较ptr/len/cap），要用reflect.DeepEqual或逐元素比

基本上就这些。搞懂ptr、len、cap三者关系，再结合扩容规则，切片的行为就清晰了。