构造函数和析构函数调用虚函数的问题

在构造函数或析构函数中调用虚函数语法上是没有问题的，但是这样使用会导致程序的运行结果并不是你想要的结果，具体的代码如下：

#include<iostream>

using namespace std;

class Shape
{
public:
    Shape()
    {
        cout << "Construct Shape" << endl;
        draw();
    }
    ~Shape()
    {
        cout << "Destroy Shape" << endl;
        print();
    }
    virtual void draw()
    {
        cout << "draw Shape" << endl;
    }
    virtual void print()
    {
        cout << "print Shape" << endl;
    }
};

class Circle: public Shape
{
public:
    Circle()
    {
        cout << "Construct Circle" << endl;
        draw();
    }
    ~Circle()
    {
        cout << "Destroy Circle" << endl;
        print();
    }
    virtual void draw()
    {
        cout << "draw Circle" << endl;
    }
    
    virtual void print()
    {
        cout << "print Circle" << endl;
    }
private:
    int size;
};

int main()
{
    Shape* ps = new Circle();
    ps->draw();
    delete ps;
    return 0;
}

运行结果如下：

从程序的意图上来说是希望调用子类Circle的draw函数，但是从运行结果上来看明显不符合预期。导致当前结果的原因其实比较简单，以下分别进行说明：
一、打印"Construct Shape"是因为Circle类继承了Shape类，因此子类对象内的基类成分会在子类之前先构造，会先调用Shape类的构造函数。

二、打印"draw Shape"是因为Shape类在构造函数中调用了draw，并且Shape类在构造期间调用虚函数是不会下降到子类阶层。基类在执行构造函数时子类的成员变量尚未初始化，如果此时调用的虚函数下降到子类阶层，子类的函数若取到了成员变量，那将会导致程序未定义行为，所以调用的是基类的draw函数。

三、打印“Construct Circle”和第一个“draw Circle”是因为子类的构造函数被调用，并且子类的构造函数中调用了draw方法。

四、打印第二个“draw Circle”是因为C++的多态特性，父类的指针指向了子类对象并调用了子类的方法。

五、打印"Destroy Shape"和"print Shape"是因为调用了父类的析构函数，并析构函数中调用了print方法。

六、没有打印"Destroy Circle"和"print Circle"是因为基类的析构函数不是virtural，那么函数地址将在编译期唯一确定。C++是“静态强类型”语言，你写的啥就是啥，所以你类型写的Base，那就去Base找析构函数地址，所以这样只调用了父类析构。

引申问题：delete调用的是父类析构函数，那么子类对象的内存释放了吗？
答：如果不存在多继承的情况下，base指针始终都会指向new出来 son 对象的首地址，delete base的时候都会将new出来的内存完美释放掉，如果存在多继承 且base指针是第二父类，则会指向son对象的第二个基类子对象，也就不是son整个对象的首地址，delete的时候会出错，解决这个问题的方法就是令父类存在虚析构函数，那么delete base的时候会查找虚函数表，找到son的析构函数，经过this指针调整，delete正确的son对象首地址，至于说要求父类存在虚析构否则会存在内存泄漏这个说法，前提是你子类析构函数中存在释放new出来的内存的代码，则父类存在虚析构会进行子类析构函数的调用，否则无所谓，调用不调用子类析构函数，和释放 new son 这个对象并无关联，除非我上述所说的存在多继承的情况。