2015年计算机二级C++继承与派生考点总结（2）
发布时间：2012/6/14 10:38:46 来源：城市网学院 编辑：ziteng
-
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)公有派生类的对象的地址可以赋值给指向基类的指针。
