Maison > Article > développement back-end > 构造函数不能为虚函数
构造函数不能声明为虚函数的原因:
1,所谓虚函数就是多态情况下只执行一个,而从继承的概念来讲,总是先构造父类对象,然后才能使子类对象,如果构造函数设为虚函数,那么你在构造父类的构造函数时就不得不显式的调用构造,还有一个原因就是为了防错误的发生,试想如果你在子类中一不小心重写了个跟父类构造函数一样的函数,那么你的父类构造函数将被覆盖,也即不能完成父类的构造,就会出错。
class A
{
public :
virtual A()
{
cout<<"A"<
};
class B: public A
{
public:
B()
{
cout<<"B"<
};
在编译处,便已经提示无法通过,将virtual去掉
2,虚函数的主要意义在于被派生类继承从而产生多态,派生类的构造函数中,编译器会加入构造基类的代码,如果基类的构造函数用到了参数,则派生类在其构造函数中必须为基类给出参数,就是这个原因,原因有点绕,就是说如果派生类的构造函数必须跟父类一摸一样,这显然是不符合实际的
当然还有其他的解释:1,从存储空间角度,虚函数对应一个vtable,可是这个vtable其实是存储在对象的内存空间的。问题出来了,如果构造函数是虚的就需要通过vtable来调用,可是对象还没有实例化,也就是内存空间还,没有,无法找到vtable,所以构造函数不能为虚函数。
2,从使用角度 虚函数主要用于在信息不全的情况下,能使重载的函数得到对应的调用。构造函数本身就是要初始化实例,那使用虚函数也就没有实例意义了,最开始的实例都没有初始化,何来多态呢。虚函数的作用于通过父类的指针或者引用来调用它的时候能够变成调用子类的那个成员函数。而构造函数实在创建对象的时候自动调用的,不可能通过父类的指针或引用去调用,因此规定构造函数不能为虚函数。
3,从实现上看,vtable在构造函数调用后才建立,因而构造函数不可能为虚函数,从实际含义上看,在调用构造函数时还不能确定对象的真实类型(子类要调用父类的构造函数),而且构造函数提供初始化,对象生命期只执行一次,不是对象的动态行为,也没有太大必要成为虚函数。