c++++内存对齐是为了提高cpu访问内存效率而设计的机制。1. 对齐值指变量存储的起始地址必须是其对齐值的倍数；2. 偏移量是结构体成员相对于结构体起始地址的偏移；3. alignof用于查询类型的对齐方式；4. alignas用于指定类型的对齐方式，且只能增加不能减少；5. 结构体大小可能大于成员总和，因编译器会自动填充字节以满足对齐规则；6. 通过调整结构体成员顺序可优化内存使用；7. 跨平台开发时需注意不同平台的对齐差异，必要时使用条件编译或#pragma pack控制对齐方式。
C++内存对齐，简单来说，就是编译器为了提高CPU访问内存的效率，会按照一定的规则，将变量存储在特定的内存地址上。这可能导致结构体的大小大于其成员大小的总和，但却能显著提升程序运行速度。alignof用于查询类型的对齐方式，而alignas则允许我们指定类型的对齐方式。
解决方案：
C++内存对齐的核心在于两个概念：对齐值（alignment）和偏移量（offset）。对齐值是特定类型变量存储的起始地址必须是其对齐值的倍数。偏移量则是结构体成员相对于结构体起始地址的偏移。
立即学习“C++免费学习笔记（深入）”；
编译器会自动进行内存对齐，但理解其原理可以帮助我们更好地优化代码，尤其是在处理底层数据结构或进行跨平台开发时。
为什么需要内存对齐？
CPU访问内存时，通常是按照字（word）为单位进行读取的。如果一个变量没有按照其对齐值进行对齐，那么CPU可能需要多次读取内存才能获取到完整的变量数据，这会显著降低效率。例如，在一个32位系统中，CPU通常以4个字节为单位读取内存。如果一个int类型变量（通常占用4个字节）没有按照4字节对齐，那么CPU可能需要两次读取才能获取到该变量的值。
另外，某些CPU架构可能根本不支持未对齐的内存访问。在这种情况下，尝试访问未对齐的变量会导致程序崩溃。
alignof关键字的使用
alignof是一个运算符，用于查询类型的对齐方式。它返回一个size_t类型的值，表示该类型变量存储的起始地址必须是该值的倍数。
#includestruct MyStruct { char a; int b; short c; }; int main() { std::cout << "Alignment of char: " << alignof(char) << std::endl; // 输出 1 std::cout << "Alignment of int: " << alignof(int) << std::endl; // 输出 4 std::cout << "Alignment of short: " << alignof(short) << std::endl; // 输出 2 std::cout << "Alignment of MyStruct: " << alignof(MyStruct) << std::endl; // 输出 4 (通常) return 0; }
在上面的例子中，alignof(MyStruct)返回的是结构体MyStruct的对齐方式。通常情况下，结构体的对齐方式是其成员中对齐方式最大的那个。
alignas关键字的使用
alignas是一个说明符，用于指定类型的对齐方式。它可以应用于变量、类、结构体、联合体和枚举类型。
#includestruct alignas(8) MyAlignedStruct { char a; int b; short c; }; int main() { std::cout << "Alignment of MyAlignedStruct: " << alignof(MyAlignedStruct) << std::endl; // 输出 8 return 0; }
在这个例子中，我们使用alignas(8)指定了MyAlignedStruct的对齐方式为8字节。即使其成员中最大的对齐方式是4字节（int），结构体的对齐方式仍然会被强制设置为8字节。
需要注意的是，alignas只能增加对齐方式，不能减少。也就是说，如果一个类型的自然对齐方式已经是8字节，那么使用alignas(4)是无效的。
结构体内存对齐的规则
结构体的内存对齐通常遵循以下规则：
- 结构体的每个成员都会按照其对齐值进行对齐。
- 结构体的起始地址必须是其对齐值的倍数。
- 结构体的大小必须是其对齐值的倍数。如果不是，编译器会在结构体的末尾填充一些字节。
这些规则可能导致结构体的大小大于其成员大小的总和。
如何利用内存对齐优化代码？
了解内存对齐的原理后，我们可以通过调整结构体成员的顺序来减少填充字节，从而减小结构体的大小。例如，考虑以下结构体：
struct BadStruct {
char a;
int b;
char c;
};
struct GoodStruct {
int b;
char a;
char c;
};在BadStruct中，char a后面会填充3个字节，以使int b按照4字节对齐。而在GoodStruct中，我们将int b放在最前面，这样可以避免填充字节，从而减小结构体的大小。
当然，这种优化需要在保证代码可读性和可维护性的前提下进行。
跨平台开发中的内存对齐问题
不同的平台可能有不同的内存对齐规则。例如，某些平台可能要求double类型按照8字节对齐，而另一些平台可能只要求按照4字节对齐。
在进行跨平台开发时，需要特别注意内存对齐问题。可以使用条件编译来针对不同的平台选择不同的对齐方式。或者，可以使用#pragma pack指令来强制指定结构体的对齐方式。但是，使用#pragma pack可能会导致代码在某些平台上出现问题，因此需要谨慎使用。
