c++ - 此代码中调试断言的原因

Question

假设我有这段代码——这段代码什么都不做，我知道它们是内存泄漏，因为 car 的析构函数不是虚拟的。但是我不明白为什么我会得到这段代码的调试断言。我正在使用 visual studio 2010。

struct car {
    ~car() 
    {std::cout << "Destructor of car";  }
};
struct honda: public car {
     virtual ~honda()
    { std::cout << "Destructor of honda"; }
};

int main()
{
    car *c = new honda();
    delete c;
}

如果 honda 类的析构函数未声明为虚拟的，我不会得到此断言。我想知道这有什么问题？

Answer 1

要使析构函数虚拟，您需要在基类中声明它:

struct car {
    virtual ~car() {std::cout << "Destructor of car";  }
 // ↑↑↑↑↑↑↑
};

没有这个，你的代码就有undefined behaviour .