将项目附加到最大大小切片时的附加行为

Question

我对附加到已经具有最大可能大小的切片时的行为感到困惑。

据我了解，切片的最大大小可以是 int32 或 int64，具体取决于您的系统。

执行时，我得到了符合我预期的test := make([]struct{},math.MaxInt64+1)错误。len argument too large in make([]struct {})但是当做类似的事情时：

test := make([]struct{},math.MaxInt64)

for i:=0;i<100 ; i++ {

    test = append(test, struct{}{})

}

fmt.Println(len(test))

我预计程序会出现恐慌，但令人惊讶的是，代码运行时没有任何问题，并len返回一个溢出的值-9223372036854775709。

有人可以详细说明这种行为吗？

(我用的是go1.11.2 linux/amd64)

Answer 1

规范说明了任何切片的长度和容量：在任何时候都存在以下关系：0 <= len(s) <= cap(s)这显然违反了，因为长度变为负数，因此小于 0。Ian Lance Taylor 确认这是一个错误，而不是它应该如何工作。正确的行为应该是恐慌的说法growslice: cap out of range，它应该源自slice.go / growslice()函数（growslice()被称为来自append()）。如果我们将您的示例稍微修改为：s := make([]struct{}, math.MaxInt32-2)fmt.Println(len(s), cap(s))for i := 0; i < 5; i++ {    s = append(s, struct{}{})    fmt.Println(len(s), cap(s))}并在Go Playground上运行它：2147483645 21474836452147483646 21474836462147483647 2147483647-2147483648 2147483647-2147483647 2147483647-2147483646 2147483647MaxInt32正如我们所看到的，一旦达到32 位架构和MaxInt6464 位架构，容量就会停止增长。