这次从一个例子开始理解吧。
//people.h
class People
{
public:
People(const std::string& name):theName(name)
{ print(); } //People构造函数
virtual void print() //vitrual函数打印名称
{ std::cout << theName; }
~People(); //People析构函数
private:
std::string theName;
}
class Student: public People
{
public:
Student(const std::string& name, const std::int score):People(name), mathScore(score)
{ print(); } //构造函数
void print() //打印函数
{ std::cout << "Name is " << theName << ",MathScore is " << mathScore; }
~Student(); //析构函数
private:
std::int mathScore;
}
//main.cpp
#include "people.h"
int main()
{
Student stu; //创建一个派生类Student对象
}
在上面的例子中,最后执行时,创建一个派生类Student的对象,首先会调用派生类的构造函数,而初始化列表中,先调用基类People的构造函数,这个时候派生类还并未被建立,并不会下降至派生类的阶层。所以调用的virtual函数就是基类的print。
这里有两个原因:
1.如果调用的是派生类的函数,假如这个函数可以操作派生类的本地成员变量(未初始化的成员变量),那么就会出现不明确行为了!
2.因为在派生类调用基类的构造函数期间,派生类的成员变量尚未初始化,只是一堆垃圾数据,因此最安全的做法就是:当它们不存在,在执行派生类构造函数的函数体之前,该对象就是基类对象,而非派生类对象。
而对于析构函数也是类似,最好的方法就是:在构造函数和析构期间不要去调用virtual函数。
请记住:
在构造和析构期间不要调用virtual函数,因为这类调用从不下降至derived class(比起当前执行构造函数和析构函数的那层)。