GO语言学习——切片（slice）陷阱

切片说明

一个切片是一个数组片段的描述。它包含了指向数组的指针，片段的长度， 和容量（片段的最大长度）。切片的数据结构如下

ptr （*Elem）	len（int）	cap（int）

切片可以使用内置函数 make 创建，函数签名为：

func make([]T, len, cap) []T

其中T代表被创建的切片元素的类型。函数 make 接受一个类型、一个长度和一个可选的容量参数。 调用 make 时，内部会分配一个数组，然后返回数组对应的切片。

letters := []string{"a", "b", "c", "d", "e"}
s := make([]byte, 3)
s = letters[2, 4]  // 如下图左
s = s[:cap(s)]     // 增长切片长度，如下图右

切片增长不能超出其容量。增长超出切片容量将会导致运行时异常，就像切片或数组的索引超 出范围引起异常一样。同样，不能使用小于零的索引去访问切片之前的元素。

问题示例

package main  
import "fmt" 

func deal(value1 []string) {
    fmt.Printf("value1=%v\n", value)

    value2 := value1[:]
    value2 = append(value2, "b")
    fmt.Printf("value1=%v, value2=%v\n", value1, value2)

    value2[0] = "z"
    fmt.Printf("value1=%v, value2=%v\n", value1, value2)
}

func main() {
    slice1 := []string{"a"} // 长度 1, 容量 1

    deal(slice1)
    // Output:
    // value1=[a]
	// value1=[a], value2=[a b]
	// value1=[a], value2=[z b]  --此处value值 未改变

    slice2 := make([]string, 1, 10) // 长度 1, 容量 10
    slice2[0] = "a"

    deal(slice2)
	// Output:
	// value1=[a]
	// value1=[a], value2=[a b]
	// value1=[z], value2=[z b]  --此处value的值 改变
}

说明：

• slice1长度为1，在deal方法中由于空间不足，底层数组被重新分配，因此value1和value2已经指向了不同的底层数组，因此对于数组数据的修改互不影响
• slice2由于长度足够，在deal方法中一直都是使用的相同的底层数组，因此在没有修改value2[0]以前，value1对应的值不变，底层数组其他部分的修改无法在value1中体现。只有当value1对应的元素（value2[0]）修改时，通过value1才能够观察到

总结：

• 对一个切片进行切片不会复制底层的数组，这意味着切片的子切片只是与原切片共享底层数组的一个视图。因此，如果您想要将它与初始的切片分开需要使用copy()。
• 对于 append 函数，如果它没有足够的容量来保存新值，底层数组将会重新分配内存和大小。这意味着 append 的结果能不能指向原始数组取决于它的初始容量。这会导致难以发现的不确定 bugs。