Question

考虑接下来的两个课程：

struct Base
{
  virtual ~Base()
  {
  }

  virtual void foo() = 0;
};

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

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

Base *obj = new Derived;
delete obj;

附加问题：如何将一个方法声明为虚拟，它在派生类中是虚拟的（即使虚拟关键字未在派生类中使用），但对于析构函数则不然？

Answer 1

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

不，这不是正确地调用未定义的行为，因为Base的析构函数是virtual。

编辑：这只是为了澄清一个疑问（在下面的评论中提出），并强调我上面所说的。

@Oli Charlesworth评论道：

从技术上讲，即使它没有被声明为虚拟，行为也会不未定义，这只是不受欢迎的。

没有。行为将是未定义的。

标准中的第5.3.5 / 3节说明，

在第一种选择中（删除对象），如果是静态类型的操作数与其动态不同类型，静态类型应为基础操作数的动态类型的类而静态类型应该有一个虚析构函数或行为未定义。在第二个备选（删除数组）中的动态类型要删除的对象与其静态类型不同，行为未定义。

我认为这有助于消除疑虑。： - ）

Answer 2

这不是未定义的行为。您已将基类析构函数声明为virtual，因此在运行时，delete obj将首先调用Derived中的“默认”析构函数（因为您尚未明确声明一个），然后是Base中的析构函数。

Answer 3

对于任何类，构造函数和析构函数都不是继承的。这在标准中规定。因此，您的代码不会导致未定义的行为，因为它将调用该类的默认构造函数/析构函数。
正是由于这个原因，继承性不适用于析构函数/构造函数。从父对象继承构造函数/析构函数是没有意义的，因为此对象可能具有所有形式的不同成员。

Answer 4

由于您已将基类的析构函数声明为虚拟，因此此处没有未定义的行为。

陈述：

Base *obj = new Derived;
delete obj;

将导致调用派生类的析构函数，然后调用Base类的析构函数。我没有得到第二个问题