标准new仅保证max_align_t对齐（通常16字节），而AVX-512等需32/64/128字节对齐，故需std::aligned_alloc配合placement new与std::free，并注意alignas协同类型定义。
为什么 new 分配的内存不一定对齐到 16/32 字节？
因为标准 new 只保证满足 std::max_align_t（通常是 16 字节）的对齐，但像 AVX-512、某些 SIMD 结构体或硬件缓冲区可能要求 32、64 甚至 128 字节对齐。直接 new T[100] 返回的地址可能只对齐到 16，导致 _mm512_load_ps 崩溃或触发 std::bad_alloc（某些平台在未对齐访问时抛异常）。
用 std::aligned_alloc 手动管理原始内存
这是最直接可控的方式，但要注意它返回 void*，需手动调用构造函数，且必须配对使用 std::free（不能用 delete）：
// 分配 1024 个 float，要求 64 字节对齐
size_t size = 1024 * sizeof(float);
void* raw = std::aligned_alloc(64, size);
if (!raw) throw std::bad_alloc();
<p>float<em> ptr = static_cast<float</em>>(raw);
// 手动构造（如果是类类型，需用 placement new）
for (size_t i = 0; i < 1024; ++i) {
new (&ptr[i]) float(0.0f); // 若是 POD 类型可跳过
}</p><p>// 使用完毕后：
for (size_t i = 0; i < 1024; ++i) {
ptr[i].~float(); // 若是类类型才需要析构
}
std::free(raw); // 关键：不能用 delete 或 delete[]-
std::aligned_alloc要求 size 是 alignment 的整数倍，否则行为未定义 - Windows 上需用
_aligned_malloc/_aligned_free替代（std::aligned_alloc在 MSVC 2019+ 才完全支持） - 对齐值必须是 2 的幂，且 ≥
sizeof(void*)
封装成模板类避免重复出错
手动调用 placement new 和 std::free 容易漏掉析构或误用释放函数。一个轻量封装能收敛风险：
template<typename T>
class aligned_vector {
T* ptr_ = nullptr;
size_t count_ = 0;
size_t align_ = alignof(T);
<p>public:
explicit aligned_vector(size_t n, size<em>t alignment = alignof(T))
: count</em>(n), align_(alignment) {
size_t size = n <em> sizeof(T);
void</em> raw = std::aligned_alloc(alignment, size);
if (!raw) throw std::bad<em>alloc();
ptr</em> = static_cast<T*>(raw);
for (size<em>t i = 0; i < n; ++i) new (&ptr</em>[i]) T{};
}</p><pre class="brush:php;toolbar:false;">~aligned_vector() {
if (ptr_) {
for (size_t i = 0; i < count_; ++i) ptr_[i].~T();
std::free(ptr_);
}
}
T& operator[](size_t i) { return ptr_[i]; }
const T& operator[](size_t i) const { return ptr_[i]; }};
立即学习“C++免费学习笔记（深入）”；
- 默认对齐按
alignof(T)，但允许显式传入更大值（如aligned_vector<float>(100, 64)</float>） - 构造函数里统一做 placement new，析构里统一调用析构函数 —— 避免用户手写时遗漏
- 不继承
std::vector，避免虚函数开销和接口歧义
编译器扩展与对齐声明的配合点
仅靠分配对齐还不够：如果结构体本身字段没对齐，即使内存地址对齐，字段偏移仍可能破坏向量化。此时需结合 alignas：
struct alignas(64) simd_buffer {
float data[16]; // 64 字节正好装 16 个 float
int tag;
}; // 整个 struct 按 64 对齐，且首地址满足 64 对齐
<p>// 分配时也需匹配：
auto buf = std::make_unique<simd_buffer>(); // new 默认满足 alignas 要求
// 但若用 malloc/aligned_alloc，则必须传入至少 64 对齐-
alignas(N)影响的是类型的对齐要求，不是分配行为本身；它只是告诉编译器“这个类型实例必须放在 N 对齐地址上” - 若结构体含
std::string等内部对齐不稳定的成员，alignas可能被忽略或引发警告 - Clang/GCC 支持
__attribute__((aligned(N)))，MSVC 用__declspec(align(N))，但alignas是标准写法
真正麻烦的从来不是“怎么对齐”，而是“对齐之后谁负责构造/析构、用什么函数释放、类型定义是否和分配对齐协同”。这几个点错一个，就可能静默崩溃或内存泄漏。
