Go 切片这道题，吵了一个下午！-CSDN博客

本文链接：https://blog.csdn.net/EDDYCJY/article/details/120136858

大家好，我是煎鱼。

前几天听到咱 Go 读者交流群里的小伙伴私聊我，表示他们在群里一直在讨论一个问题 slice 相关的问题，众说纷纭，争议了好久，我看消息都是晚上 6 点多的了。

来自煎鱼的聊天记录

今天和各位小伙伴们一起来研究一下，避免后续又踩一遍坑，共同进步！

问题代码

引起群内大范围讨论的代码如下：

func main() {
 sl := make([]int, 0, 10)
 var appenFunc = func(s []int) {
  s = append(s, 10, 20, 30)
  fmt.Println(s)
 }
 fmt.Println(sl)
 appenFunc(sl)
 fmt.Println(sl)
 fmt.Println(sl[:10])
}

你认为程序的输出结果是什么？

是如下的答案：

[]
[10 20 30]
[]
[]

对吗？

看上去很有道理，但错了。正确的结果是：

[]
[10 20 30]
[]
[10 20 30 0 0 0 0 0 0 0]

这下可把大家整懵了，为什么输出 sl 和 sl[:10] 的结果差别这么大，这与预期的输出结果不一致。

群内小伙伴的问题更明确了，疑惑点是：

 fmt.Println(sl)     
 fmt.Println(sl[:10])

上述代码中，为什么第一个 sl 打印结果是空的，第二个 sl 给索引位置就能打印出来？

也有小伙伴不断在尝试 sl[:10] 以外的输出，有没有因为一些边界值改变而导致不行。

例如：

fmt.Println(sl[:])

你认为这个对应的输出结果是什么？

是如下的答案：

[10 20 30 0 0 0 0 0 0 0]

对吗？

看上去很有道理，但错了。正确的结果是：

[]

是没有任何元素输出，这下大家更懵了。为什么 sl[:] 的输出结果为空？

再看看变量 sl 的长度和容量：

fmt.Println(len(sl), cap(sl))

输出结果：

0 10

长度竟然是 0 ...迷了？

挖掘原因

三个问题

在研究了问题代码的表象后，我们要进一步的挖掘问题的原因。

请思考如下三个问题：

为什么打印 sl[:10] 时，结果包含了 10 个元素，还包含了函数闭包中插入的 10, 20, 30，之间有什么关系？
为什么打印 sl 变量时，结果为空？
为什么打印 sl[:] 时，结果为空。但打印 sl[:10] 就正常输出？

了解底层

要分析起源，我们就必须要再提到 slice（切片）的底层实现，slice 底层存储的数据结构指向了一个 array（数组）。

如下：

slice 和 array 的友谊小船

对应的 Slice 在运行时的表现是 SliceHeader 结构体，定义如下：

type SliceHeader struct {
 Data uintptr
 Len  int
 Cap  int
}

Data：指向具体的底层数组。
Len：代表切片的长度。
Cap：代表切片的容量。

核心要记住的是：slice 真正存储数据的地方，是一个数组。slice 的结构中存储的是指向所引用的数组指针地址。

分析原因

在了解 slice 的底层后，我们需要来分析问题的起源，也就是那段 Go 程序。

我们关注到 appenFunc 变量，他其实是一个函数，并且结果中我们所看到的 10, 20, 30，也只有这里有插入的动作。因此这是需要分析的。

如下：

func main() {
 sl := make([]int, 0, 10)
 var appenFunc = func(s []int) {
  s = append(s, 10, 20, 30)
 }
 appenFunc(sl)
 fmt.Println(sl)
 fmt.Println(sl[:10])
}

但为什么在 appenFunc 函数中所插入的 10, 20, 30 元素，就跑到外面的切片 sl 中去了呢？

这其实结合 slice 的底层设计和函数传递就明白了，在 Go 语言中，只有值传递：