Go中切片的最大长度

Question

我在4Gb机器的64位linux操作系统中运行以下代码：

package main

import (
    "fmt"
    "math"
)

func main() {
    r := make([]bool, math.MaxInt32)

    fmt.Println("Size: ", len(r))
}

当我运行它时，我得到：

Size: 2147483647

如果我更改math.MaxInt32，math.MaxUint32我将得到：

fatal error: runtime: out of memory

当math.MaxUint32我使用片大小的内存时，我原本希望如此，但是当我尝试使用时，math.MaxInt64我得到：

panic: runtime error: makeslice: len out of range

因此，显然我无法创建大小为的切片math.MaxInt64，这使我们想到了一个问题：如果内存不是问题，那么我在Go中无法创建的最大切片是什么？

我记得在Java中，原始数组索引是通过type来管理的int，因此，原始数组的最大大小是的最大值int，如果尝试使用long它会引发异常（据我所知）
，与Go一样吗？Go中的切片索引绑定到一种特定类型吗？

编辑：

我使用struct{}而不是bool和分配math.MaxInt64元素来运行测试。一切都按预期进行，并打印：

Size: 9223372036854775807

因此，另一个问题是，当错误似乎相同（没有足够的内存）时，为什么会有两个不同的错误消息？

每个错误弹出的条件是什么？

Answer 1

根据文档，The elements can be addressed by integer indices 0 through len(s)-1。这意味着切片的最大容量是目标版本上默认整数的大小。

编辑：从源代码看，似乎有一个安全检查，以确保这种大小的切片是完全可能的：

func makeslice(t *slicetype, len64 int64, cap64 int64) sliceStruct {
    // NOTE: The len > MaxMem/elemsize check here is not strictly necessary,
    // but it produces a 'len out of range' error instead of a 'cap out of range' error
    // when someone does make([]T, bignumber). 'cap out of range' is true too,
    // but since the cap is only being supplied implicitly, saying len is clearer.
    // See issue 4085.
    len := int(len64)
    if len64 < 0 || int64(len) != len64 || t.elem.size > 0 && uintptr(len) > maxmem/uintptr(t.elem.size) {
        panic(errorString("makeslice: len out of range"))
    }

因此，在这种情况下，看起来uintptr(len) > maxmem/uintptr(t.elem.size)我们不允许这样做。

但是，当我分配struct{}不占用内存的空间时，将允许该大小：

func main(){
    r := make([]struct{}, math.MaxInt64)
    fmt.Println(len(r))
}
// prints 9223372036854775807