Go 语言（Golang）中的内存对齐（Memory Alignment）是指数据在内存中存储时，其起始地址必须是某个特定数值（一般是数据类型大小的倍数）的整数倍。这种机制是为了提高 CPU 访问内存的效率，由于现代处理器在读取对齐的数据时速度更快，甚至某些架构（如 ARM）在访问未对齐数据时会直接抛出异常。

一、为什么需要内存对齐？

性能优化：CPU 一般以“字”（word）为单位读取内存（例如 8 字节），如果数据跨越多个字边界，CPU 可能需要多次读取并拼接，降低效率。
硬件要求：某些 CPU 架构（如早期的 ARM、SPARC）强制要求对齐访问，否则会触发硬件异常。
Go 运行时保证：Go 语言运行时会自动处理内存对齐，确保程序在不同平台上正确高效运行。

二、Go 中的对齐规则

Go 遵循平台相关的对齐规则，一般由 unsafe.Alignof 函数返回某个类型的对齐要求。

常见类型的对齐大小（在 64 位系统上）：

bool	1	1
int8	1	1
int16	2	2
int32	4	4
int64	8	8
float32	4	4
float64	8	8
pointer	8	8
struct	可变	最大字段对齐值

注意：对齐值一般是该类型大小的最小 2 的幂，且不超过平台最大对齐（如 8 字节）。

三、结构体（struct）中的内存对齐

结构体的内存布局受字段顺序影响，Go 编译器会自动在字段之间插入填充字节（padding），以满足每个字段的对齐要求。

示例 1：低效布局

type BadStruct struct {
    a bool   // 1 字节
    b int64  // 8 字节 → 需要 8 字节对齐
    c int32  // 4 字节
}

内存布局（64 位系统）：

[ a | 7字节padding ][ b (8字节) ][ c (4字节) | 4字节padding ]

总大小 = 1 + 7 + 8 + 4 + 4 = 24 字节

示例 2：优化布局（按大小降序排列）

type GoodStruct struct {
    b int64  // 8
    c int32  // 4
    a bool   // 1
}

内存布局：

[ b (8字节) ][ c (4字节) ][ a (1字节) | 3字节padding ]

总大小 = 8 + 4 + 1 + 3 = 16 字节

✅ 提议：将结构体字段按大小从大到小排列，可减少 padding，节省内存。

四、相关工具和函数

unsafe.Sizeof(x)：返回类型 x 的大小（含 padding）。
unsafe.Alignof(x)：返回类型 x 的对齐要求。
unsafe.Offsetof(x.Field)：返回结构体字段的偏移量。

示例：

package main

import (
    "fmt"
    "unsafe"
)

type S struct {
    a bool
    b int64
    c int32
}

func main() {
    var s S
    fmt.Println("Sizeof(S):", unsafe.Sizeof(s))        // 24
    fmt.Println("Alignof(S):", unsafe.Alignof(s))      // 8（由 int64 决定）
    fmt.Println("Offsetof(b):", unsafe.Offsetof(s.b))  // 8
    fmt.Println("Offsetof(c):", unsafe.Offsetof(s.c))  // 16
}