为什么需要字节对齐
在计算机内存中，每个变量都需要占据一定的字节数。当我们创建一个结构体时，编译器会为其中的各个成员分配相应的内存空间。然而，由于计算机硬件的限制，对齐要求会导致成员之间产生间隙。
字节对齐的目的有两个方面：
- 提高内存访问效率：CPU在从内存中读取数据时，一次可读取多个字节（通常是4或8个字节）。如果结构体的成员没有正确对齐，会导致CPU需要额外的开销来进行多次读取，从而降低程序的执行效率。
- 满足硬件的对齐要求：一些特定的硬件平台对于访问非对齐的内存会引发异常，甚至导致程序崩溃。因此，字节对齐是确保程序在不同平台上的兼容性的重要一环。
字节对齐的规则
Golang中的结构体字节对齐遵循以下规则：
- 每个成员的首地址必须是它所占内存大小的整数倍。
- 结构体的总大小必须是最大成员大小的整数倍。
根据这两个规则，编译器会自动为结构体成员进行字节排列和补齐。
对齐示例：
假设我们有以下结构体定义：
type Example struct {
a bool // 占1个字节
b int32 // 占4个字节
c float64 // 占8个字节
}
按照规则，结构体Example的对齐方式如下所示：
| a |未使用(3字节)| b | c | | 1字节 | 3字节 | 4字节 | 8字节 |可以看到，a的首地址是0字节，b的首地址是4字节（int32的大小），c的首地址是8字节（float64的大小）。同时，为了满足对齐的要求，我们需要在成员之间插入一些未使用的字节。
如何影响开发者
字节对齐的规则在某种程度上会影响开发者的程序设计和内存使用。我们需要注意以下几点：- 结构体的成员顺序：由于字节对齐的要求，结构体的成员排列顺序可能会导致内存空间的浪费。我们应该将大小相近的成员放在一起，以减少空隙的产生。
- 结构体的大小计算：由于字节对齐的规则，结构体在内存中的大小可能比成员的总大小要大。我们需要意识到结构体的实际大小，以避免内存浪费。
- 可移植性问题：字节对齐的规则在不同平台上可能有所不同，这可能导致同样的代码在不同平台上的行为不一致。为了保证程序的可移植性，我们应该尽量避免依赖特定的字节对齐规则。