go特性之数组与切片的问题

数组：
复制传递(不要按照c/c++的方式去理解，c/c++中数组是引用传递)，定长

切片：
引用传递，底层实现是3个字段 array(数组) + len（长度） +cap（容量）

go/src/runtime/slice.go slice结构定义：
type slice struct {
array unsafe.Pointer
len  int
cap  int
}

要特别注意的是，切片的引用传递指的是切片传递时，切片的array字段是引用传递的，len和cap字段依然是赋值传递。
写个伪代码：

type Slice struct {
Array []interface{}
Len int
Cap int
}

func fake() {
slice1 := &Slice{
Array: 指向一块连续内存的定长数组,
Len: 0,
Cap: 4
}

slice2 := slice1 // 这一行相当于如下：

slice2 := &Slice{}
slice2.Array = slice1.Array // 指向同一块内存，所以说切片是引用传递
slice2.Len = slice1.Len // len字段被复制了
slice2.Cap = slice2.Cap // cap字段被复制了

// 后续如果触发了任一slice的array重新分配内存，另一个slice都是不知道的
// 已经修改任一slice的len和cap，另一个slice也是不知道的
}

最后总结题

//
//输出结果：
//array1: [1 2 3] array2 [100 2 3]
//slice1: [100 2 3] slice2 [100 2 3]
//
func TestSlice1(t *testing.T) {
// 数组是赋值传递
array1 := [3]int{1,2,3}

// 这里array1复制了一份，array2和array1已经不是同一份数据了
// 所以对数组array1，array2的修改是互不影响的
array2 := array1
array2[0] = 100
fmt.Println("array1:", array1, "array2", array2)

// 切片是引用传递
slice1 := make([]int, 0)
slice1 = append(slice1, 1, 2, 3)

// slice2和slice1引用的同一份数据，所以slice2对已有元素的修改，会影响到slice1
// 这里有个细节需要注意，往下面TestSlice2继续看
slice2 := slice1
slice2[0] = 100
fmt.Println("slice1:", slice1, "slice2", slice2)
}

/*
输出结果
slice1: [1 2 3] slice2 [1 2 3 4]
slice1: [1 2 3] slice2 [1 2 3 4 5]
slice1: [1 2 3] slice2 [100 2 3 4 5]
*/
func TestSlice2(t *testing.T) {
// 切片是引用传递
slice1 := make([]int, 0, 4) // 容量是4
slice1 = append(slice1, 1, 2, 3)

// slice2和slice1引用的同一份数据，所以slice2对元素的修改，会影响到slice1
// 特别要注意的是，这里说的引用同一份数据，实际上是指的slice1和slice2内部的ptr指向了同一个数组
// 但是slice1和slice2结构中的len和cap是复制传递的
slice2 := slice1
// 添加第4个元素，容量足够，不会触发内部ptr数组重新分配
slice2 = append(slice2, 4)
fmt.Println("slice1:", slice1, "slice2", slice2)

// 添加第5个元素，容量不足，slice2.ptr重新分配内存，此时slice2.ptr和slice1.ptr已经不是同一份内存了
slice2 = append(slice2, 5)
fmt.Println("slice1:", slice1, "slice2", slice2)

// 所以这里slice2对已有元素的修改，不会影响到slice1了
slice2[0] = 100
fmt.Println("slice1:", slice1, "slice2", slice2)
}

来源：https://www.cnblogs.com/fitness/p/14052238.html