构造函数为什么不能为虚函数？构造函数为什么不能调用虚函数？

最新推荐文章于 2024-06-20 21:47:23 发布

BBBourne

最新推荐文章于 2024-06-20 21:47:23 发布

阅读量1.3k

点赞数 1

分类专栏： C++ 文章标签： java c# c++

原文链接：https://blog.csdn.net/linpengbin/article/details/51560276?spm=1001.2101.3001.6650.1&utm_medium=distribute.pc_relevant.none-task-blog-2%7Edefault%7ECTRLIST%7ERate-1-51560276-blog-81564972.pc_relevant_multi_platform_whitelistv4eslandingrelevant&depth_1-utm_

版权

C++ 专栏收录该内容

15 篇文章 4 订阅

订阅专栏

构造函数不能为虚函数

       1. 从存储空间角度，虚函数对应一个指向vtable虚函数表的指针，这大家都知道，可是这个指向vtable的指针其实是存储在对象的内存空间的。问题出来了，如果构造函数是虚的，就需要通过 vtable来调用，可是对象还没有实例化，也就是内存空间还没有，怎么找vtable呢？所以构造函数不能是虚函数。
        2. 从使用角度，虚函数主要用于在信息不全的情况下，能使重载的函数得到对应的调用。构造函数本身就是要初始化实例，那使用虚函数也没有实际意义呀。所以构造函数没有必要是虚函数。虚函数的作用在于通过父类的指针或者引用来调用它的时候能够变成调用子类的那个成员函数。而构造函数是在创建对象时自动调用的，不可能通过父类的指针或者引用去调用，因此也就规定构造函数不能是虚函数。
        3. 构造函数不需要是虚函数，也不允许是虚函数，因为创建一个对象时我们总是要明确指定对象的类型，尽管我们可能通过实验室的基类的指针或引用去访问它但析构却不一定，我们往往通过基类的指针来销毁对象。这时候如果析构函数不是虚函数，就不能正确识别对象类型从而不能正确调用析构函数。
        4. 从实现上看，vbtl在构造函数调用后才建立，因而构造函数不可能成为虚函数从实际含义上看，在调用构造函数时还不能确定对象的真实类型（因为子类会调父类的构造函数）；而且构造函数的作用是提供初始化，在对象生命期只执行一次，不是对象的动态行为，也没有必要成为虚函数。
        5. 当一个构造函数被调用时，它做的首要的事情之一是初始化它的VPTR。因此，它只能知道它是“当前”类的，而完全忽视这个对象后面是否还有继承者。当编译器为这个构造函数产生代码时，它是为这个类的构造函数产生代码——既不是为基类，也不是为它的派生类（因为类不知道谁继承它）。所以它使用的VPTR必须是对于这个类的VTABLE。而且，只要它是最后的构造函数调用，那么在这个对象的生命期内，VPTR将保持被初始化为指向这个VTABLE, 但如果接着还有一个更晚派生的构造函数被调用，这个构造函数又将设置VPTR指向它的 VTABLE，等.直到最后的构造函数结束。VPTR的状态是由被最后调用的构造函数确定的。这就是为什么构造函数调用是从基类到更加派生类顺序的另一个理由。但是，当这一系列构造函数调用正发生时，每个构造函数都已经设置VPTR指向它自己的VTABLE。如果函数调用使用虚机制，它将只产生通过它自己的VTABLE的调用，而不是最后的VTABLE（所有构造函数被调用后才会有最后的VTABLE）
-----------------------------------
构造函数为什么不能是虚函数
https://blog.51cto.com/lihaichuan/1294011

构造函数最好不要调用虚函数

本文参考《effective C++》第九条款
在C++中，提倡不能在构造函数和析构函数中调用虚函数。
这是为什么呢？

首先，我们先回顾一下C++虚函数的作用。虚函数的引入是c++运行时多态的体现，通过调用虚函数可以在运行程序时实现动态绑定，体现了面向对象编程多态的思想。

那为何提倡不能在构造函数与析构函数中不能调用虚函数。接下来我们通过代码分析在构造函数或者虚构函数中调用虚函数是否可行。
假设我们有两种商品A, B。我们要记录着两种商品的销售记录，每当销售一种商品时，我们就要记录下来。

class item {
public:
    item();
    virtual void saleRecord() const=0;  //销售记录，纯虚函数
    ...
};

item::item()
{
    ...
    virtual void saleRecord();
    ...
}

class itemA :  public item {
public:
    itemA();
    virtual void saleRecord();
    ...
};

class itemB :　public item {
public:
    itemB();
    virtual void saleRecord();
    ...
};

我们执行如下代码：

itemB b;

一个derived class B 对象会被创建，在调用构造函数itemB() 之前，基类的构造函数会首先被调用，即：基类成分会在派生类特有成分被构造之前被构造。而在基类的构造函数中又调用了虚函数saleRecord（），在此，你认为基类构造函数中所调用的虚函数saleRecord的实现版本是哪一个呢，是基类的实现版本还是派生类B的实现版本呢？
我们会很自然的认为，现在构建的是itemB的对象，构造函数中调用的当然是派生类B的实现版本。其实我们可以通过运行程序确认基类构造函数中调用的虚函数实现版本是基类所有的，而不是派生类的实现版本。即使我们现在创建的是一个派生类。
原因其实很简单，在创建派生类的时候，基类先于派生类被构造，编译器或者程序其实目光是很短浅的或者说是很现实的，在调用基类构造函数的时候，它并不知道你最终是要创建一个基类还是派生类，它只要把现在手头上的工作做好——创建一个基类。对编译器来说，此时所有可见的信息包括data member 以及data function 都是基类所有的，它并不知道派生类的任何信息，而且它所做的行为也只是初始化派生类空间专属于基类的那一部分，不会越界。用一句话总结：对象在调用什么构造函数的时候，它就是什么对象，他并不会像先知一样能看的更远。
以之前的代码为例。创建派生类的时候，基类首先被创建，此时它只是一个基类，它的所见所为都完完全全跟创建一个基类对象一样，并不会下降到派生类。

我们可以极端一点，假设基类在创建的时候可以调用虚函数的派生类实现版本（其实不可能）。此时，又会发生什么呢。从意图上讲，我们要调用虚函数的不同版本，从根本上讲，是要对不同的数据进行操作，这样函数才有意义。比如说基类的虚函数版本是对基类的数据进行操作，派生类的虚函数版本是对派生类的虚函数进行操作。
然而，我们不要忽略一点，假设基类可以调用虚函数的派生类实现版本，那么我们操控的数据则是派生类所有的数据，此时，派生类的构造函数还没有调用，派生类的数据成员也不会有相应的初始化，这时候对派生类的数据成员操作完全是无意义的，从程序崩溃到机器冒烟都有可能。

对于析构函数，与构造函数是几乎一样的，不能调用虚函数。
从上面的分析可以得出两点结论：
1. 构造函数或者析构函数调用虚函数并不会发挥虚函数动态绑定的特性，跟普通函数没区别。
2. 即使构造函数或者析构函数如果能成功调用虚函数，程序的运行结果也是不可控的
————————————————
版权声明：本文为CSDN博主「linpengbin」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/linpengbin/article/details/51560276