C++中的alignas和alignof怎么用？(控制内存对齐要求)

日期：2026-01-22 00:00 / 作者：尼克

alignof 返回类型或表达式的对齐要求，是编译期运算符；alignas 用于显式提高对齐边界，需配合对齐分配使用，否则行为未定义。

alignof 是编译期运算符，用于查询某个类型或表达式在目标平台上的自然对齐字节数。它不依赖对象是否存在，只看类型定义。

对内置类型：如 alignof(int) 通常返回 4（x86-64 下常见，但取决于 ABI）；alignof(double) 常为 8
对结构体：结果是其所有成员中最大 alignof 值（再按编译器规则向上对齐），例如含 char 和 double 的 struct，alignof 一般为 8
不能用于位域、函数类型、void 或不完整类型（如前置声明未定义的 struct S;）
注意：alignof 不等于 sizeof —— 比如 struct { char a; } 的 sizeof 是 1，但 alignof 是 1；而加一个 double b; 后，对齐可能跳到 8，即使总大小只有 16

alignas 是声明说明符，用来**提高**（不能降低）对齐要求。它接受常量表达式，值必须是 2 的幂，且不小于该类型默认对齐值。

用在变量上：
```
alignas(16) int x;
```
表示 x 的地址必须是 16 的倍数
用在自定义类型上：
```
struct alignas(32) Vec4 { float x,y,z,w; };
```
让每个 Vec4 对象起始地址都满足 32 字节对齐
多个 alignas 同时出现时，取最大值：
```
alignas(8) alignas(32) char buf[64];
```
等效于 alignas(32)
若指定值小于类型默认对齐（如 alignas(2) double d;），编译器会报错或忽略（C++ 标准要求诊断，主流编译器如 GCC/Clang 都报错）

给结构体加 alignas 不仅影响该类型变量的起始地址，还会改变其内部布局——尤其是当它被嵌入更大结构体时。

考虑：
```
struct 
alignas(16) A { char x; };
```
单个 A 对象大小是 16（编译器补 15 字节填充），因为对齐要求为 16，且 sizeof 必须是其整数倍
嵌套时：
```
struct B { A a; char y; };
```
此时 B::a 占前 16 字节，y 放在第 17 字节，但整个 B 的 alignof 仍为 16，sizeof(B) 通常是 32（补 15 字节使总大小满足对齐）
错误直觉：以为 alignas(N) 只控制“首地址”，其实它同时约束了 sizeof 和作为成员时的偏移计算逻辑

alignas 控制的是**声明时的对齐要求**，但堆上分配需额外处理——普通 new 或 malloc 不保证满足高对齐需求。

new 表达式本身只保证 alignof(std::max_align_t)（通常是 16），无法满足 alignas(32) 或 alignas(64) 的类型

正确做法是使用对齐感知分配：

void* p = aligned_alloc(32, sizeof(Vec4)); // C11/C++17
// 或 C++17 起支持：
auto ptr = std::make_unique>();

更安全的方式是用 std::allocator 配合 std::aligned_storage，或直接使用 std::pmr::polymorphic_allocator（C++17）
漏掉对齐分配而只写 alignas(32) Vec4* p = new Vec4; → 行为未定义（UB），运行时可能崩溃或性能骤降

对齐不是“加个关键字就完事”的事情。真正要发挥效果，必须从类型定义、变量声明、内存分配、甚至 CPU 指令（比如 AVX 要求 32 字节对齐）四个层面保持一致。最容易出问题的地方，就是只改了 alignas 却忘了配对的分配方式。