alignas用于指定变量或类型的对齐要求，使地址为N的倍数（N为2的幂且不小于自然对齐），影响起始地址但不改变sizeof，需配合aligned_alloc等确保动态分配对齐，结构体成员顺序影响填充效率。
用 alignas 指定变量或类型的对齐要求
最直接的方式是让编译器在分配内存时满足特定字节对齐，比如 16 字节对齐用于 SSE、32 字节用于 AVX。C++11 起支持 alignas，它作用于变量定义或类型声明，告诉编译器“这个东西的地址必须是 N 的倍数”。
注意：alignas 只影响该对象的起始地址，不改变其内部布局或大小（sizeof 不变），但可能因填充而间接增大实际占用空间。
-
alignas(16) int x;：变量x的地址一定是 16 的倍数 -
struct alignas(32) Vec3 { float x,y,z; };：每个Vec3实例起始地址对齐到 32 字节边界 - 对齐值必须是 2 的幂，且不能小于该类型的自然对齐（如
int通常自然对齐为 4）；否则编译报错：error: alignment value is not a power of 2 - 若同时用
alignas和packed属性（如 GCC 的__attribute__((packed))），行为未定义，应避免混用
动态分配时用 std::aligned_alloc 或 _aligned_malloc
栈上变量可用 alignas，但堆上内存需手动申请对齐地址。std::aligned_alloc（C++17）是标准方案，要求对齐值是 2 的幂，且分配大小是其整数倍；Windows 下常用 _aligned_malloc（需配对 _aligned_free）。
常见错误是忽略对齐前提：比如传入 alignas(32) 但调用 malloc —— 它只保证最小对齐（通常是 8 或 16），无法满足更高要求。
-
void* p = std::aligned_alloc(32, 1024);：申请 1024 字节、32 字节对齐的内存；失败返回nullptr - Windows 下：
void* p = _aligned_malloc(1024, 64);，释放必须用_aligned_free(p)，不能用free - 若用
new表达式，需重载类的operator new并传入对齐参数（C++17 起支持align_val_t）；否则默认new不保证高对齐
结构体成员对齐：别只看 alignas，还要理清 offsetof 和填充
结构体整体对齐由其最大成员对齐决定，但成员顺序直接影响填充量和实际偏移。即使加了 alignas，若把大对齐成员放在后面，前面小成员仍可能造成浪费。
例如：struct S { char a; alignas(8) double b; }; 中，a 占 1 字节，之后要填 7 字节才能让 b 对齐到 8 字节边界，整个结构体大小变成 16。反过来写：struct S { alignas(8) double b; char a; }，大小是 16（a 填充在末尾），但 offsetof(S, a) 是 8，更紧凑。
- 用
static_assert(offsetof(S, member) % N == 0)验证关键成员是否真对齐 - 成员按对齐值从大到小排列，通常能减少填充
-
#pragma pack(N)会压制对齐填充，但破坏硬件对齐要求，可能导致 SIGBUS（尤其 ARM 上访问未对齐uint32_t）
检查对齐是否生效：别只信声明，要验证地址值
声明了 alignas(64) 不代表一定成功——如果分配在栈上且栈本身未对齐（如某些嵌入式环境栈帧起始不对齐），或动态分配时系统无法满足请求，结果可能未对齐（std::aligned_alloc 失败时返回 nullptr，但 alignas 在栈上无运行时检查）。
最可靠的方式是打印地址并验证：
std::cout (&x) ，然后看末尾是否为足够零（如 32 字节对齐 → 地址末 5 位为 0）- 用
std::align手动在缓冲区中找对齐子区域，适合预分配大块内存再切分 - 调试时可在 GDB 中用
p/x &x直接查地址；Clang/GCC 编译加-Wcast-align可捕获潜在未对齐指针转换
对齐不是设个属性就完事，它牵扯分配方式、内存布局、平台约束三者配合。最容易被忽略的是：栈变量的 alignas 依赖栈帧对齐，而默认栈对齐未必满足你的需求（比如 Windows x64 默认栈对齐是 16，但 AVX-512 需要 64）。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
