生成二进制序列时切片附加无法按预期工作

Question

我有这段代码可以生成长度为 n 的所有二进制序列。所以：

allBitsSeqs(2) gives a 1-by-n int slice  [[1 1][0 0] [1 0] [0 1]]

这是代码：

func allBitSeqs(n int) [][]int {      

    seq := [][]int{{1}, {0}}

    for floor := 1; floor < n; floor++ {

        remember := [][]int{}

        for i := 0; i < len(seq); i++ {

            one := append(seq[i], 1)

            remember = append(remember, one)

            zero := append(seq[i], 0)

            remember = append(remember, zero)

        }

        seq = remember

    }

    return seq

}

游乐场链接：https://play.golang.org/p/s40RS7qEKfL

问题是，当 n = 4 或更多时，我得到：

[[1 1 1 0] [1 1 1 0] [1 1 0 0] [1 1 0 0] [1 0 1 0] [1 0 1 0] [1 0 0 0] [1 0 0 0] [0 1 1 0] [0 1 1 0] [0 1 0 0] [0 1 0 0] [0 0 1 0] [0 0 1 0] [0 0 0 0] [0 0 0 0]]

注意它们是如何成对重复的。

我尝试过一些调试，我认为这与 Go 在需要分配更多空间时如何复制其切片有关。

Answer 1

切片是底层数组的视图。如果您有多个切片使用同一个底层数组，并且您不知道切片如何工作，则可能会得到意外的结果。one&nbsp;:=&nbsp;append(seq[i],&nbsp;1)比如说，one是一个指向数组的切片，该数组有能力保存添加的元素。像下面这样：[&nbsp;1&nbsp;1&nbsp;.&nbsp;.&nbsp;.&nbsp;&nbsp;]数组容量为 5，前两个元素设置为 1（切片长度=2）。再加上1，就变成：[&nbsp;1&nbsp;1&nbsp;1&nbsp;.&nbsp;.]然后您执行以下操作：remember&nbsp;=&nbsp;append(remember,&nbsp;one)这样，您添加了一个指向上面数组的切片，其中 len=3 且容量=5。然后：zero&nbsp;:=&nbsp;append(seq[i],&nbsp;0)请记住 seq[i] 仍然指向同一个数组。另外，seq[i]的len＝2。所以数组就变成了：[&nbsp;1&nbsp;1&nbsp;0&nbsp;.&nbsp;.&nbsp;]那是你的zero。但是，当您添加 0 时，您也更改了 slice&nbsp;one。你最终会得到 和zero并one指向[1 1 0 . .]。长话短说：当您将切片分配给变量时，您将视图分配给数组。如果修改底层数组的内容，视图的内容也会更改。修复方法：创建一个新切片、复制数据并存储该副本。