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

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

尚未阅读整个问题，但首先Sequence应标记课堂上的 Destructor virtual。

virtual ~Sequence();

如果您的多态基类的析构函数不是virtual，那么在通过基类指针删除派生类对象时，您将面临未定义的行为。

Answer 2

是SeqItem虚拟的析构函数吗？如果没有，你有未定义的行为；在实践中，如果涉及多重继承，这种未定义的行为只会立即显示出灾难性的结果，即使这样，也不一定除非继承是虚拟的。（如果没有多重继承，它通常似乎可以工作，尽管它经常会泄漏内存。）

Answer 3

您需要虚拟地从基类派生 - 也就是说

class SeqItemB : virtual public SeqItemA { .. }
class SeqItemC : virtual public SeqItemA { .. }

进而

class SeqItemD : public SeqItemB, public SeqItemC { .. }