alignof 返回类型或表达式的对齐要求，是编译期运算符；alignas 用于显式提高对齐边界，需配合对齐分配使用，否则行为未定义。
alignof 返回类型或表达式的对齐要求
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 显式指定变量或类型的对齐边界
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 在结构体中的实际影响和填充行为
给结构体加 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和作为成员时的偏移计算逻辑
和 malloc / new 对齐分配配合使用的注意事项
alignas 控制的是**声明时的对齐要求**，但堆上分配需额外处理——普通 new 或 malloc 不保证满足高对齐需求。
立即学习“C++免费学习笔记（深入）”；
-
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::aligned_storage_t<sizeof(Vec4), 32>>();
- 更安全的方式是用
std::allocator配合std::aligned_storage，或直接使用std::pmr::polymorphic_allocator（C++17） - 漏掉对齐分配而只写
alignas(32) Vec4* p = new Vec4;→ 行为未定义（UB），运行时可能崩溃或性能骤降
对齐不是“加个关键字就完事”的事情。真正要发挥效果，必须从类型定义、变量声明、内存分配、甚至 CPU 指令（比如 AVX 要求 32 字节对齐）四个层面保持一致。最容易出问题的地方，就是只改了 alignas 却忘了配对的分配方式。
