【C++】为什么构造函数不能是虚函数（没有意义，不能实现多态）；构造函数内能调用虚函数吗（可以，不能实现多态

一、虚析构函数

• 虚析构函数是为了析构对应的对象，而不是指针指向谁就析构谁；
• 主要是为了多态的使用；
• 所以去虚函数表中找这个对象的析构函数来析构；进而析构其父类；

二、构造函数为什么不能是虚函数？

• 虚构造函数不是不能，而是没有意义。

1. 首先，构造函数不被继承；构建派生类的时候，也会构建基类；所以虚构造没有意义，因为不会构成多态；
2. C++ 作者的解释为，虚函数为了多态设计，即只知道一部分信息就能使用，但是构建对象，要知道具体信息；如果虚构建，编译器并不知道想构建哪个类型。

三、虚构造函数没有意义：

1、首先是C++ Primer Plus 的解释：

2、C++之父的解释

四、构造函数内调用虚函数；

• 可以调用，但是不会实现多态；
• 考虑下面情况：

1. 构造子类，会先构造父类；
2. 构造父类的时候，虚函数表会在构造函数之前准备好，但是虚函数表中只有父类的虚函数，因为子类还没构造；此时调用的是父类的虚函数；
3. 构造完父类，再构造子类的时候，会在构造函数之前，替换掉虚函数表中的虚函数，此时表中已经是子类重写的虚函数了；构造函数内再调用就已经是子类的虚函数了；

using namespace std;
class A {
public:
	A() {
		fun();
	}
	virtual void fun() {
		cout << "A fun" << endl;
	}
};
 
class B :public A {
public:
	B() {
		fun();
	}
	virtual void fun() {
		cout << "B fun" << endl;
	}
};
 
void main() {
	B b;
}

总结

• 首先：虚函数的调用，只需要部分信息，而不需要具体对象的类型；同时，在编译期间无法确定调用哪个虚函数，运行期间才确认；

• 但是构造对象，需要知道具体类型信息，在编译期间要确定；两者冲突。

• 另一点，构造函数不在继承体系中，所以构造函数为虚函数也无法实现多态，所以没有意义；

• 如果可以虚拟构造，那么虚构造调用的时候，编译器怎么会知道该调用继承关系中哪个构造函数呢？（“虚” 就是运行期间才能确定的东西）
• 当然也存在某些语言支持虚构造；但是是在语言层面就解决了这个问题；（Delphi）

参考

Bjarne Stroustrup’s C++ Style and Technique FAQ

https://www.zhihu.com/question/35632207