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

我知道如果我们在基类的构造函数中调用虚函数，只调用virtual的基本版本。

你误解了这条规则。

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

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

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

2 个答案: