[数据结构与算法]为什么golang不能在函数中对slice执行append操作

一般认为，golang中的slice是引用传递，即向函数传入slice变量的地址，因此可以在函数中修改slice中变量的值

func main() {
	arr := make([]int, 3)
	for i := range arr {
		arr[i] = i
	}
	changeArr(arr)
	fmt.Println(arr)
}

func changeArr(arr []int) {
	arr[0] = 100
}

输出：[100,1,2]，结果正确

然而在函数中调用append函数，并不能实现向传入的slice中追加元素

func main() {
	arr := make([]int, 3)
	for i := range arr {
		arr[i] = i
	}
	changeArr(arr)
	fmt.Println(arr)
}

func changeArr(arr []int) {
	arr = append(arr, 100)
}

输出：[0,1,2]，结果不正确

事实上，slice类型的参数并不会传入参数的地址，同样是传入参数值的拷贝。可以在函数中打印传入的slice的地址，看看与实际的数据地址是否相同

func main() {
	arr := make([]int, 3)
	for i := range arr {
		arr[i] = i
	}
	// Println无法输出slice的地址，只能用%p格式化输出
	fmt.Printf("%p\n", &arr)
	pointerPara(arr)
}

func pointerPara(arr []int) {
	fmt.Printf("%p\n", &arr)
}

输出：

两个变量的地址并不相同

slice中包含了指向实际数据的指针、slice的长度、slice的容量，因此对于slice中保存的数据来说，相当于向函数中传入了这部分数据的指针，可以在函数中直接修改。但对于slice的长度和容量，相当于是值传递，因此不能在函数中修改，从而导致了在函数中对slice执行append操作没有效果