Go语言中数组与切片的内存布局：连续即正义

在Go语言里，当你使用数组[N]T或切片[]T（其中元素是结构体这类值类型时），它们都遵循一个核心原则：连续、内联的内存布局。简单来说，所有元素都会按照声明的顺序，紧密地排列在一块连续的内存中。这里没有额外的指针间接层，元素也不会被分散存储到堆上的不同地方。

Go语言中，[N]T 数组和 []T 切片（当元素为结构体等值类型时）均采用连续、内联的内存布局：所有元素按声明顺序紧密排列在一块连续内存中，无指针间接层，也无堆上分散存储。

这背后的原因在于，Go中的结构体（比如Point）是值类型。它的内存布局在编译期就已经被完全确定了。举个例子：

type Point struct {
    x, y int
}
var arr [4]Point

编译器会为arr分配一块固定大小且连续的内存。总大小就是4乘以unsafe.Sizeof(Point{})的结果。以一个64位系统为例，假设int是int64（占8字节），并且字段自然对齐没有填充，那么一个Point就占16字节。整个数组因此占用4 × 16 = 64字节，其内存排布是严格线性的：

[Point0.x][Point0.y][Point1.x][Point1.y][Point2.x][Point2.y][Point3.x][Point3.y]
 ↑ 0x00    ↑ 0x08    ↑ 0x10    ↑ 0x18    ↑ 0x20    ↑ 0x28    ↑ 0x30    ↑ 0x38

看到了吗？这正是第一个示意图所描绘的场景——结构体实例被“展开”，并一个紧挨着一个存放，数组里存储的不是指针，而是实实在在的值。这一点与Ja va等语言截然不同，除非你显式使用指针类型（比如[4]*Point或[]*Point），否则在Go里绝不会出现数组存储一堆引用、再去堆上间接寻址的情况。

验证布局：用unsafe实际观测

口说无凭，我们可以借助unsafe包来实际验证这种连续性：

立即学习“go语言免费学习笔记（深入）”；

package main

import (
    "fmt"
    "unsafe"
)

type Point struct {
    x, y int
}

func main() {
    var arr [4]Point
    base := uintptr(unsafe.Pointer(&arr))
    for i := range arr {
        addr := base + uintptr(i)*unsafe.Sizeof(arr[0])
        fmt.Printf("arr[%d] 地址偏移: 0x%x (x=%p, y=%p)\n",
            i, addr-base, &arr[i].x, &arr[i].y)
    }
}

运行这段代码，输出会清晰地显示arr[1].x的地址正好等于arr[0].x的地址加上unsafe.Sizeof(Point{})。这无疑证实了内存布局是零间隙且连续的。

切片的内存布局：共享同一逻辑

那么通过make([]Point, 10)创建的切片呢？它的底层backing array同样遵循这一逻辑，是一段容纳了10个Point值的连续内存：

s := make([]Point, 10)
// s 的底层数组等价于：var _ [10]Point —— 连续、内联、无指针

切片本身（其运行时表示类似于reflect.SliceHeader）只包含三个字段：Data（一个指向底层数组首地址的uintptr）、Len和Cap。这里的Data指针，指向的就是第一个Point的起始地址（也就是&s[0].x），后续元素依序紧邻排列。

当然，有几个关键的注意事项需要牢记：

• 如果Point内部包含了指针字段（比如*string或[]byte），那么连续存储的只是这些指针值本身，它们所指向的数据仍然是在堆上独立分配的；
• 结构体字段的声明顺序会影响内存对齐，可能产生填充字节（padding），但这并不会破坏数组或切片内各结构体实例之间的连续性；
• make([]Point, n)所创建的底层数组，由于大小动态且可能较大，默认会分配在堆上，但其逻辑布局与栈上的[n]Point数组完全一致；
• 当使用[]byte这类切片进行二进制解析时，务必小心：binary.Read(r, order, &slice)要求slice已经通过make初始化，并且需要传入&slice（即指向切片头部的指针），而不是&[N]byte。传参错误会导致读取失败甚至panic。

总结

透彻理解这种内存布局特性，是进行高效二进制序列化、实现零拷贝网络协议解析、开展内存敏感计算（如图像处理、科学计算）以及安全调试unsafe操作的基础。可以说，Go语言在设计数组和切片对于值类型的处理时，始终秉持着“连续即正义”的哲学。