为什么 Go 对长度为 100k 的切片使用的内存比长度为 100k 的数组少？

问：

请考虑以下代码，其中我分配了 4000 个数组，每个数组的长度为 100k：

    parentMap := make(map[int][100_000]int)
    for i := 0; i < 4000; i++ {
        parentMap[i] = [100_000]int{}
        time.Sleep(3 * time.Millisecond)
    }

如果我在本地运行它并分析其内存使用情况，它会开始使用 >2GB 的内存。

现在，如果我们稍微更改代码以使用数组切片（但长度为 100k），如下所示：

    parentMap := make(map[int][]int)
    for i := 0; i < 4000; i++ {
        parentMap[i] = make([]int, 100_000)
        time.Sleep(3 * time.Millisecond)
    }

在我的机器上，内存峰值约为 73MB。为什么会这样？

我认为这两个片段将使用大致相等的内存，推理如下：

• 在这两种情况下，Go 运行时都会在堆上分配 的值。Go 之所以这样做，是因为如果它在堆栈上分配了这些值，那么一旦当前函数超出范围，这些值就会全部清除。parentMapparentMap
• 因此，第一个代码段直接在堆上分配 4k 个数组。
• 并且，第二个代码段在堆上分配 4k 个切片标头。每个切片标头都有一个指向大小为 100k 的唯一数组（也在堆上）的指针。
• 在这两种情况下，大小为 100k 的堆上都有 4k 数组。因此，无论哪种情况，都应使用大致相等的内存量。

我读到：https://go.dev/blog/slices-intro。但是找不到解释这一点的实现细节。