小编典典

Go中切片的最大长度

go

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

package main

import (
    "fmt"
    "math"
)

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

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

当我运行它时,我得到:

Size: 2147483647

如果我更改math.MaxInt32math.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

因此,另一个问题是,当错误似乎相同(没有足够的内存)时,为什么会有两个不同的错误消息?

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


阅读 1083

收藏
2020-07-02

共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
2020-07-02