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

Question

我正在编辑此问题以使其更具可读性且不那么做作。我已经设法用下面的一小段代码复制了我的问题。那么，问题是:为什么在 ~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;
}

Answer 1

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