Go语言中切片扩容引起的内存地址变更

切片的扩容

• 初始化切片的时候，make函数会定义切片的初始大小以及容量，当切片进行append操作后，会出现容量不足的情况，那么系统会自动扩充容量，扩充的容量大小等于之前切片的容量大小，也就是容量翻倍
• 由于切片的底层是基于数组实现的，我们知道数组是无法改变大小的，那么切片又是如何做到突破数组大小来扩容的呢？答案很简单，重新创建一个新的翻倍大小的数组，并将之前数组内容copy过来就好了
• 所以，问题就来了，一旦切片扩容了，那么“它”就不再是原来的“它”了，意思就是切片指向的地址已经发生了改变，不再指向原来的数组，而是指向了一个新的数组了

举个例子

a := [...]int{1,2,3,4}
b := a[1:3]
b[0] = 10
fmt.Println(a, b)           // [1 10 3 4] [10 3]，a和b是一家人，b只是a的一部分切片而已
b = append(b, 100)
fmt.Println(a, b)           // [1 10 3 100] [10 3 100]，a和b还是一家人，只是b切片的范围变大了，而且修改了a数组的最后一个元素
b[0] = 0
fmt.Println(a, b)           // [1 0 3 100] [0 3 100]，b的第一个元素变成了0，同时指向的a数组的第二个元素自然也变成了0
b = append(b, 200)
fmt.Println(a, b)           // [1 0 3 100] [0 3 100 200]，b的再一次append使得b进行了扩容，导致a和b分家了，即b切片不再是a的封装
b[0] = 1
fmt.Println(a, b)           // [1 0 3 100] [1 3 100 200]，b的第一个元素变成了1，但是a的第一个元素不再发生变化

• 解释下，b切片是基于a数组建立的，这个时候更改了b切片的任意元素，a数组也会变更，因为b切片是基于a数组的一层封装，此时b的len=2，cap=3（切片的容量等于数组大小 - 切片的起始位，4 - 1 = 3）
• 当b进行一次append操作后，b切片的大小变成了3，所以并不会触发扩容，此时b切片仍然是a数组的封装，相当于 b 变成了 a[1:4]，同时变更了数组的最后一个元素的值
• 但是当b再一次进行append后，b切片的大小变成了4，需要进行扩容，这个时候b就不再指向a了，而是指向一个新的不可见的数组内存（至少代码中没有任何变量与其关联），这个时候再对b切片进行任何操作就和a数组无关了

Tips

• 显示的基于代码定义的数组产生的切片谨慎使用append操作，因为也许有可能前一刻你的切片还和你定义的数组变量有关，下一刻就无关了，此时对于原数组内的值可能并不是完全跟着你的切片操作走的