std::aligned_storage 不能直接申请运行时对齐内存，它只是编译期确定大小和对齐的未初始化字节缓冲区，需配合 placement-new 和手动析构使用，不替代 new/delete；运行时对齐应选用 std::aligned_alloc 或带对齐参数的 operator new。
std::aligned_storage 不能直接申请运行时对齐内存
std::aligned_storage 是一个编译期工具，本质是提供一块「类型擦除但满足对齐要求」的原始字节缓冲区，它不分配堆内存，也不调用 operator new。你声明 std::aligned_storage<size align></size>，得到的是一个含静态成员 type 的结构体，其 type 是满足对齐要求的未初始化 POD 数组 —— 它只在栈上或作为类成员存在，生命周期由作用域/对象管理，**不是 malloc/new 的替代品**。
常见误用：试图用它绕过 new 实现“零开销堆对齐分配”，结果发现根本没触发内存申请，或者强行 reinterpret_cast 后调用构造函数却忘了对齐检查，导致 UB。
- 仅适用于编译期已知
Size和Align（如实现std::optional或小型对象池） - 必须手动调用
std::construct_at或 placement-new 构造对象 - 必须手动调用析构函数（若类型非 trivially destructible）
- 不处理内存释放逻辑，不涉及
delete或free
真正需要运行时对齐堆内存？用 std::aligned\_alloc 或 operator new
C++17 起推荐用 std::aligned_alloc（需 <memory></memory>），但它要求 size 是 alignment 的整数倍，且返回指针必须用 std::free 释放：
void* ptr = std::aligned_alloc(64, 256); // 对齐到 64 字节，分配 256 字节
if (ptr) {
// 使用...
std::free(ptr);
}更现代、类型安全的方式是重载 operator new（C++17 起支持对齐参数）：
立即学习“C++免费学习笔记（深入）”；
void* p = ::operator new(1024, std::align_val_t{128});
// ...使用后
::operator delete(p, std::align_val_t{128});-
std::aligned_alloc在 Windows 上可能不可用（MSVC 2019+ 支持，但旧版需用_aligned_malloc） - 用
operator new(size, align_val_t)时，delete必须带相同align_val_t，否则未定义行为 - 某些 libc 实现（如 musl）对非 2 的幂 alignment 支持有限，建议 alignment 取 2、4、8、16、32、64、128 等
高效缓冲区分配：避免反复调用 new/delete，用内存池 + aligned\_storage 配合
高频小对象（如网络包头、事件结构体）对齐分配的瓶颈不在对齐本身，而在系统调用和锁竞争。std::aligned_storage 正确用法是作为内存池中单个 slot 的底层存储单元：
template<size_t N, size_t A>
struct alignas(A) aligned_slot {
std::aligned_storage_t<N, A> storage;
bool used = false;
};
<p>// 全局池：一次性 malloc 对齐内存，再按 slot 切分
static constexpr size_t POOL_SIZE = 4096;
static constexpr size_t SLOT_SIZE = 64;
static constexpr size_t ALIGN = 64;
static alignas(ALIGN) char pool_memory[POOL_SIZE];
static aligned_slot<SLOT_SIZE, ALIGN> pool[SLOT_SIZE / sizeof(aligned_slot<SLOT_SIZE, ALIGN>)];- pool_memory 用
alignas确保起始地址对齐，避免依赖malloc返回值是否满足要求 - 每个
aligned_slot保证内部storage满足ALIGN，可安全 placement-new 构造任意满足该对齐的对象 - 真正高效来自复用，而非单次分配——重点是把
aligned_storage当作“对齐的 raw bytes 容器”，不是分配器本身
容易被忽略的关键点：对齐要求必须大于等于类型的自然对齐
如果你要存放 std::int64_t[8]（自然对齐为 8），却用 std::aligned_storage_t，虽然编译通过，但访问时可能触发硬件异常（ARM）或性能惩罚（x86 偶尔容忍但不保证）。
- 查类型对齐：用
alignof(T)，不是sizeof(T) - 向量化类型（如
__m256）通常要求 32 字节对齐，alignof(__m256)返回 32，不能偷懒设成 16 - 自定义结构体的
alignof由其最大对齐成员决定，但 padding 可能导致实际布局超出预期，建议用static_assert(alignof(MyStruct) == 64)显式校验
对齐不是越大道越好；过度对齐浪费空间、降低缓存利用率，而对齐不足则直接崩溃或静默错误。真正关键的永远是：你知道你要放什么，它要求什么，以及你提供的缓冲区是否确实满足它。
