如果一个类从纯基类继承，那么默认析构函数是什么？

| 考虑下两节课：

struct Base
{
  virtual ~Base()
  {
  }

  virtual void foo() = 0;
};

struct Derived : public Base
{
  virtual void foo()
  {
  }
};

以下是导致未定义行为的原因：

Base *obj = new Derived;
delete obj;

？另一个问题：为什么一个方法被声明为虚拟方法，它在派生类中是虚拟的（即使在派生类中未使用virtual关键字），但对于析构函数却不是这样？

已邀请:

4 个回复

犀耽澄协吻

以下是导致未定义行为的原因：不，这并不完全是因为because2 the的析构函数是virtual而引起未定义的行为。编辑：只是为了澄清一个疑问（在下面的评论中提出），并强调我在上面所说的内容。 @Oli Charlesworth评论：从技术上讲，即使未将其声明为虚拟的，该行为也不会是不确定的，这是不希望的。否。行为将是不确定的。该标准的第5.3.5 / 3节规定：在第一种选择中（删除对象），如果静态类型为操作数不同于动态值类型，静态类型应为基数操作数动态类型的类并且静态类型应具有虚拟析构函数或行为未定义。在第二个替代方案（删除数组）中，如果要删除的对象与其静态类型不同，其行为是不确定的。我认为这有助于消除疑虑。