c++ - 具有多态性的类中的灵活数组成员

Question

在C99中，您可以拥有类似

struct foo
{
    int a;
    int data[];
}; 

然后使用 foo* f=(foo*)malloc(sizeof(foo)+n)进行分配，以拥有一个数组长度为 n的结构。

当类是具有虚函数的子类时，可以在C++中做类似的事情吗？

像 foo是bar的子类，然后执行 std::unique_ptr<bar> f= std::unique_ptr<foo>((foo*)malloc(sizeof(foo)+n))这样的操作

我知道该代码无法正常工作，因为释放内存将由 delete完成，但分配已由 malloc完成

Answer 1

可变长度数组实际上不是C++标准的一部分，而是编译器扩展。但是，如果您真的想使用它们，我的意思是，用malloc分配对象，则需要使用placement new调用构造函数，并在调用f->~bar()之前像free一样手动调用析构函数(应该是虚拟的)。由于malloc会生成一个指向具有必要大小的内存的指针，用于初始化对象，因此不应产生 undefined 的行为。