【C++深度解析】41、构造函数，析构函数可以是虚函数吗？

1 构造函数不能是虚函数，析构函数可以是虚函数

构造函数不可能成为虚函数

• 在构造函数执行结束后，虚函数表指针才能被正确的初始化

析构函数可以成为虚函数

• 建议在设计类时将析构函数声明为虚函数

编程实验：构造，析构，虚函数

// 41-1.cpp
#include<iostream>
using namespace std;
class Base
{
public:
    Base()
    {
        cout << "Base()" << endl;
    }
    virtual ~Base()
    {
        cout << "~Base()" << endl;
    }
};
class Derived : public Base
{
public:
    Derived()
    {
        cout << "Derived()" << endl;
    }
    virtual ~Derived()
    {
        cout << "~Derived()" << endl;
    }
};
int main()
{
    Base* p = new Derived();
    delete p;
    return 0;
}

父类的指针指向子类的对象，new Derived(); 创建一个子类的对象会调用父类的构造函数和子类的构造函数，p 是父类的指针，如果析构函数不是虚函数，会调用父类的析构函数，不会调用子类的构造函数。
将析构函数定义为虚函数，根据多态属性，析构指向的对象，则析构子类 Derived，就会先调用子类析构函数，再调用父类析构函数。

编译运行：

$ g++ 41-1.cpp -o 41-1
$ ./41-1
Base()
Derived()
~Derived()
~Base()

2 构造析构函数调用虚函数不会发生多态

构造函数中不会发生多态行为

• 在构造函数执行时，虚函数表指针未被正确初始化

析构函数中不会发生多态行为

• 在析构函数执行时，虚函数表指针已经被销毁

所以，构造函数和析构函数中不发生多态行为，只调用当前类中定义的函数版本！！！

将

// 41-2.cpp
#include<iostream>
using namespace std;
class Base
{
public:
    Base()
    {
        cout << "Base()" << endl;
        func();								// 调用虚函数
    }
    virtual void func()						// 增加虚函数
    {
        cout << "Base::func()" << endl;
    }
    virtual ~Base()
    {
        func();								// 调用虚函数
        cout << "~Base()" << endl;
    }
};
class Derived : public Base
{
public:
    Derived()
    {
        cout << "Derived()" << endl;
        func();								// 调用虚函数
    }
    virtual void func()						// 增加虚函数
    {
        cout << "Derived::func()" << endl;
    }
    virtual ~Derived()
    {
        func();								// 调用虚函数
        cout << "~Derived()" << endl;
    }
};
int main()
{
    Base* p = new Derived();
    delete p;
    return 0;
}

编译运行，构造函数和析构函数中不发生多态行为，只调用当前类中定义的函数版本

$ g++ 41-2.cpp -o 41-2
$ ./41-2
Base()
Base::func()
Derived()
Derived::func()
Derived::func()
~Derived()
Base::func()
~Base()

3 小结

1、构造函数不能成为虚函数，析构函数可以成为虚函数
2、构造函数和析构函数中都无法产生多态