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

我正在编辑这个问题,使其更具可读性和更少人为.我已经设法用以下简短的代码复制我的问题.那么问题是：为什么在~A()的“删除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的析构函数是虚拟的吗？如果没有,你有未定义的行为;实际上,如果涉及多重继承,这种未定义的行为将仅显示即时的灾难性结果,即使这样,也不一定,除非继承是虚拟的. (如果没有多重继承,它通常会起作用,尽管它经常会泄漏内存.)

标签：virtual-inheritance,c,destructor,multiple-inheritance,crash
来源： https://codeday.me/bug/20190826/1730605.html