在构造和析构期间不要调用virtual函数,因为这类调用从不下降至derived class (比起当前执行构造函数和析构函数那层).
为什么会是这样的结果呢?因为在调用基类构造函数或调用基类析构函数时,this所指向的对象类型实质上是基类对象类型。这句话怎么理解呢?调用基类构造函数去初始化子类对象的基类部分时,只构造了基类这部分,子类非基类这部分还未构造。所以此时this所指向的类型是基类类型,所以调用的虚函数是基类的,此时多态是没用效果的。同理,调用基类析构函数去析构子类对象的基类部分时,子类非基类对象已被析构,所以此时this所指向的类型是基类类型,所以调用的虚函数是基类的,此时多态也是没有效果的。而且你可以站在语言设计者的角度想想假如可以调用子类的虚函数,而子类的虚函数有可能访问子类对象的未构造部分,那将会导致程序崩溃。所以多态效果是禁止的。
结果:
例子:
#include <iostream>
using namespace std;
class Base
{
public:
Base();
virtual ~Base();
virtual void print();
};
Base::Base()
{
cout<<"Base is Constructed"<<endl;
print();
}
Base::~Base()
{
cout<<"Base is Destroyed"<<endl;
print();
}
void Base::print()
{
cout<<"print Base"<<endl;
}
class Derived:public Base
{
public:
Derived();
~Derived();
void print();
};
Derived::Derived()
{
cout<<"Derived is Constructed"<<endl;
}
Derived::~Derived()
{
cout<<"Derived is Destroyed"<<endl;
}
void Derived::print()
{
cout<<"print Derived"<<endl;
}
int main()
{
Derived der;
return 0;
}
为什么会是这样的结果呢?因为在调用基类构造函数或调用基类析构函数时,this所指向的对象类型实质上是基类对象类型。这句话怎么理解呢?调用基类构造函数去初始化子类对象的基类部分时,只构造了基类这部分,子类非基类这部分还未构造。所以此时this所指向的类型是基类类型,所以调用的虚函数是基类的,此时多态是没用效果的。同理,调用基类析构函数去析构子类对象的基类部分时,子类非基类对象已被析构,所以此时this所指向的类型是基类类型,所以调用的虚函数是基类的,此时多态也是没有效果的。而且你可以站在语言设计者的角度想想假如可以调用子类的虚函数,而子类的虚函数有可能访问子类对象的未构造部分,那将会导致程序崩溃。所以多态效果是禁止的。
结果: