C++ 派生类的析构函数的调用顺序为:
A) 基类、派生类和对象成员类的析构函数
B) 派生类、对象成员类和基类的析构函数
C) 对象成员类、派生类和基类的析构函数
D) 派生类、基类和对象成员类的析构函数
答案是选着B,
关于派生类构造函数与基类构造函数的调用顺序问题,我们先看一下书上的说法:
《面向对象程序设计基础(第二版》李师贤等,第254页:C++语言的基本规则是:创建一个派生类的对象时,如果基类带有构造函数,则先调用基类的构造函数,然后才调用派生类的构造函数。
《Thinking in C++》,刘宗田等译,第261页:可以看出,构造在类层次的最根处开始,而在每一层,首先调用基类构造函数,然后调用成员对象构造函数。
《C++ Primer Plus(第四版)中文版》,孙建春等译,第399页:记住:创建派生类对象时,程序首先调用基类构造函数,然后再调用派生类构造函数。
真的是这样吗?
一个类的对象在实例化时,这个类的构造函数会被调用。如果承认这一点,就会发现上述论断的矛盾之处。一个派生类的对象,在实例化时,不调用作为产生它的类 的构造函数,而先去调用别的类的构造函数,这符合逻辑吗?再考虑一下基数构造函数有参数的的时候,派生类构造函数的定义形式,“派生类构造函数可以使用初 始化列表机制将值传递给基类构造函数”(《C++ Primer Plus(第四版)中文版》第399页)。如果是基类的构造函数先被调用,那么它所使用的参数从何而来?
前两本书在说明这一规则时,毫无例外地在派生类构造函数和基类构造函数中使用cout输出一些信息来表明相应的构造函数被调用了,并以此说明构造函数的调 用顺序。在这里,我要指出的是:这一顺序,仅仅是这些cout输出的顺序,并不能说明是函数调用的顺序。真正调用的过程,单纯依赖于C++是看不到的。
我们可以用这样的实验来证明这一点。选择前两本书关于这一规则的任何一个实例,在Visual Studio中,分别对派生类和基类的构造函数下断点,注意:断点要下在函数定义函数名处,这样才是真正函数执行的起点,而不能下在cout语句上,那是 函数体,不能说明问题。然后调试这个程序,你会发现派生类构造函数的断点先中断,基类的构造函数断点后中断。如果你有汇编的知识,那么请打开汇编语言的开 关,这之间的关系就更明显了。
现在可以更确切地说明这个规则了:派生类对象在实例化时,派生类构造函数先被执行,在执行过程中(在实例化派生类成员前),调用基类构造函数,然后(在基类成员实例化后)返回派生类构造函数实例化派生类成员。
析构函数的顺序问题依此类推。
一、缺省构造函数的调用关系
#include <iostream>
#include <string>
using namespace std;
class CBase {
string name;
int age;
public:
CBase() { cout << "BASE" << endl; }
~CBase() { cout << "~BASE" << endl; }
};
class CDerive : public CBase {
public:
CDerive() {cout << "DERIVE" << endl; }
~CDerive() { cout << "~DERIVE" << endl; }
};
int main ( ) {
CDerive d;
return 0;
}
BASE
DERIVE
~DERIVE
~BASE
(int)0
二、有参数时的传递
#include <iostream>
#include <string>
using namespace std;
class CBase {
string name;
public:
CBase(string s) : name(s)
{ cout << "BASE: " << name << endl; }
~CBase() { cout << "~BASE" << endl; }
};
class CDerive : public CBase {
int age;
public:
CDerive(string s, int a) : CBase(s), age(a) { cout << "DERIVE: " << age << endl; }
~CDerive() { cout << "~DERIVE" << endl; } };
int main ( ) { CDerive d("John", 27); return 0; }
BASE: John
DERIVE: 27
~DERIVE
~BASE
(int)0