c++ - 在删除涉及多个(虚拟)继承的对象时，为什么会出现无效的块崩溃？

我正在编辑此问题，以使其更具可读性和简化性。我设法用下面的短代码来复制我的问题。那么，问题是:为什么在〜A()中“delete p”行上使用_BLOCK_TYPE_IS_VALID(pHead-> nBlockUse)的断言失败时会崩溃？

class A;

class I
{
public:
    I(const A *p) : parent_(p) {}

    virtual void foo() = 0;
protected:
    const A *parent_;
};

class I1 : public virtual I
{
public:
    I1(const A *p) : I(p) {}

    virtual void foo() {}
};

class A
{
public:
    A() {}
    virtual ~A()
    {
        for (size_t i = 0; i < it_.size(); ++i)
        {
            I *p = it_.at(i);
            delete p;
        }
    }

    virtual I* add() { I *p = new I1(this); it_.push_back(p); return p; }
protected:
    vector<I*> it_;
};


int _tmain(int argc, _TCHAR* argv[])
{
    A *a = new A();
    for (int i = 0; i < 10; ++i) a->add();
    delete a;

    system("pause");
    return 0;
}

最佳答案

SeqItem的析构函数是虚拟的吗？如果没有，则您的行为不确定。实际上，如果涉及多个继承，则这种未定义的行为将仅显示立即的灾难性结果，即使如此，除非继承是虚拟的，否则不一定。 (没有多重继承，它通常似乎可以正常工作，尽管它经常会泄漏内存。)