目录

std::aligned_storage 和 std::aligned_storage_t 详解

一、概述

二、std::aligned_storage

语法

三、std::aligned_storage_t

语法

四、核心功能与应用场景

1. 创建对齐内存缓冲区

2. 自定义内存池

3. 类型擦除（Type Erasure）

4. 实现 placement new

五、使用示例

六、注意事项

七、与其他对齐工具的对比

总结

---

std::aligned_storage 和 std::aligned_storage_t 详解

一、概述

std::aligned_storage 和 std::aligned_storage_t 是 C++ 标准库中用于创建对齐内存缓冲区的工具，主要用于实现自定义内存管理、类型擦除（Type Erasure）或需要精确控制内存布局的场景。

二、std::aligned_storage

std::aligned_storage 是一个模板类，用于创建具有特定大小和对齐要求的未初始化存储区域。

语法

template <std::size_t Size, std::size_t Alignment = alignof(std::max_align_t)>
struct aligned_storage;

• 参数：

  • Size：所需存储区域的大小（字节）。
  • Alignment：对齐要求（默认为 std::max_align_t 的对齐，通常是平台最大对齐值，如 16 字节）。

• 成员：

  • type：一个 struct 类型，其大小至少为 Size 字节，且对齐方式为 Alignment。

三、std::aligned_storage_t

std::aligned_storage_t 是 C++14 引入的别名模板，用于简化对 std::aligned_storage 的访问。

语法

template <std::size_t Size, std::size_t Alignment = alignof(std::max_align_t)>
using aligned_storage_t = typename aligned_storage<Size, Alignment>::type;

• 作用：直接返回 std::aligned_storage 的 type 成员，避免显式使用 typename 和 ::type。

四、核心功能与应用场景

1. 创建对齐内存缓冲区

用于存储需要特定对齐的类型（如 SIMD 类型、硬件寄存器映射等）：

#include <type_traits>
#include <cstdint>

// 创建一个 128 字节的缓冲区，对齐到 32 字节（适合 AVX-512 指令）
using AVX_Buffer = std::aligned_storage_t<128, 32>;

// 使用该类型声明变量
AVX_Buffer buffer;
float* avx_data = reinterpret_cast<float*>(&buffer);

2. 自定义内存池

在内存池中预分配对齐的存储块：

template <typename T>
class AlignedMemoryPool {
private:
    // 为 T 类型创建对齐存储
    using Storage = std::aligned_storage_t<sizeof(T), alignof(T)>;
    Storage* buffer;
    // ... 其他内存池实现细节 ...
};

3. 类型擦除（Type Erasure）

在不暴露具体类型的情况下存储任意类型：

class Any {
private:
    // 存储最大 64 字节、对齐为 8 字节的任意类型
    std::aligned_storage_t<64, 8> storage;
    // ... 类型擦除实现 ...
};

4. 实现 placement new

在对齐的缓冲区上构造对象：

std::aligned_storage_t<sizeof(int), alignof(int)> storage;
int* ptr = new (&storage) int(42);  // 在对齐的缓冲区上构造 int

五、使用示例

以下代码展示了如何使用 std::aligned_storage 手动管理对象生命周期：

#include <iostream>
#include <type_traits>

struct MyClass {
    int value;
    MyClass(int x) : value(x) { std::cout << "构造: " << value << std::endl; }
    ~MyClass() { std::cout << "析构: " << value << std::endl; }
};

int main() {
    // 创建对齐的存储区域
    std::aligned_storage_t<sizeof(MyClass), alignof(MyClass)> storage;
    
    // 使用 placement new 构造对象
    MyClass* obj = new (&storage) MyClass(42);
    
    // 使用对象
    std::cout << "值: " << obj->value << std::endl;
    
    // 显式调用析构函数
    obj->~MyClass();
    
    return 0;
}

六、注意事项

1. 手动管理生命周期：使用 std::aligned_storage 创建的缓冲区不会自动构造或析构对象，需手动调用 placement new 和显式析构。
2. 对齐合法性：Alignment 参数必须是有效对齐值（通常是 2 的幂），且不小于 alignof(std::max_align_t)。
3. 内存访问安全：在对象析构后，避免访问已释放的内存。
4. C++17 替代方案：C++17 引入了 std::byte，可结合 alignas 实现类似功能：

   alignas(16) std::byte buffer[128];  // 128 字节，对齐到 16 字节
   

七、与其他对齐工具的对比

工具	用途
std::aligned_storage	创建指定大小和对齐的未初始化存储区域。
std::align	在现有内存块中查找对齐地址。
alignas 说明符	指定变量或类型的对齐要求（编译时）。
std::max_align_t	平台最大对齐类型，用于获取默认对齐值。
aligned_alloc	C 函数，动态分配对齐的内存（C++17 起可用）。

总结

std::aligned_storage 和 std::aligned_storage_t 是 C++ 中精确控制内存对齐的重要工具，尤其适用于高性能计算、系统编程和自定义内存管理场景。它们允许开发者在不依赖具体类型的情况下，创建符合特定对齐要求的内存缓冲区，为底层编程提供了强大支持。