虚拟dtor分段错误

Question

我在 C++ 中有以下代码：

#include <iostream> 

class Number 
{ 
public: 
    virtual void foo(){std::cout << "Number foo\n";};
    Number (){ std::cout << "Number ctor" << std::endl;} 
    virtual ~Number(){ std::cout << "Number dtor" << std::endl;} 
}; 


class Complex : public Number 
{ 
public:
    virtual void foo(){std::cout << "Complex foo\n";};
    Complex (double r=0, double i=0) : _r (r), _i (i)
    { std::cout << "Complex ctor" << std::endl; };
    virtual ~Complex(){ std::cout << "Complex dtor" << std::endl;}
private: 
    double _r,_i;
};


int main()
{
    Number *numArr = new Complex [2];
    delete [] numArr;
    return 0; 
}

当析构函数被声明为虚拟时，应用程序将因分段错误而退出。当它未声明为虚拟时，将调用 Number 类析构函数（这很明显......）。但是，当析构函数被声明为虚拟时，并且当我删除 Complex 类中的双精度数时，不存在分段错误，并且析构函数按预期顺序（Complex，Number）调用，所以我猜问题是相关的关于物体的大小，有人能给我解释一下吗？ 谢谢， 阿米特。

Answer 1

Number *numArr = new Complex [2];
delete [] numArr;

实际上，删除操作会调用未定义的行为。

§5.3.5/3 说，

在第一种选择（删除对象）中，如果操作数的静态类型与其动态类型不同，则静态类型应是操作数动态类型的基类，并且静态类型应具有虚拟析构函数或行为未定义。 在第二种选择（删除数组）中，如果要删除的对象的动态类型与其静态类型不同，则行为未定义。）

它的实际含义是这样的：

Number *object= new Complex();
delete object; //well-defined

//BUT
Number *array = new Complex[N];
delete [] array; //undefined

Answer 2

C++ 中不能有多态数组。数组依赖于指针算术，而指针算术则依赖于编译器了解对象大小。在您的情况下，对数组中第零个之外的任何元素的任何访问都是未定义的。

Answer 3

我不完全确定，但这就是我怀疑的......

我想知道这是否与以下事实有关：派生类数组不应转换为基类数组（它们不一样，请参阅：http://www.parashift.com/c++-faq-lite/proper-inheritance.html#faq-21.3)：delete 如何知道大小正在删除的对象，调整 numArr[0] 和 numArr[1] 的指针（找到 v-table 并传递 this 到d-tor）

显然，标准明确将其命名为未定义（5.3.5）：

在第二种选择（删除数组）中，如果要删除的对象的动态类型与其静态类型不同，则行为未定义。