1.结构尺寸
TL; DR; （摘要）：如果对字段进行重新排序，将使用不同的隐式填充，并且隐式填充计入的大小
struct。
注意结果取决于目标体系结构。
适用于您发布结果时GOARCH=386
，但是当GOARCH=amd64
，既大小的A{}和B{}将是24个字节。
结构的字段地址必须对齐，并且类型的字段地址
int64必须为8字节的倍数。规格：包装
unsafe：
计算机体系结构可能需要 对齐 内存地址; 也就是说，如果变量的地址是一个因子的倍数，则该变量的类型为 alignment
。该函数Alignof采用表示任何类型变量的表达式，并以字节为单位返回（变量的类型）对齐方式。
对齐
int64为8个字节：
fmt.Println(unsafe.Alignof((int64(0)))) // Prints 8
因此，在
A第一个字段为的情况下，
bool后面有7个字节的隐式填充，
A.a因此该
A.b类型的填充
int64可以在8的倍数的地址上开始。这保证了（确切地需要7个字节的填充）为在
struct本身对准这是8的倍数的地址，因为这是所有字段的最大尺寸。请参阅：规格：尺寸对齐保证：
对于
x结构类型的变量：unsafe.Alignof(x)是的unsafe.Alignof(x.f)每个字段f的所有值中的最大值x，但至少是1。
在
B（如果
GOARCH=386是您的情况）情况下，在
B.atype字段之后将只有3个字节的隐式填充，
bool因为此字段后面是type字段
int（其大小为4个字节），而不是
int64。
int如果对齐则为4个字节，如果对齐为
GOARCH=3868个字节
GOARCH=amd64：
fmt.Println(unsafe.Alignof((int(0)))) // Prints 4 if GOARCH=386, and 8 if GOARCH=amd64
使用
unsafe.Offsetof()找出领域的偏移量：
// output 24a := A{}fmt.Println(unsafe.Sizeof(a), unsafe.Offsetof(a.a), unsafe.Offsetof(a.b), unsafe.Offsetof(a.c))// output 16b := B{}fmt.Println(unsafe.Sizeof(b), unsafe.Offsetof(b.b), unsafe.Offsetof(b.a), unsafe.Offsetof(b.c))// output 0fmt.Println(unsafe.Sizeof(C{}))var i intfmt.Println(unsafe.Sizeof(i))输出if
GOARCH=386（在Go Playground上尝试）：
24 0 8 1616 0 8 1204
如果输出
GOARCH=amd64：
24 0 8 1624 0 8 1608
2.零大小值
规格：尺寸对齐保证：
如果结构或数组类型不包含大小大于零的字段（或元素），则其大小为零。 两个不同的零大小变量在内存中可能具有相同的地址。
因此，该规范仅提示使用相同的内存地址，但这不是必需的。但是，当前的实现遵循它。也就是说，不会为大小为零的类型的值分配任何内存，这包括空结构
struct{}和长度为零的数组，例如[0]int，或元素大小为零（且具有任意长度）的数组。
请参阅以下示例：
a := struct{}{}b := struct{}{}c := [0]int{}d := [3]struct{}{}fmt.Printf("%p %p %p %p %p", &a, &b, &c, &d, &d[2])输出（在Go Playground上尝试）：所有地址都相同。
0x21cd7c 0x21cd7c 0x21cd7c 0x21cd7c 0x21cd7c
有关有趣且相关的主题，请阅读： Dave
Cheney：填充很难
