使用值接收器附加到具有足够容量的切片

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)
}

我知道切片头和使用指针接收器的需要。 但是在这里，由于基础数组具有足够的容量，因此我希望追加仍可以正常工作（只需将新值添加到基础数组中，并且原始[复制的]标头将按预期工作）

我的假设有什么问题？

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头也不会更改 ，它仍将保持length = 0 。 仅更改了存储在appendString() （参数）内部的slice局部变量中的slice头，但是此变量独立于main的slice 。

如果要重新slice main的slice ，您将看到backing数组确实包含新字符串：

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的原因：因为即使不需要新的后备数组，如果添加的元素超过0个，slice头（包含长度）也将不得不更改（增加）。

这就是为什么appendString()也应返回新切片的原因：

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]