问题描述
我想了解使用 make([]int,0) 创建空切片时会发生什么。我做这个代码进行测试：
emptySlice := make([]int,0)
fmt.Println(len(emptySlice))
fmt.Println(cap(emptySlice))
fmt.Println(unsafe.Sizeof(emptySlice))
大小和容量返回很明显，都是0，但是slice的大小是24字节，为什么呢？
24 字节应该是 3 int64 对吗？一个包含 24 个字节的切片的内部数组应该类似于：[3]int{}，那么为什么一个空切片有 24 个字节？
解决方法
Go 中的所有数据类型都是静态大小的。由于切片是动态的，元素的数量与类型没有任何关联。
如果您阅读 unsafe.Sizeof 的 documentation，它会解释这里发生的事情：
大小不包括 x 可能引用的任何内存。例如，如果 x 是一个切片，Sizeof 返回切片描述符的大小，而不是切片引用的内存大小。
,unsafe.Sizeof 是对象在内存中的大小，与 C 和 C++ 中的 sizeof 完全相同。见How to get memory size of variable?
切片有size，但也有resize的能力，所以最大的resize能力也必须存储在某个地方。但是可调整大小也意味着它不能是静态数组，而是需要存储指向其他（可能是动态分配的）数组的指针
整个事情意味着它需要存储它的{ begin,end,last valid index } 或 { begin,size,capacity }。这是一个包含 3 个值的元组，这意味着它在 64 位平台上的内存表示至少为 3×8 字节，除非您想将最大大小和容量限制为远小于 264 字节
在许多具有相同动态调整大小功能的 C++ 类型中情况完全相同，例如 std::string 或 std::vector 也是 24 字节类型，尽管在某些实现中，出于对齐原因添加了 8 字节的填充，产生一个 32 字节的字符串类型。见
- C++ sizeof Vector is 24?
- Why is sizeof array(type string) 24 bytes with a single space element?
- Why is sizeof(string) == 32?
- Why is sizeof array(type string) 24 bytes with a single space element?
事实上，最接近 C++ 的 strings.Builder 的 golang 的 std::string 的大小为 32 字节。见demo