pointers - 使用值接收器 append 到具有足够容量的 slice

Question

谁能帮我理解这里发生了什么？

package main

import (
    "fmt"
)

func appendString(slice []string, newString string) {
    slice = append(slice, newString)
}

func main() {
    slice := make([]string, 0, 1)
    appendString(slice, "a")
    fmt.Println(slice)
}

我知道 slice 头和使用指针接收器的需要。但在这里，由于底层数组有足够的容量，我希望 append 无论如何都能工作(只需将新值添加到底层数组，原始 [copied] header 按预期工作)

我的假设有什么问题？

Answer 1

让我们添加一个最终的打印语句来查看结果:

slice := make([]string, 0, 1)
fmt.Println(cap(slice))
appendString(slice, "a")
fmt.Println(slice)

输出将是(在 Go Playground 上尝试):

1
[]

这是正确的。可以预期输出为:

1
[a]

之所以不是这种情况，是因为即使不会分配新的支持数组，main() 中的 slice 变量中的 slice header 也是未更改，它仍将保持 length = 0。只有appendString()(参数)内部的slice局部变量中存储的slice header被改变了，但是这个变量独立于main的slice .

如果您要重新 slice main 的 slice，您会看到后备数组确实包含新字符串:

slice := make([]string, 0, 1)
fmt.Println(cap(slice))
appendString(slice, "a")
fmt.Println(slice)

slice = slice[:1]
fmt.Println(slice)

现在输出将是(在 Go Playground 上尝试):

1
[]
[a]

这就是为什么内置 append()必须返回新的 slice :因为即使不需要新的支持数组，如果 append 了超过 0 个元素， slice 头(包含长度)也必须更改(增加)。

这就是为什么 appendString() 也应该返回新的 slice :

func appendString(slice []string, newString string) []string {
    slice = append(slice, newString)
    return slice
}

或简称:

func appendString(slice []string, newString string) []string {
    return append(slice, newString)
}

你必须在你使用它的地方重新分配:

slice := make([]string, 0, 1)
fmt.Println(cap(slice))
slice = appendString(slice, "a")
fmt.Println(slice)

然后您会立即获得预期的结果(在 Go Playground 上尝试):

1
[a]