内存对齐指数据地址为特定字节的整数倍，提升访问效率并满足硬件要求。1 使用alignas可指定变量、数组或结构体的对齐方式，如alignas(32) Float arr[100]确保数组按32字节对齐，适用于AVX等SIMD指令。2 对齐值须为2的幂且不小于类型自然对齐。3 结构体中可用alignas对齐成员数组，避免伪共享并优化缓存使用。4 c++17支持对齐new，如new(std::align_val_t{32})分配对齐内存，需配对使用delete[]。5 普通new不保证高对齐，应使用std::aligned_alloc或对齐感知分配器确保正确对齐。
在C++中，内存对齐对性能和某些硬件平台的正确性至关重要。使用
alignas
可以显式控制变量或类型的对齐方式，包括数组元素的对齐。这对于高性能计算、SIMD指令（如SSE、AVX）或与硬件交互的场景非常有用。
什么是内存对齐？
内存对齐是指数据在内存中的地址是某个数（对齐值）的整数倍。例如，一个 16 字节对齐的变量，其地址必须是 16 的倍数。CPU 访问对齐的数据更快，某些架构甚至要求必须对齐，否则会触发异常。
基本数据类型有自然对齐要求：int 通常 4 字节对齐，double 通常 8 字节对齐。结构体和数组的对齐方式由其成员决定，但可以通过
alignas
修改。
alignas 的基本用法
alignas
是 C++11 引入的关键字，用于指定变量或类型的对齐字节数。它可以作用于变量、结构体、类、联合和数组。
立即学习“C++免费学习笔记（深入）”；
alignas(16) int a; // a 按 16 字节对齐 alignas(32) double arr[4]; // arr 按 32 字节对齐
对齐值必须是 2 的幂（如 1、2、4、8、16、32 等），且不能小于类型的自然对齐要求。
控制数组的对齐方式
当你需要数组起始地址满足特定对齐要求时（例如用于 AVX 指令处理 32 字节对齐数据），可以使用
alignas
直接修饰数组声明。
// 声明一个 100 个 float 的数组，按 32 字节对齐（适合 AVX） alignas(32) float vec[100]; <p>// 检查对齐情况</p><h1>include <iostream></h1><h1>include <cstdalign></h1><p>std::cout << "Address: " << reinterpret_cast<std::uintptr_t>(vec) << "n"; std::cout << "Is 32-byte aligned? " << (reinterpret_cast<std::uintptr_t>(vec) % 32 == 0) << "n";</p>
这样能确保
vec
的首地址是 32 的倍数，可用于加载到 YMM 寄存器中，避免性能下降或崩溃。
在结构体中对齐数组
结构体中的数组也可以用
alignas
控制对齐，这有助于优化缓存行使用或避免伪共享。
struct AlignedBuffer { char padding[64]; // 假设缓存行为 64 字节 alignas(32) float data[8]; // data 按 32 字节对齐 };
此时
data
成员的地址会满足 32 字节对齐要求。注意结构体整体的对齐也会被提升为
max(alignof(char), 32)
，即 32 字节。
如果你希望结构体实例数组中每个元素的
data
都对齐，还需对结构体变量整体使用
alignas
或确保分配方式支持对齐。
结合 new 和对齐分配
普通
new
不保证高阶对齐。C++17 起推荐使用
std::aligned_alloc
或
operator new
的对齐版本。
// C++17 起支持对齐 new float* p = new(std::align_val_t{32}) float[50]; <p>// 使用后需用对齐 delete delete[] p; // 注意：需匹配对齐 delete</p>
如果不使用 C++17，可借助
aligned_alloc
（需手动释放）或包装器如
std::aligned_storage
。
基本上就这些。合理使用
alignas
能提升程序性能和稳定性，尤其是在处理数组和底层优化时。关键是确保分配方式与对齐要求匹配。
