64位系统下Go切片内存地址间隔异常问题咨询

嘿，这个问题我之前也碰到过，咱们一步步拆解清楚～

首先先把你那段没写完的代码补全，方便后续讨论：

package main

import (
	"fmt"
	"unsafe"
)

func main() {
	var sl1 []int
	var sl2 []int
	var sl3 []int
	fmt.Printf("slice:\n")
	fmt.Printf("sl1 addr %p, align %d, size %d\n", &sl1, unsafe.Alignof(sl1), unsafe.Sizeof(sl1))
	fmt.Printf("sl2 addr %p, align %d, size %d\n", &sl2, unsafe.Alignof(sl2), unsafe.Sizeof(sl2))
	fmt.Printf("sl3 addr %p, align %d, size %d\n", &sl3, unsafe.Alignof(sl3), unsafe.Sizeof(sl3))
}

你疑惑的点很明确：明明64位系统下切片的unsafe.Sizeof是24字节（3个int64字段：指针、长度、容量），对齐要求是8字节，为啥栈上相邻切片变量的地址间隔是32字节，而不是像int64那样紧凑分配？

其实核心原因是Go编译器的栈内存分配优化策略，不是切片本身的大小或对齐规则出了问题：

• 切片的结构确实是24字节，对齐要求8字节，这一点unsafe包的结果是准确的。
• 但栈上的变量布局不是严格按照Sizeof的数值来连续堆砌的。Go的栈分配器会根据当前栈帧的需求、编译器优化级别、缓存友好性等因素调整变量的位置：
  1. 栈帧槽划分：有些版本的Go编译器会将栈变量按32字节的“槽”来分配，尤其是复合类型（比如切片、结构体），这样做是为了后续栈扩容或者操作时更高效，避免频繁调整边界。
  2. 缓存友好优化：CPU的缓存行通常是64字节，32字节是半缓存行大小，把切片变量放在32字节间隔的位置，能让多个变量的内存访问更契合缓存的加载规则，提升整体性能。
  3. 逃逸分析影响：如果变量没有逃逸到堆，编译器在栈上分配时可能会预留额外空间，防止后续操作导致栈溢出，这也可能拉大变量间的间隔。

你可以做个对比测试：如果声明多个int64变量，它们的地址间隔肯定是8字节，因为基础类型的栈分配会更紧凑；但换成切片、结构体这类复合类型，就可能出现大于Sizeof的间隔。另外，你也可以尝试用不同的编译优化级别（比如go run -gcflags="-O0"关闭优化，或者-O2开启最高优化），会看到变量间隔可能发生变化。

内容的提问来源于stack exchange，提问作者user2256235