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中，原始数组索引是使用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

Go中切片的最大长度

1 个答案: