内存布局

Go是一门属于C语言家族的编程语言，所以本文谈及的很多概念和C语言是相通的。

类型对齐保证也称为值地址对齐保证。如果一个类型的对齐保证为N（一个正整数），则在运行时刻T类型的每个（可寻址的）值的地址都是N的倍数。我们也可以说类型T的值的地址保证为N字节对齐的。

事实上，每个类型有两个对齐保证。当它被用做结构体类型的字段类型时的对齐保证称为此类型的字段对齐保证，其它情形的对齐保证称为此类型的一般对齐保证。

对于一个类型T，我们可以调用unsafe.Alignof(t)来获得它的一般对齐保证，其中t为一个T类型的的非字段值，也可以调用unsafe.Alignof(x.t)来获得T的字段对齐保证，其中x为一个结构体值并且t为一个类型为T的结构体字段值。

unsafe标准库包中的函数的调用都是在编译时刻估值的。

在运行时刻，对于类型为T的一个值t，我们可以调用reflect.TypeOf(t).Align()来获得类型的一般对齐保证，也可以调用reflect.TypeOf(t).FieldAlign()来获得T的字段对齐保证。

从这些要求可以看出，Go白皮书并未为任何类型指定了确定的对齐保证要求，它只是指定了一些最基本的要求。 即使对于同一个编译器，具体类型的对齐保证在不同的架构上也是不相同的。同一个编译器的不同版本做出的具体类型的对齐保证也有可能是不相同的。当前版本（1.13）的标准编译器做出的对齐保证列在了下面：

这里，一个自然字（native word）的尺寸在32位的架构上为4字节，在64位的架构上为8字节。 这意味着，对于当前版本的标准编译器，其它类型的对齐保证为4或者8，具体取决于程序编译时选择的目标架构。此结论对另一个流行Go编译器gccgo也成立。

一般情况下，在Go编程中，我们不必关心值地址的对齐保证。除非有时候我们打算优化一下内存消耗，或者编写跨平台移植性良好的Go代码。请阅读下两节以获得详情。

Go白皮书只对以下种类的类型的尺寸进行了。

Go白皮书没有对其它种类的类型的尺寸最初明确规定。请阅读值复制成本一文来获取标准编译器使用的各种其它类型的尺寸。

为了满足上一节中规定的地址对齐保证要求，Go编译器可能会在结构体的相邻字段之间填充一些字节。这使得一个结构体类型的尺寸并非等于它的各个字段类型尺寸的简单相加之和。 下面是一个展示了一些字节是如何填充到一个结构体中的例子。首先，从上面的描述中，我们已得知（对于标准编译器来说）：

• 下例中的类型T1和的对齐保证均为它们的各个字段的最大对齐保证。所以它们的对齐保证和内置类型int64相同，即在32位架构上为4个字节，在64位架构上为8个字节。

从这个例子可以看出，尽管类型T1和T2拥有相同的字段集，但是它们的尺寸并不相等。

一个有趣的事实是有时候一个结构体类型中零尺寸类型的字段可能会影响到此结构体类型的尺寸。请阅读获取详情。

在此文中，64位字是指类型为内置类型int64或uint64的值。

一文提到了一个事实：一个64位字的原子操作要求此64位字的地址必须是8字节对齐的。这对于标准编译器目前支持的64位架构来说并不是一个问题，因为标准编译器保证任何一个64位字的地址在64位架构上都是8字节对齐的。

On x86-32, the 64-bit functions use instructions unavailable before the Pentium MMX.

On non-Linux ARM, the 64-bit functions use instructions unavailable before the ARMv6k core.

On both ARM and x86-32, it is the caller's responsibility to arrange for 64-bit alignment of 64-bit words accessed atomically. The first word in a variable or in an allocated struct, array, or slice can be relied upon to be 64-bit aligned.