为什么 Golang 的 `append()` 似乎在通过通道发送切片后修改它？

Golang的append()什么时候创建一个新的切片？

append()的文档表明它会分配一个新的切片并且当原切片容量不足时，进行元素复制。但是，在检查以下代码的输出时会出现差异，该代码会生成布尔字母表的组合。

<code class="go">package main

import (
    "fmt"
)

func AddOption(c chan []bool, combo []bool, length int) {
    if length == 0 {
        fmt.Println(combo, "!")
        c <- combo
        return
    }
    var newCombo []bool
    for _, ch := range []bool{true, false} {
        newCombo = append(combo, ch)
        AddOption(c, newCombo, length-1)
    }
}

func main() {
    c := make(chan []bool)
    go func(c chan []bool) {
        defer close(c)
        AddOption(c, []bool{}, 4)
    }(c)
    for combination := range c {
        fmt.Println(combination)
    }
}</code>

对比观察

在输出中，以感叹号结尾的行表示 AddOption 通过通道发送的切片，而没有感叹号的行表示 main() 中接收的切片。值得注意的是，尽管append()据称返回了一个新切片，但通过通道发送的切片似乎在发送后被修改。

检查源

有问题的代码块是：

<code class="go">var newCombo []bool
for _, ch := range []bool{true, false} {
    newCombo = append(combo, ch)
    AddOption(c, newCombo, length-1)
}</code>

根据文档，当原始切片的容量不足时，append() 应该返回一个新的切片描述符，指向新的底层数据数组。但是，作为 AddOption 的第二个参数传递的值可以是指向切片描述符的指针，也可以是切片描述符的真实副本。

澄清行为

这个问题的答案在于区分切片数据类型和它的实际表示。切片描述符由长度和容量的两个整数以及指向底层数据的指针组成。

虽然append()确实返回一个带有可能不同的底层数据数组的新切片描述符，但指向数据的指针除非容量扩大，否则保持不变。这意味着虽然切片描述符本身是副本，但指针值（底层数据的地址）是共享的。

其他示例

为了说明，请考虑这个代码片段：

<code class="go">package main

import "fmt"

func main() {
    s := make([]int, 0, 5)
    s = append(s, []int{1, 2, 3, 4}...)

    a := append(s, 5)
    fmt.Println(a)

    b := append(s, 6)
    fmt.Println(b)
    fmt.Println(a)
}</code>

此代码打印：

[1 2 3 4 5]
[1 2 3 4 6]
[1 2 3 4 6]

最初，s有足够的容量，因此a和b共享相同的底层数据指针。但是，如果我们将 s 的容量减少到 4，输出将更改为：

[1 2 3 4 5]
[1 2 3 4 6]
[1 2 3 4 5]

这表明只有当 s 有足够的容量时，a 和 b 才会共享相同的底层数据。

以上是为什么 Golang 的 `append()` 似乎在通过通道发送切片后修改它？的详细内容。更多信息请关注PHP中文网其他相关文章！