未知类型的对齐堆分配

Question

鉴于其他未知类型的对齐方式和大小，如何安全地构造正确对齐的空闲存储（堆）？

对于上下文：自动存储版本有据可查。请参阅https://en.cppreference.com/w/cpp/types/aligned_storage 的示例：堆栈上的不透明未初始化存储得到正确对齐，一旦类型已知，以后可以放置新的。

是否可以类似地在堆上进行对齐安全的未初始化分配？一旦类型已知（并在类型感知上下文中通过适当的销毁等删除），此存储稍后将被初始化放置。

以下天真的尝试失败：https://godbolt.org/z/PM1xWoYox

堆存储的心智模型是什么？

Answer 1

鉴于您在使用new 和delete 时遇到的问题，您可以考虑改用aligned_alloc 和free。例如：

#include <cstdlib>
#include <new>

struct Foo
{
    Foo (double d) : m_d (d) {}
    double m_d;
};

int main ()
{
    void *storage = aligned_alloc (alignof (Foo), sizeof (Foo));
    Foo* foo = new (storage) Foo (3.14);
    ...
    foo->~Foo ();
    free (storage);
}

请注意，要销毁由放置new 创建的对象，您必须显式调用析构函数。你不要打电话给delete。然后你必须释放底层存储。