切片是引用类型因其共享底层数组,但变量传参时拷贝切片头(ptr、len、cap),故为值传递;s1和s2赋值后共享数组,修改元素相互影响,但append扩容后互不影响,体现引用语义与值传递共存。

Golang中的切片(slice)本质上是引用类型,但它的变量本身是值传递的。 这句话看似矛盾,其实关键在于理解切片的底层结构和赋值行为。
切片的底层结构
切片不是一个纯粹的指针,而是一个包含三个字段的结构体,通常称为“切片头”(slice header):
- 指向底层数组的指针(ptr)
- 长度(len)
- 容量(cap)
当你创建一个切片时,这个结构体保存了对底层数组的引用。因此,切片的行为像引用类型——多个切片变量可以共享同一块底层数组。
赋值和函数传参是值传递
尽管切片指向底层数组,但切片变量在赋值或传参时是按值拷贝的——拷贝的是切片头(即上面三个字段)。
立即学习“go语言免费学习笔记(深入)”;
一、功能简介本软件完全适应大、中、小型网站建设需要,让您用很便宜的虚拟主机空间也可以开通4个独立的网站!久久企业网站后台管理系统各种版本开发基础架构均为php+mysql+div+css+伪静态,迎合搜索引擎排名的喜好。另外值得一提的是本站特色的TAG系统可为您的网站做出无限分类,不用任何设置全站ULR伪静态!本建站系统除了有产品发布、新闻(软文)发布、订单管理系统和留言反馈等一些最基本的功能之外
这意味着:
- 两个切片变量可以指向同一个底层数组
- 修改一个切片的元素会影响另一个(因为它们共享数组)
- 但直接修改一个切片变量(如重新切片、append导致扩容)不会影响另一个变量
s1 := []int{1, 2, 3}
s2 := s1 // 拷贝切片头,s1 和 s2 共享底层数组
s2[0] = 99 // 修改元素,s1 也会变:s1[0] == 99
s2 = append(s2, 4) // 可能触发扩容,s2 指向新数组
// 此时 s1 不受影响,仍为 [99, 2, 3]
为什么说它是引用类型?
Go官方文档将map、channel、slice、pointer等归为引用类型,指的是它们持有对底层数据的引用,而不是说变量本身是引用语义传递。
关键特征是:多个变量可以共享同一份数据,修改数据内容会互相影响。
基本上就这些。切片不是纯值类型,也不是像C++引用那样的引用类型,而是具有引用语义的值拷贝结构。理解这一点,就能明白它在使用中的行为。不复杂但容易忽略。









