「Effective C++」条款09： 绝不在构造和析构过程中调用virtual函数

一，基类的派生类的构造函数和析构函数的调用顺序

​ 顺序：先递归基类的构造函数，再调用子类的构造函数，先递归子类的析构函数，再基类的析构函数

​ 示例代码：

​

#include <iostream>
class Base
{
public:
    Base()
    {
        std::cout << "Base constructor" << std::endl;
    }
    ~Base()
    {
        std::cout << "Base destructor" << std::endl;
    }
};

class Derived : public Base
{
public:
    Derived()
    {
        std::cout << "Derived constructor" << std::endl;
    }
    ~Derived()
    {
        std::cout << "Derived destructor" << std::endl;
    }
};

int main()
{
    Derived obj;
    return 0;
}

输出结果：

二，如果在析构和和构造调用虚函数会发生什么（为什么绝不在构造和析构过程中调用virtual函数）？

示例代码：在本例中，在基类的构造函数和析构函数中调用了虚函数，同时在子类中对虚函数进行了重写，在main函数中，代码Derived obj;声明了一个子类的对象，所以按道理应该调用的是子类重写后的虚函数，即输出Derived virtualFunction，可是却和预料的结果不同。

#include <iostream>

class Base
{
public:
    Base()
    {
        std::cout << "Base constructor" << std::endl;
        // 在构造函数中调用虚函数
        virtualFunction();
    }

    virtual ~Base()
    {
        std::cout << "Base destructor" << std::endl;
        // 在析构函数中调用虚函数
        virtualFunction();
    }

    virtual void virtualFunction()
    {
        std::cout << "Base virtualFunction" << std::endl;
    }
};

class Derived : public Base
{
public:
    Derived()
    {
        std::cout << "Derived constructor" << std::endl;
    }

    ~Derived()
    {
        std::cout << "Derived destructor" << std::endl;
    }

    void virtualFunction() override
    {
        std::cout << "Derived virtualFunction" << std::endl;
    }
};

int main()
{
    Derived obj;

    return 0;
}

输出结果：

三，为什么没有调用子类的重写的虚函数？

原因：

​ 正如第一点所分析的，构造函数的调用顺序是先基类的构造函数，再调用子类的构造函数（易错点：只有子类的构造函数调用的时候，子类的对象才会存在），所以当调用基类的构造函数的时候，子类的对象并不存在，既然子类的对象不存在，那么也就无法调用子类的虚函数。

​ 同理，按照析构的顺序，会先调用子类的析构函数，此时子类的资源都没了，所以没法调用子类的虚函数，接着调用父类的析构函数，此时父类的析构函数所调用的就是父类自己的虚函数。

四，一些简单的大白话

1. 在基类构造期间，虚函数不是虚函数，可以当做普通函数
2. 在基类构造期间，子类成员尚未初始化，此时使用子类对象去调用虚函数会导致不明确行为，所以C++不允许
3. 根本原因：在基类的构造期间，对象还是基类对象而不是子类对象，故无法由子类去调用虚函数，同理析构过程