Question

我遇到这种情况：

#include <iostream>

struct B { virtual void f() { std::cout << "base"; } };

struct A {
  ~A() {
      b->f();
  }

  B *b;
};


struct Bd : B { 
  Bd():a{this}{ }
  ~Bd() { }
  virtual void f() { std::cout << "derived"; } 

  A a;
};

int main() {
  Bd d;
}

是否保证打印＆＃34;派生＆＃34;？

Answer 1

[class.cdtor]/4：

成员函数，包括虚函数（[class.virtual]），可以在施工或毁坏期间被召唤（[class.base.init]）。什么时候虚函数直接或间接从构造函数调用或者来自破坏者，包括在施工或破坏期间类的非静态数据成员以及该对象的对象 call apply是正在构建的对象（称为x）或破坏，所谓的函数是最终的覆盖者构造函数或析构函数的类，而不是一个覆盖它的类更多派生的类。

＆＃34;班级＆＃34;这里的问题是Bd，因此它应该在f()中调用Bd的最终覆盖者，然后打印derived。

Answer 2

我现在没有时间查找它，但规则是对析构函数正在运行的对象的虚拟调用将转到析构函数当前正在运行的类。因此，在Bd的析构函数中，a的析构函数运行，调用b->f()调用Bd::f。

如果a成为B而非Bd的成员，则调用将转到B::f，因为a的析构函数将从B的析构函数。

如果您更愿意考虑机制（我通常不会这样做），请考虑vtable;在进入析构函数时，代码将vtable指针设置为指向属于正在运行的析构函数的vtable。

当成员析构函数运行时，类具有什么类型的虚函数？

2 个答案: