alignas不能直接修饰数组类型声明，只作用于变量声明点以控制起始地址对齐；若需每个元素单独对齐，须用alignas结构体包装，如struct alignas(16) AlignedFloat { float value; };。
alignas 不能直接修饰数组类型声明
很多人写 alignas(16) int arr[4]; 以为能强制整个数组按 16 字节对齐，但这是错的——alignas 作用在变量（或类型）的**声明点**，它只控制该变量的**起始地址对齐**，不改变元素内部布局。上面这行代码实际效果是：让 arr 的首地址满足 16 字节对齐，而每个 int 仍按自身对齐要求（通常是 4 字节）连续存放。
指定数组起始地址对齐：用在变量声明前
要让数组首地址对齐到特定边界，必须把 alignas 放在变量名前面，且对齐值不能小于元素类型的自然对齐要求：
-
alignas(16) int arr[4];✅ 合法：16 ≥alignof(int)（通常为 4） -
alignas(3) int arr[4];❌ 编译错误：3 不是 2 的整数次幂，且小于alignof(int) -
alignas(8) char buf[256];✅ 合法，但实际对齐效果取决于alignof(char)（为 1），编译器会向上取整到 8
注意：对齐值必须是 2 的整数次幂（如 1/2/4/8/16/32…），否则编译失败。
需要每个元素单独对齐？得用结构体包装
如果目标是让数组中**每个元素都按某边界对齐**（比如每个 float 都从 16 字节边界开始），alignas 无法直接做到。正确做法是定义一个带对齐的结构体：
立即学习“C++免费学习笔记（深入）”；
struct alignas(16) AlignedFloat {
float value;
};
AlignedFloat arr[4]; // 每个元素占 16 字节，首地址和每个 value 地址都 16 对齐
这时 sizeof(AlignedFloat) 是 16（不是 4），数组总大小变成 4 * 16 = 64 字节，空间换来了确定的元素级对齐。
和 malloc / new 分配对齐内存的区别
alignas 只影响栈上或静态存储期变量的对齐；堆上分配需用 std::aligned_alloc（C++17）或 _aligned_malloc（MSVC）：
-
alignas(32) double stack_arr[8];→ 栈上分配，编译器保证首地址 32 对齐 -
double* heap_arr = static_cast<double>(std::aligned_alloc(32, 8 * sizeof(double)));</double>→ 堆上分配，需手动std::free
混用时尤其小心：用 alignas 声明的数组若传给期望特定对齐的 SIMD 函数（如 _mm_load_ps），必须确认其实际对齐值满足要求——调试时可用 reinterpret_cast<uintptr_t>(arr) % 16</uintptr_t> 检查。
对齐不是越大越好，过大的 alignas 会导致栈溢出（局部数组）、缓存浪费（结构体 padding 过多），或链接时因段对齐约束失败。
