alignof 返回类型自然对齐所需的字节数(2的幂),非 sizeof;alignas 强制指定对齐(须为2的幂且不小于默认值),影响内存布局与性能。

alignof 返回的是类型对齐要求,不是大小
很多人误以为 alignof(int) 会返回 sizeof(int),其实它返回的是该类型在内存中**自然对齐所需的字节数**。比如在大多数 x64 系统上:alignof(double) 是 8,但 sizeof(double) 也是 8;而 alignof(std::max_align_t) 通常是 16,远大于多数基础类型的大小。
对齐值影响结构体布局:编译器会在成员之间插入填充字节,确保每个成员起始地址是其 alignof 的整数倍。
- 结构体整体对齐值 = 其所有成员对齐值的最大值(向上取整到 2 的幂)
-
alignof结果总是 2 的幂(如 1、2、4、8、16…) - 对齐不足会导致某些平台(如 ARM)触发硬件异常,x86/x64 则仅性能下降
alignas 指定对齐时,数值必须是 2 的幂且不小于默认对齐
alignas 不是“建议”,而是强制约束。若你写 alignas(32) struct S { ... };,那 sizeof(S) 可能因填充变大,且每次 new S 或局部变量分配都保证地址 % 32 == 0。
常见错误:
立即学习“C++免费学习笔记(深入)”;
-
alignas(3)—— 编译失败,非 2 的幂 -
alignas(1) char buf[64];—— 合法但无意义,char默认对齐就是 1 -
alignas(64) std::vector—— 无效,v; alignas对非 POD 类型的变量声明不改变其内部内存布局
真正有效的场景是自定义缓冲区或与 SIMD 指令配合:
alignas(32) float simd_array[8]; // 适配 AVX2 的 256-bit load
结构体对齐优化要兼顾成员顺序和 alignas 介入点
成员排列顺序直接影响填充量。例如:
struct Bad {
char a;
double b; // 编译器插 7 字节填充
char c;
}; // sizeof(Bad) == 24(x64)
struct Good {
double b;
char a;
char c;
}; // sizeof(Good) == 16(紧凑排布)
此时再加 alignas(16) 不会进一步增大体积,因为最大成员 double 已要求 8 字节对齐,而结构体本身对齐已满足 16 字节边界(取决于目标平台和 ABI)。
关键原则:
- 把大对齐成员(
double、__m128、指针等)放在前面 - 用
alignas显式提升整个结构体对齐,仅当需要缓存行对齐(如避免 false sharing)或对接硬件要求时才用 -
alignas不能降低已有对齐(比如对int加alignas(1)无效)
对齐调试:别只看 sizeof,要检查实际地址和 offsetof
运行时验证是否真对齐,比静态推测更可靠:
struct alignas(64) CacheLineAligned {
int data;
};
CacheLineAligned obj;
std::cout << "address: " << (uintptr_t)&obj << "\n"; // 应为 64 的倍数
std::cout << "offsetof(data): " << offsetof(CacheLineAligned, data) << "\n"; // 应为 0
容易忽略的点:
- 栈上变量的对齐受函数调用约定和编译器优化影响(-O2 下可能被重排)
-
malloc返回的内存只保证max_align_t对齐(通常是 16),不够用得换aligned_alloc(64, size) - 类模板实例化后,
alignof可能因模板参数不同而变化(比如std::array对齐仍是 1,但std::array就是 8)
对齐不是越严越好——盲目用 alignas(4096) 会让小对象浪费大量内存,还可能破坏 CPU 预取效率。










