第六章 内存对齐
1. 基本概念
内存对齐（Memory Alignment）是指将数据存储在特定的、符合一定规则的内存地址上，以便加强访问速度或满足硬件要求。通常硬件限制和性能优化角度出发，编译器会自动对数据进行对齐。
举例来说，如果一个数据类型需要4字节的对齐（如int类型），那么该数据的地址必须是4的倍数。这意味着地址低两位必须为0，因为4的倍数可以表示为 4k（其中k为整数）。
内存对齐的主要目的是通过在特定地址访问数据来提高CPU的访问速度。未对齐的数据加载会导致性能下降甚至硬件错误。
2. 结构体的内存对齐
结构体的内存对齐是指将结构体中的各个成员按照其对齐规则合理排列，以保证结构体中的数据在内存中的对齐方式符合硬件要求，这样可以提高数据访问效率。C语言编译器会根据每个成员的类型自动插入适当的填充字节（padding），以确保结构体能够满足对齐要求。
-
对齐原则
- 每个数据成员的对齐大小通常是其类型大小的倍数。
- 结构体整体的对齐大小是其最大成员的对齐大小或指定的对齐方式。
-
示例分析
c
#include <stdio.h>
struct Example {
char a; // 1字节，默认对齐为1字节
int b; // 4字节，默认对齐为4字节
short c; // 2字节，默认对齐为2字节
};
int main() {
struct Example ex;
printf("Size of struct Example: %ld\n", sizeof(ex)); // 输出结构体大小 [1]
return 0;
}- 结构体大小的计算 ：按照默认规则，
char a占用1字节，接下来的int b需要4字节对齐，因此在a之后插入3个填充字节（以满足b4字节对齐的要求）。最后，short c需要2字节对齐，因此在b之后插入2个填充字节使其地址为2的倍数。整个结构体的大小为12字节。
- 例子中内存排列及对齐 ：
a(1字节)- 填充 (3字节)
b(4字节)c(2字节)- 填充 (2字节)
从上面的例子中可以看出，编译器会根据需要自动插入填充字节，以确保每个成员按照其对齐规则排列，并使得整个结构体按最大对齐大小对齐。这样保证了数据访问的高效性。
-
查看对齐情况 ：可以通过特定的编译器选项来查看或调整结构体成员的对齐方式。例如：
c#pragma pack(push, 1) // 强制1字节对齐 struct Example { char a; int b; short c; }; #pragma pack(pop)
通过上述方式，可以控制结构体的内存对齐方式，用户需要根据实际情况调整对齐以达到最优化内存使用和访问效率。
3. 内存对齐优化
内存对齐优化主要是通过合理安排结构体成员的顺序，减少填充字节，从而降低内存占用，提高性能。
-
内存对齐的原因：
- 硬件限制：某些CPU在访问未对齐的内存时会抛出异常，或需要额外的指令来处理未对齐的数据，从而降低性能。
- 性能优化：对齐的数据结构可以使硬件更高效地访问内存，提高程序运行速度。
-
内存对齐原则：
- 基本对齐规则：数据成员的对齐以其类型大小为准（如int为4字节，short为2字节）。
- 结构体对齐规则：结构体的对齐以其最大成员大小为准。
-
内存对齐技巧：
- 调整成员顺序：将较大数据类型的成员放在前面，较小的数据类型放在后面，以减少填充字节。
- 使用编译器指令 ：利用编译器提供的特性，如GCC中的
__attribute__((packed))指令，强制取消填充字节。
以下是通过调整结构体成员顺序进行优化的示例：
c
#include <stdio.h>
struct OptimizedExample {
int b; // 4字节
short c; // 2字节
char a; // 1字节
};
int main() {
struct OptimizedExample opt_ex;
printf("Size of struct OptimizedExample: %ld\n", sizeof(opt_ex)); // 输出优化后结构体大小 [1]
return 0;
}在这个优化后的结构体中，将int类型放在前面，再放short类型，最后放char类型，减少了填充字节。优化后的结构体按对齐规则排列，总共只需要8字节。
使用编译器指令优化：
某些编译器支持特定的指令来调整内存对齐，如GCC中的__attribute__((packed))：
c
#include <stdio.h>
struct PackedExample {
char a;
int b;
short c;
} __attribute__((packed));
int main() {
struct PackedExample pak_ex;
printf("Size of struct PackedExample: %ld\n", sizeof(pak_ex)); // 输出packed结构体大小 [2]
return 0;
}使用packed指令后，编译器会移除所有填充字节，使得结构体大小为7字节。但是需要注意的是，虽然减少了内存使用，但访问未对齐数据可能会导致性能下降，所以需要在使用时权衡性能和内存之间的关系。
- 优化后的结构体大小：在优化结构体成员顺序后，结构体的内存占用减少到8字节。
- packed结构体大小 ：使用
__attribute__((packed))指令后，结构体的内存占用减少到7字节，但需要注意可能带来的性能问题。
总结：
- 内存对齐使得CPU能够更快访问数据，减少缓存行（cache line）错失。
- 结构体内存对齐通过插入填充字节来确保每个成员按照其对齐规则对齐。
- 内存对齐优化通过调整成员顺序或使用编译器指令来减少内存占用，但需注意可能带来的性能问题。