二级公共基础知识考点分析 下载本文

当派生类中有多个成员对象时,各个成员对象构造函数的调用顺序也取决于在派生类中定义的顺序(自上而下),而与在派生类构造函数的成员初始化列表中给出的顺序无关。 建立派生类对象时,构造函数的执行顺序如下:

(1)执行基类的构造函数,调用顺序按照各个基类被继承时声明的顺序(自左向右); (2)执行成员对象的构造函数,调用顺序按照各个成员对象在类中声明的顺序(自上而下);

(3)执行派生类的构造函数。

派生类的构造函数只有在需要的时候才必须定义。派生类构造函数提供了将参数传递给基类构造函数的途径,以保证在基类进行初始化时能够获得必要的数据。因此,如果基类的构造函数定义了一个或多个参数时,派生类必须定义构造函数。

如果基类中定义了缺省构造函数或根本没有定义任何一个构造函数(此时,由编译器自动生成缺省构造函数)时,在派生类构造函数的定义中可以省略对基类构造函数的调用,即省略“<基类名>(<参数表>)”。成员对象的情况与基类相同。

当所有的基类和成员对象的构造函数都可以省略,并且也可以不在成员初始化列表中对其他数据成员进行初始化时,可以省略派生类构造函数的成员初始化列表。 2.派生类的析构函数

与构造函数相同,派生类的析构函数在执行过程中也要对基类和成员对象进行操作,但它的执行过程与构造函数严格相反,即: (1)对派生类新增普通成员进行清理。

(2)调用成员对象析构函数,对派生类新增的成员对象进行清理。 (3)调用基类析构函数,对基类进行清理。

派生类析构函数的定义与基类无关,与没有继承关系的类中的析构函数的定义完全相同。它只负责对新增普通成员的清理工作,系统会自己调用基类及成员对象的析构函数进行相应的清理工作。

7.3 多继承与虚基类

1.多继承中的二义性问题

在派生类中对基类成员的访问应该是唯一的。但是,在多继承情况下,可能造成对基类中某个成员的访问出现了不唯一的情况,这时就称对基类成员的访问产生了二义性。 要解决这一问题,有两种方法:

(1)通过作用域运算符(::)明确指出访问的是基类Basel的fun()函数,还是基类Base2的fun()函数。

使用作用域运算符进行限定的一般格式是: <对象名>.<基类名>::<成员名> //数据成员

<对象名>.<基类名>::<成员名>(参数表>)

//成员函数

(2)在类中定义同名成员

对于在不同的作用域中声明的标识符的可见性原则是:如果存在两个或多个具有包含关系的作用域,外层声明的标识符如果在内层没有声明同名标识符,那么它在内层可见;如果内层声明了同名标识符,则外层标识符在内层不可见,这时称内层变量覆盖了外层同名变量。

在类的继承层次结构中,基类的成员和派生类新增的成员都具有类作用域,二者的作用范围不同,是相互包含的两个层,派生类在内层。这时,如果派生类定义了一个和某个基类成员同名的新成员(如果是成员函数,则参数表也要相同,参数不同的情况属于重载),派生的新成员就覆盖了外层同名成员,直接使用成员名只能访问到派生类的成员。 2.虚基类的定义

当一个派生类从多个基类派生,而这些基类又有一个共同的基类,当对该基类中说明的成员进行访问时,可能出现二义性。虚基类就是为了解决这种二义性问题提出来的。 在产生二义性问题的第二种情况中,产生二义性的最主要的原因是基类Base在派生类Derived2中产生了两个基类子对象,从而导致了对基类Base的成员data访问的不唯一

性。要解决这个问题,只需使这个公共基类Base在派生类中只产生一个子对象即可。虚基类就可以完成这个任务。 虚基类的说明格式如下:

class<类名>:virtual<继承方式><基类名>

其中,关键字virtual与继承方式的位置无关,但必须位于虚基类名之前,且virtual只对紧随其后的基类名起作用。 3.虚基类的构造函数

使用虚基类解决二义性问题的关键是在派生类中只产生一个虚基类子对象。为初始化基类子对象,派生类的构造函数要调用基类的构造函数。对于虚基类,由于派生类的对象中只有一个虚基类子对象,所以,在建立派生类的一个对象时,为保证虚基类子对象只被初始化一次,这个虚基类构造函数必须只被调用一次。虽然继承结构的层次可能很深,但要建立的对象所属的类只是这个继承结构中间的某个类,因此将在建立对象时所指定的类称为最派生类。虚基类子对象由最派生类的构造函数通过调用虚基类的构造函数进行初始化。所以,最派生类的构造函数的成员初始化列表中必须列出对虚基类构造函数的调用;如果未列出,则表示使用该虚基类的缺省构造函数。

由于最派生类总是相对的,因此,从虚基类直接或间接派生的派生类中的构造函数的成员初始化列表中都要列出对虚基类构造函数的调用。但只有用于建立对象的最派生类的构造函数才调用虚基类的构造函数,此时最派生类的所有基类中列出的对虚基类的构造函数的调用在执行过程中都被忽略,从而保证对虚基类子对象只初始化一次。

当在一个成员初始化列表中同时出现对虚基类和非虚基类构造函数的调用时,虚基类的构造函数先于非虚基类的构造函数执行。

7.4 子类型关系

公有继承时,派生类的对象可以作为基类的对象处理,派生类是基类的子类型。 子类型关系使得在需要基类对象的任何地方都可以使用公有派生类的对象来替代,从而可以使用相同的函数统一处理基类对象和公有派生类对象(形参为基类对象时,实参可以是派生类对象),而不必为每一个类设计单独的处理程序,大大提高了程序的效率。它是实现多态性的重要基础之一。

子类型关系的定义如下:

有一个特定的类型S,当且仅当它提供了类型T的行为时,称类型S是类型T的子类型。

公有派生类的对象可以赋值给基类的对象。实际上不仅如此,具有子类型关系的基类和派生类的对象之间满足如下赋值兼容规则:

(1)公有派生类的对象可以赋值给基类的对象,即用公有派生类对象中从基类继承来的成员,逐个赋值给基类对象的成员。

(2)公有派生类的对象可以初始化基类的引用。

(3)公有派生类的对象的地址可以赋值给指向基类的指针。

7.5 虚函数与多态性 1.多态性的概念

一个面向对象的系统常常要求一组具有相同基本语义的方法能在同一接口下为不同的对象服务,这就是所谓多态性(polymorphism)。

在C++语言中,多态性可分为两类:编译时的多态性和运行时的多态性。

编译时的多态性是通过函数重载和模板体现的。利用函数重载机制,在调用同名的函数时,编译系统可根据实参的具体情况确定所调用的是同名函数中的哪一个。 利用函数模板,编译系统可根据模板实参以及模板函数实参的具体情况确定所要调用的是哪个函数,并生成相应的函数实例;利用类模板,编译系统可根据模板实参的具体情况确定所要定义的是哪个类的对象,并生成相应的类实例。由于有关操作所针对的具体目标(函数或类)的确定都是在编译时完成的,与运行时的动态环境无关,“编译时的多态性”因此而得名,其实现机制则和为静态绑定(static binding,也译作静态联编)。函数重载是“函数”一章中已经学习过的内容,但其中没有包含函数重载的一种特殊情况:运算符重载。 2.虚函数

在成员函数声明的前面加上virtual修饰,即把该函数声明为虚函数。虚函数可以是另一个类的友元函数,但不得是静态成员函数。