初探Go语言中切片与append()函数的奥妙

2023-06-14 06:43:49

Go 语言：揭秘切片与 append() 函数的奥秘

各位 Go 语言爱好者们，你们是否曾遇到这样的场景：费尽心思定义了一个函数，热切地将切片作为参数传递，满怀期待地准备在函数中对切片大展拳脚，却发现函数内修改了什么，外部切片依然我行我素？抑或是想用 append() 函数扩容切片，结果它巍然不动？

别担心，你并不孤独。很多 Go 语言初学者都曾被这两个小妖精搞得晕头转向。为了拨开云雾，在这篇文章中，我们将深入探索切片与 append() 函数的奥秘。

切片的本质

Go 语言中的切片本质上是一种引用类型。也就是说，当我们将切片作为函数参数传递时，实际上传递的是对该切片的引用，而非切片本身。因此，函数内部对切片的任何修改，都无法反映到函数外部的切片中。

想象一下，你把切片比作一本借来的书。当你把书借给朋友时，你实际上借出去的是这本书的借阅凭证，而不是书本身。如果你的朋友在书上涂鸦，那本书在你手上的样子并不会改变，因为你拥有的只是那本借阅凭证而已。

同样道理，当我们将切片传递给函数时，我们传递的也是切片的引用。函数内部对切片的任何修改，都不会反映到函数外部的切片中，因为函数操作的只是引用，而不是切片本身。

append() 函数的扩容机制

append() 函数是 Go 语言中用来扩容切片的利器。它可以将一个或多个元素添加到切片中。

append() 函数的扩容机制有点像俄罗斯套娃。当我们使用 append() 函数扩容切片时，Go 语言会创建一个新的切片，就像套娃里的小套娃一样。它会将原切片中的元素复制到新切片中，然后将新元素添加到新切片中。最后，它会把小套娃的外套，也就是新切片的引用，返回给我们。

那么问题来了，函数内部对新切片所做的修改，为什么不会影响函数外部的切片呢？因为新切片是函数自己创建的，与函数外部的切片无关。就像我们刚刚提到的借阅凭证一样，当你把书借给朋友，朋友在上面涂鸦，你的借阅凭证并不会受到影响。

如何正确地修改切片

既然我们知道了切片的本质和 append() 函数的扩容机制，那么如何才能正确地修改切片呢？

很简单，直接用切片索引来修改切片中的元素即可。例如，要修改切片中的第一个元素，我们可以使用如下代码：

slice[0] = 100

这样，我们就能直接修改切片中的元素了。就像我们自己拥有的书一样，我们可以随意涂鸦，而借阅凭证上不会留下任何痕迹。

代码示例

为了更好地理解切片与 append() 函数的奥秘，让我们通过代码示例来验证一下。

代码清单 1

package main

import "fmt"

func main() {
    // 定义一个切片
    slice := []int{1, 2, 3}

    // 传递切片给函数
    modifySlice(slice)

    // 查看函数外部的切片
    fmt.Println(slice) // 输出：[1, 2, 3]
}

func modifySlice(slice []int) {
    // 修改切片中的第一个元素
    slice[0] = 100
}

输出：

[1, 2, 3]

如我们所见，函数内部对切片的修改并没有反映到函数外部的切片中。这是因为我们传递的是切片的引用，而不是切片本身。

代码清单 2

package main

import "fmt"

func main() {
    // 定义一个切片
    slice := []int{1, 2, 3}

    // 使用 append() 函数扩容切片
    slice = append(slice, 4)

    // 查看函数外部的切片
    fmt.Println(slice) // 输出：[1, 2, 3, 4]
}