Go语言函数参数采用值传递机制，但对于切片，其行为却展现出一些特殊性。本文将深入剖析Go语言切片值传递的特性，解释为何修改切片元素在函数内外可见，而append操作却并非如此。

Go语言切片实质上是对底层数组的引用，包含指针、长度和容量三个关键部分。当传递切片给函数时，传递的是切片值的副本，这遵循值传递原则。然而，这个副本包含指向底层数组的指针，以及长度和容量信息。

让我们分析以下示例函数：

func exampleFunc(arr []int) {
    arr[0] = 100
    arr[1] = 101
    arr = append(arr, 111)
}

在exampleFunc函数中，arr[0] = 100和arr[1] = 101直接修改了底层数组的元素。由于函数内部的arr和外部的arr都指向同一个底层数组，这些修改自然会反映到函数外部。

Go语言（Golang）1.26.0

Go语言（Golang）1.26.0版本官方下载，版本号 1.26.0，适合旧项目维护、兼容性测试和指定版本开发环境搭建。

下载

立即学习“go语言免费学习笔记（深入）”；

然而，arr = append(arr, 111) 的行为有所不同。append函数在容量不足时，可能会重新分配一个更大的底层数组。这时，append函数返回一个指向新底层数组的新切片。函数内部的arr重新指向了这个新切片，但外部的arr仍然指向旧的切片，因此外部无法感知append操作的结果。这就是函数内部使用append后，外部切片长度不变的原因。

总结来说，通过索引修改切片元素，修改的是共享的底层数组，所以外部可见。而append操作可能导致底层数组重新分配，从而创建新的切片，使得外部无法察觉append操作。Go语言切片的“值传递”特性与底层数组的共享机制共同造成了这种看似矛盾的现象。