c++ - std::aligned_storage 的目的是什么？

Question

如果我理解正确的话，std::aligned_storage 的主要优点是它管理对齐。它还可以使用 memcpy() 进行复制，并且可以与 POD 类型一起使用。

但是!

1) POD 类型默认由编译器对齐，我们可以使用 #pragma pack(push, 1)

覆盖编译器的对齐方式

2) 默认情况下，我们可以使用memcpy() 复制POD(我们不应该为此做些什么)

所以我真的不明白为什么我们需要 std::aligned_storage？

Answer 1

只要您希望将内存分配与对象创建分离，就可以使用 std::aligned_storage。

您声称:

Also it is usable only with POD types.

但这不是真的。没有什么可以阻止 std::aligned_storage 与非 POD 类型一起使用。

The example on cppreference提供合法用例:

template<class T, std::size_t N>
class static_vector
{
    // properly aligned uninitialized storage for N T's
    typename std::aligned_storage<sizeof(T), alignof(T)>::type data[N];
    std::size_t m_size = 0;
...

这里的想法是，一旦构建了static_vector，就会立即为N 类型T 的对象分配内存，但是没有T 类型已创建。

你不能用一个简单的 T data[N]; 数组成员来做到这一点，因为这会立即为每个元素运行 T 的构造函数，或者不会如果 T 不是默认构造的，甚至可以编译。