13、关于虚函数

文编写参考狄泰软件学院唐佐林老师的视频课程，如有错误之处，欢迎指正。

一、构造函数是否可以成为虚函数？析构函数是否可以成为虚函数？

我们都知道可以将成员函数声明为虚函数，那么构造函数和析构函数也是成员函数，那么是否可以将他们声明成虚函数呢？

1. 对于构造函数而言
   构造函数是不可能成为虚函数的，因为在构造函数执行完后，虚函数表指针才能够被正确的初始化，因此声明成虚函数，编译器不能通过。
2. 对于析构函数而言
   析构函数是可以成为虚函数的，并且在建议在设计类的时候将析构函数声明为虚函数，那么将析构函数声明成为虚函数的意义在哪里呢？

下面就通过一个例程来理解
例程1：

#include <iostream>
#include <string>

using namespace std;

class Base
{
public:
    Base()
    {
        cout << "Base()" << endl;         
    }    
    ~Base()
    {      
        cout << "~Base()" << endl;
    }
};

class Derived : public Base//继承
{
public:
    Derived()
    {
        cout << "Derived()" << endl;        
    }  
    ~Derived()
    {     
        cout << "~Derived()" << endl;
    }
};

int main()
{
    Base* p = new Derived();//用父类定义一个指针，该指针指向对空间中的一个对象
    
    // ...//假设中间写了许多程序
    
    delete p;//最后想要归还空间，销毁对象
    return 0;
}

分析：从结果可以看到，当delete时，并没有调用子类的析构函数，为什么呢？因为指针p是Base*类型，所以编译器在析构的时候默认调用的是父类的析构函数，因为编译器是根据指向对象的指针类型来判断的，所以忽视了调用子类的析构函数，但是这种行为是很危险的，如果在子类里面进行了一些内存申请操作，那么此时是会造成内存泄露的，那么该如何解决这个问题呢？通过将父类的析构函数声明成虚函数。代码修改如下：

class Base
{
public:
    Base()
    {
        cout << "Base()" << endl;         
    }    
    virtual ~Base()//将父类的析构函数声明成虚函数
    {      
        cout << "~Base()" << endl;
    }
};

分析：将代码修改后，结果就如预期一样了。因为将父类析构函数声明成虚函数后，那么这时就不是根据指针类型来调用具体的析构函数了，而是根据所指向的对象动态的调用析构函数了。

二、构造函数中是否可以发生多态？析构函数中是否可以发生多态？

1. 在构造函数中不可能发生多态行为，因为在执行构造函数时，虚函数表指针尚未被正确初始化
2. 在析构函数中不可能发生多态行为，因为在执行析构函数时，虚函数表指针已经被销毁
   =》构造函数和析构函数中不能发生多态行为，只调用当前类中定义的函数版本，下面通过实例来理解

#include <iostream>
#include <string>

using namespace std;

class Base
{
public:
    Base()
    {
        cout << "Base()" << endl;
        
        func();//实际情况调用的是本类中的func
    }
    
    virtual void func() //定义虚函数
    {
        cout << "Base::func()" << endl;
    }
    
    virtual ~Base()
    {
        func();  //实际情况调用的是本类中的func      
        cout << "~Base()" << endl;
    }
};

class Derived : public Base
{
public:
    Derived()
    {
        cout << "Derived()" << endl;
        
        func();//实际情况调用的是本类中的func
    }    
    virtual void func()//定义虚函数
    {
        cout << "Derived::func()" << endl;
    }    
    ~Derived()
    {
        func(); //实际情况调用的是本类中的func       
        cout << "~Derived()" << endl;
    }
};


int main()
{
    Base* p = new Derived();//用父类指针指向子类对象，根据赋值兼容性原则是没问题的
    
    // ...
    
    delete p;
    
    return 0;
}