Golang中Slice切片如何使用(golang,slice,开发技术)

上代码

funcmain(){ sl:=make([]int,0,10) varappenFunc=func(s[]int){ s=append(s,10,20,30) fmt.Println(s,len(sl),cap(sl)) } fmt.Println(sl,len(sl),cap(sl)) appenFunc(sl) fmt.Println(sl,len(sl),cap(sl)) fmt.Println(sl[:10],len(sl),cap(sl)) fmt.Println(sl[:],len(sl),cap(sl))}

你觉得会输出什么？思考一下再往下看。

有的人觉得可能是

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

实际结果是

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

是不是差别很大？这里的差别主要是第四行、第五行的结果。

第一行：比较好理解，切片没有做任何修改，值应该是:[] 0 10

第二行：也很好理解，在appendFunc函数中打印sl,结果是：[10 20 30] 3 10 第三行：由于go都是值传递，所以传到appendFunc函数中的sl其实是切片复制了一份，对原sl没有影响，所以输出结果是：[] 0 10

第四行：sl[:10]这个应该会报数组越界错误才对？怎么没有报错，而且还输出了10 20 30,但是len(sl)等于0，很奇怪

第五行：如果第四行能输出整个数组的内容，这里的sl[:]应该也能输出内容，但是为什么是空的？

分析原因

这里有2个问题：

• 为什么sl[0:10]能输出10个元素，并且打印出了函数中添加的元素？但是len(sl)等于0

• 为什么sl[:]输出空数组？

大家都知道，slice（切片）的底层实现，slice 底层存储的数据结构指向了一个 array（数组），如下图：

slice结构体定义如下

typeSliceHeaderstruct{DatauintptrLenintCapint}

• Data：指向具体的底层数组。

• Len：代表切片的长度。

• Cap：代表切片的容量。

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

看到这里你应该明白了，传入到appendFunc函数的sl虽然是外层定义的sl的一个值拷贝，它的修改不会影响原sl的内容，但是由于Data是个指针，appendFunc函数对Data的修改自然就影响了原sl的Data，这个很好理解。

要记住一个关键点：如果传过去的值是指向内存空间的地址，是可以对这块内存空间做修改的

对于第一个问题：为什么sl[0:10]能输出10个元素？

这里跟切片访问的一个优化有关，当用s[low:high]访问切片的时候，表达式s[low : high]中的 high，最大的取值范围对应着切片的容量（cap），不是单纯的长度（len） 。因此调用fmt.Println(sl[:10])时可以输出容量范围内的值，不会出现越界。

相对的 fmt.Println(sl), fmt.Println(sl[:]) 因为该切片 len 值为 0，没有指定最大索引值，high 则取 len 值，导致输出结果为空。