内存对齐是C++底层开发中需要重点关注的内容，CPU读取内存时通常按照特定的字节数对齐访问，不对齐的内存访问可能会导致性能下降甚至程序错误。alignas作为C++11标准新增的对齐说明符，允许开发者自定义变量、结构体、类等实体的对齐方式，相比传统的编译器扩展对齐方式，具备更好的跨平台性。
内存对齐的底层原理
计算机的内存空间按照字节划分，理论上可以从任意地址访问任意类型的变量，但部分CPU架构要求特定类型的数据必须存储在对齐的地址上。比如32位系统通常要求int类型存储在4字节对齐的地址，也就是地址能被4整除的位置。如果int存储在地址为5的位置，就属于未对齐访问，部分架构会直接触发硬件异常，部分架构虽然支持但未对齐访问会需要多次内存读取操作，性能明显下降。
结构体的内存对齐还会遵循 padding 规则，编译器会在成员之间插入填充字节，保证每个成员的起始地址都满足自身的对齐要求，同时整个结构体的大小也会对齐到最大成员对齐值的整数倍。
alignas的基本语法
alignas的用法很简单，它可以用在变量定义、结构体定义、类定义等位置，语法形式有两种：
- alignas(常量表达式)：常量表达式必须是非负整数，且是对齐值的要求，比如alignas(16)表示要求对齐到16字节
- alignas(类型)：要求对齐到指定类型的自然对齐值，比如alignas(int)表示对齐到int类型的对齐值
需要注意，alignas指定的对齐值不能小于该实体原本的自然对齐值，只能等于或大于。如果指定的对齐值不符合要求，编译器会报错。
alignas的使用示例
基本变量的对齐控制
我们可以通过alignas修改普通变量的对齐方式，先看自然对齐的情况：
#include <iostream>
#include <cstddef>
int main() {
// 普通int变量，自然对齐值通常是4字节（32位/64位系统常见）
int a;
std::cout << "普通int的地址: " << &a << std::endl;
std::cout << "普通int的对齐值: " << alignof(a) << std::endl;
return 0;
}
接下来使用alignas将对齐值提升到16字节：
#include <iostream>
#include <cstddef>
int main() {
// 使用alignas指定对齐到16字节
alignas(16) int b;
std::cout << "alignas(16) int的地址: " << &b << std::endl;
std::cout << "alignas(16) int的对齐值: " << alignof(b) << std::endl;
return 0;
}
运行后可以看到b的地址是16的倍数，alignof获取到它的对齐值也是16。
结构体的对齐控制
结构体的对齐会影响整个结构体的内存布局，我们可以通过alignas控制结构体的对齐值：
#include <iostream>
#include <cstddef>
// 普通结构体，成员char自然对齐1字节，int自然对齐4字节
struct NormalStruct {
char c;
int i;
};
// 使用alignas指定结构体整体对齐到16字节
alignas(16) struct AlignedStruct {
char c;
int i;
};
int main() {
NormalStruct ns;
AlignedStruct as;
std::cout << "普通结构体大小: " << sizeof(ns) << std::endl;
std::cout << "普通结构体对齐值: " << alignof(NormalStruct) << std::endl;
std::cout << "对齐后结构体大小: " << sizeof(as) << std::endl;
std::cout << "对齐后结构体对齐值: " << alignof(AlignedStruct) << std::endl;
return 0;
}
普通结构体中，char占1字节，之后填充3字节让int对齐到4字节，所以大小是8字节，对齐值是4。对齐后的结构体由于整体要求16字节对齐，所以大小会被填充到16字节，对齐值也变为16。
结构体成员的对齐控制
除了控制整个结构体的对齐，还可以单独控制结构体成员的对齐方式：
#include <iostream>
#include <cstddef>
struct CustomStruct {
char c;
// 成员i指定对齐到8字节
alignas(8) int i;
double d;
};
int main() {
CustomStruct cs;
std::cout << "结构体大小: " << sizeof(cs) << std::endl;
std::cout << "结构体对齐值: " << alignof(CustomStruct) << std::endl;
// 查看成员地址偏移
std::cout << "成员c偏移: " << offsetof(CustomStruct, c) << std::endl;
std::cout << "成员i偏移: " << offsetof(CustomStruct, i) << std::endl;
std::cout << "成员d偏移: " << offsetof(CustomStruct, d) << std::endl;
return 0;
}
这里成员i被指定对齐到8字节，所以char之后会填充7字节让i的起始地址是8的倍数，i占4字节后，double自然对齐8字节，刚好接着存放，所以整个结构体大小是8+4+8=20字节？不对，还要保证整个结构体的对齐值是最大成员对齐值8，所以20不是8的倍数，会填充到24字节，对齐值为8。
alignas的注意事项
- alignas指定的对齐值必须是2的整数次幂，否则编译器会报错
- 不能给引用类型、位域使用alignas，因为这两类实体没有对齐属性
- alignas不能减小实体的自然对齐值，比如int的自然对齐是4，不能用alignas(2)来让int对齐到2字节，这种写法会编译失败
- 过度使用过大的对齐值会增加内存占用，比如对齐到64字节的变量如果很多，会造成大量的内存浪费，需要根据实际需求选择对齐值
对齐不当的常见问题
如果手动修改对齐方式不符合硬件要求，或者对齐值设置错误，可能会出现以下问题：
- 程序运行时触发总线错误，尤其是在严格的CPU架构上，未对齐的内存访问会直接异常终止
- 程序性能下降，未对齐的内存访问需要CPU多次读取拼接数据，增加访问开销
- 不同编译器、不同平台下对齐行为不一致，导致跨平台程序出现兼容性问题，所以优先使用alignas这种标准语法，避免依赖编译器扩展
内存对齐的核心目标是匹配CPU的内存访问特性，alignas提供了标准化的对齐控制方式，开发者在编写底层高性能代码、跨平台代码时，合理使用alignas可以避免很多隐藏的问题。