虚函数在构造函数中的奇怪行为

Question

我已经搜索了有关构造函数中的虚函数的相关问题，并且我知道，如果我们在基类中的构造函数中调用虚函数，则仅会调用virtual的基础版本。

但是，我在下面发布的内容表明在Base构造函数中对virtual的调用实际上在D2中调用了虚拟版本。

我知道它似乎有些重复，但我想知道是否有人帮助我。

我的代码：

#include<iostream>
struct B
{
  B()=default;
  B(const B& b)  {b.fun();}
  virtual void fun()const  {std::cout<<"virtual_B"<<std::endl;}
};
struct D1:public B
{
  D1()=default;
  D1(const D1& d1):B(d1)  {}
  void fun()const  {std::cout<<"virtual_D1"<<std::endl;}
};
struct D2:public D1
{
  D2()=default;
  D2(const D2& d2):D1(d2)  {}
  void fun()const  {std::cout<<"virtual_D2"<<std::endl;}
};
int main()
{
  D2 a;
  D2 b=a;
  return 0;
}

Answer 1

因为您调用b.fun() ，所以b是现有的完全构造的对象。 如果在尚未完全构造的对象this指针上调用虚拟方法，则虚拟方法将无法以虚拟方式工作。 如果在构造函数上调用其他对象的虚拟方法，它们将完全按预期工作。

Answer 2

我知道，如果我们在基类的构造函数中调用虚拟函数，则仅会调用虚拟的基本版本。

您误解了该规则。

这并不意味着从构造函数内部调用虚拟函数的任何方式。 这意味着为正在构造的对象调用虚函数。

在构造函数中，您为另一个（完全构建的）对象调用了虚拟函数，该对象的编译时间类为B，运行时类为D2。 在该对象上，您将获得虚拟功能的D2版本。