为什么调用基类析构函数会使此程序崩溃

Question

class ParentClass {
protected:
    int* intArray;
public:
    ~ParentClass(){
        delete [] intArray;
    }
};
class ChildClass : public ParentClass {
public:
    ChildClass() : ParentClass() {
        intArray = new int[5];
    }
};
int main(int argc, const char * argv[]) {
    ChildClass child;
    child.~ChildClass(); //This line crashes the program. why??
}

它引发的特定错误：初始化(37640,0x7fff78623300( malloc： * 对象 0x100100aa0 的错误：未分配正在释放的指针* 在malloc_error_break中设置断点进行调试

指针引用intArray在 ParentClass 中声明，错误指出内存未分配，但它是在ChildClass构造函数中分配的。

有人可以解释一下生成此错误的过程是什么？

Answer 1

问题不在于intArray没有分配，而在于你解除了两次分配。

ChildClass child;实例化

ChildClass实例并调用默认构造函数，该构造函数分配intArray很好，没有问题。

然后，您的代码显式调用析构函数(对于堆栈分配/自动对象，您通常不需要这样做(。

然后，编译器在范围清理期间插入对析构函数的另一个调用，这会导致第二次调用delete[]，这是不正确的，并导致崩溃。调试器可能会报告函数的最后一行(显式析构函数调用所在的位置(，而它确实应该指向右大括号。

可以肯定的是，在析构函数中设置断点并运行程序，看看命中了多少次。

Answer 2

您遇到未定义的行为。 从C++标准：

为对象调用析构函数后，该对象将不再存在;如果 为生存期已结束的对象调用析构函数 (3.8(。[示例：如果析构函数为自动 对象被显式调用，块随后以通常 调用对象的隐式销毁，行为未定义。

Answer 3

child是main()的本地对象。 当离开函数范围时，它会自动销毁。

不幸的是，您在离开函数之前通过显式调用 detructor 手动销毁它。 所以它被摧毁了两次(一次太多(：第二次崩溃了！

您不必销毁本地对象。仅当使用 new 分配动态对象时，指针才需要显式销毁。 但是，您应该使用delete删除它们。

析构函数的显式调用仅在极少数情况下相关：当您想要重用具有 placement-new 的动态对象的存储时。

备注： 在ParentClass中，您应该将intArray初始化为 nullptr。 这将确保如果意外地没有进行分配，delete不会尝试释放单元化指针。