std::aligned_storage

std::aligned_storage 是 C++ 标准库中的一个模板类，它提供了一种方式来存储任意类型的对象，同时确保这个存储空间是适当地对齐的，以满足该类型对象的要求。这个类主要用于实现通用编程技术，如类型擦除、多态容器等，在这些场景中，你可能需要在编译时不知道具体类型的情况下分配内存。

模板参数

std::aligned_storage 接受两个模板参数：

1. Len：所需存储空间的字节数。
2. Align：所需的对齐方式（以字节为单位）。如果未指定，默认对齐方式为 std::max_align_t 的对齐要求，这是大多数基本类型所需的最大对齐方式。

成员函数

std::aligned_storage 不定义任何成员函数，它主要是作为一个用于存储的原始字节数组。然而，你可以使用 reinterpret_cast 或 std::launder（C++17 引入）来将 std::aligned_storage 的地址转换为所需类型的指针，从而在该存储上构造或访问对象。

使用注意事项

• 使用 std::aligned_storage 时，需要谨慎处理对象的生命周期。特别是，如果你在该存储上构造了一个对象，那么你需要确保在适当的时候调用其析构函数。
• 在 C++17 之前，将 std::aligned_storage 的地址转换为对象指针后使用，可能会涉及到未定义行为，因为标准没有明确允许这种转换。C++17 通过引入 std::launder 解决了这个问题，它允许安全地进行这种转换。
• std::aligned_storage 的大小和对齐要求是基于模板参数确定的，因此在使用前需要确保这些参数能够正确反映你想要存储的类型的要求。

示例

下面是一个简单的例子，展示了如何使用 std::aligned_storage 来存储一个 int 类型的对象：

#include <iostream>
#include <type_traits>
#include <new> // for std::launder

int main() {
    // 创建一个足够大的对齐存储空间来存储一个 int
    std::aligned_storage<sizeof(int), std::alignment_of<int>::value>::type storage;

    // 在存储上构造一个 int 对象
    new (&storage) int(42);

    // 安全地将存储的地址转换为 int*
    int* p = std::launder(reinterpret_cast<int*>(&storage));

    // 使用该对象
    std::cout << *p << std::endl; // 输出 42

    // 显式调用析构函数
    p->~int();

    return 0;
}

注意，这个例子使用了 C++17 的 std::launder 来确保类型安全的转换。在 C++17 之前，这种转换可能会导致未定义行为。