为什么空切片有 24 个字节？

Question

我想了解使用make([]int, 0). 我做这个代码进行测试：

emptySlice := make([]int, 0)
fmt.Println(len(emptySlice))
fmt.Println(cap(emptySlice))
fmt.Println(unsafe.Sizeof(emptySlice))

size和容量返回很明显，都是0，但是slice的大小是24字节，为什么呢？

24 个字节应该是 3 个int64吧？一个包含 24 个字节的切片的内部数组应该类似于：[3]int{}，那么为什么一个空切片有 24 个字节呢？

Answer 1

Go 中的所有数据类型都是静态大小的。由于切片是动态的，元素的数量与类型没有任何关联。

如果你阅读文档的unsafe.Sizeof，它解释这是怎么回事就在这里：

该大小不包括 x 可能引用的任何内存。例如，如果 x 是一个切片，Sizeof 返回切片描述符的大小，而不是切片引用的内存大小。

Answer 2

unsafe.Sizeof是对象在内存中的大小，与sizeofC 和 C++ 中的完全相同。请参阅如何获取变量的内存大小？

一个 slice 有size，但也有resize的能力，所以最大的 resizing 能力也必须存储在某个地方。但是可调整大小也意味着它不能是静态数组，而是需要存储指向其他（可能是动态分配的）数组的指针

整个事情意味着它需要存储它的{ begin, end, last valid index }或{ begin, size, capacity }。这是一个包含 3 个值的元组，这意味着它在 64 位平台上的内存表示至少为 3×8 字节，除非您想将最大大小和容量限制为远小于 2 ⁶⁴字节

在许多具有相同动态调整大小功能的 C++ 类型中，情况完全相同，例如std::string或者std::vector也是 24 字节类型，尽管在某些实现中，出于对齐原因添加了 8 字节的填充，从而产生了 32 字节的字符串类型。看

• C++ sizeof Vector 是 24？
• 为什么 sizeof array(type string) 是 24 字节，只有一个空格元素？
• 为什么 sizeof(string) == 32？
• 为什么 sizeof array(type string) 是 24 字节，只有一个空格元素？

事实上strings.Builder，最接近 C++ 的golang 的std::string大小为 32 字节。看演示