调用 ~Derived() 和 ~Base() 之间的对象状态

Question

问题

C++ 标准对对象在时间中的状态有什么保证 在派生类的析构函数执行之后，但在基类的析构函数执行之前？ （这是调用派生类的子对象的析构函数的时间。）

示例

#include <string>
struct Base;

struct Member {
  Member(Base *b);
  ~Member();
  Base *b_;
};

struct Base {
  virtual void f() {}
  virtual ~Base() {}
};

struct Derived : Base {
  Derived() : m(this) {}
  virtual ~Derived() {}  
  virtual void f() {}
  std::string s; 
  Member m;
};

Member::Member(Base *b) : b_(b) {}
Member::~Member() {
  // At this point, ~Derived has finished -- can we use b_ as a 
  // Derived* object (i.e. call Derived::f or access Derived::s)?
  b_->f();
}

int main() {
  Base *bd = new Derived;
  delete bd;
}

在此示例中，Member 对象有一个指向拥有它的 Derived 对象的指针，并且它尝试访问该 Derived 对象，因为它已被破坏......即使 Derived 的析构函数已经结束了。

如果某个子对象在~Derived() 执行之后、~Base() 执行之前调用虚函数，会调用*bd 的哪个版本的虚函数？ *bd 处于那种状态时访问它是否合法？

Answer 1

对我来说，从 [12.4] 开始，它显然是不合法的：

一旦为一个对象调用析构函数，该对象就不再 存在； 如果为某个对象调用析构函数，则行为未定义 生命周期已结束的对象 (3.8)。 [示例：...]

尽管没有不再存在的定义，我认为，我可以说引用一个不再存在的对象会导致未定义的行为强>。

Answer 2

来自 n3290 [class.cdtor]

12.7 构造和销毁 1 对于具有非平凡构造函数的对象，在构造函数开始执行之前引用对象的任何非静态成员或基类会导致未定义的行为。 对于具有非平凡析构函数的对象，在析构函数完成执行后引用该对象的任何非静态成员或基类会导致未定义的行为。

Answer 3

在您调用b_->f() 的那一刻，Derived 正在被破坏，但Base 尚未被破坏。不过，您仍处于不确定状态，因为您要拨打的是 Derived::f()。

编辑：

可以调用成员函数，包括虚函数（10.3） 在建造或销毁期间 (12.6.2)。当一个虚函数 从构造函数直接或间接调用（包括从 数据成员的 mem-initializer) 或析构函数，以及 调用适用的对象是正在构建的对象或 破坏，调用的函数是构造函数中定义的函数 或析构函数自己的类或其基类之一，但不是函数 在派生自构造函数或析构函数的类中覆盖它 类，或在最常见的其他基类之一中覆盖它 派生对象 (1.8)。如果虚函数调用使用显式 类成员访问（5.2.5）和对象表达式是指 正在构造或销毁的对象，但其类型既不是 构造函数或析构函数自己的类或其基类之一，结果 调用未定义。

C++0x working draft Sec 12.7 par 4