一、继承的概念与定义
1.继承的概念
继承机制是面向对象程序设计使代码可以复用的最重要的手段,它允许程序员在保持原有类特性的基础上进行扩展,这样产生新的类称为派生类。 继承呈现了面向对象程序设计的层次结构,体现了由简单到复杂的认知过程。
2.继承的定义
2.1继承的定义格式
2.2继承关系和访问限定符
2.3继承基类成员访问方式变化
总结:
(1)基类的private成员在派生类中,无论以什么方式继承都是不可见的,这里所谓的不可见是指基类的私有成员还是被继承到了派生类中,只是语法上限制派生类对象无论在类内部还是类外都不能访问。
(2)基类private成员在派生类中不能被访问,如果基类成员不想在类外直接被访问,但希望在派生类中能被访问,就可以定义为protected。可以看出保护成员限定符是为继承而生。
(3)基类的私有成员在派生类中都是不可见,基类的其他成员在子类的访问方式=min(成员在基类的访问限定符,继承方式),权限范围:public > protected > private。
(4)使用关键字class时默认的继承方式是private,使用struct时默认的继承方式是public,不过最好是显示的写出继承方式。
(5)在实际运用中,一般都是使用public继承,而很少使用protected和private继承,因为protected和private继承下来的成员都只能在派生类的类内部使用,实际中扩展维护性不强。
二、赋值兼容规则
赋值兼容规则(基类和派生类对象赋值转换)的前提:必须是public继承方式
1.派生类可以赋值给基类的对象、基类的指针、基类的引用,反之则不行。
2.基类的指针可以通过强制类型转换赋值给派生类的指针,但是必须是基类的指针是指向派生类对象时,才是安全的。
三、继承中的作用域
1.在继承体系中,基类和派生类都有各自独立的作用域。
2.子类和父类有同名的成员时,子类成员将屏蔽对父类的同名成员的直接访问,这种情况叫隐藏,也叫重定义。(在子类成员函数中,可以通过 基类::基类成员 的方式显示访问)
3.对于成员函数的隐藏,只需要函数名相同就构造隐藏;对于成员变量的隐藏,只需要变量名相同就构成隐藏。
4.所以实际中,在继承体系内最好不要定义同名的成员。
四、派生类的默认成员函数
1.派生类的构造函数必须调用基类的构造函数初始化基类的那一部分成员,若基类没有默认的构造函数,则必须在派生类构造函数的初始化列表阶段,显示调用基类的构造函数。
2.派生类的拷贝构造函数必须调用基类的拷贝构造函数,完成基类的拷贝初始化。
3.派生类的赋值运算符重载函数必须调用基类的赋值运算符重载函数,完成基类的赋值。
4.派生类的析构函数会在被调用完成后,自动调用基类的析构函数清理基类成员。这样才能保证派生类对象先清理派生类成员,再清理基类成员的顺序。
5.派生类对象初始化,先调用基类构造函数,再调用派生类构造函数。(注意:实际实现上是先调用派生类的构造函数,在初始化列表阶段会先调用基类的构造函数,之后才会完成派生类部分成员的初始化)
6.派生类对象销毁,先调用派生类析构函数,再调用基类析构函数。
五、继承与友元
友元关系不能继承,也就是说基类的友元不能访问子类的私有成员和保护成员。
六、继承与静态成员
基类定义的static静态成员,在整个继承体系里面只有一个这样的成员。也就是说,无论派生出多少个实例,都只有这一个static成员实例。
七、菱形继承和菱形虚拟继承
1.单继承
一个子类只有一个直接父类。
2.多继承
一个子类有两个或以上的直接父类。
3.菱形继承
3.1菱形继承
菱形继承是多继承的一种特殊情况。
3.2菱形继承的问题
根据对象成员的构造模型,可以看出菱形继承有数据冗余和二义性问题。因为在cat的对象中,Creature成员会存在两份。
3.3解决方法
(1)访问明确化——二义性问题
当访问最顶层成员时(Creature成员),加上其父类名称(Animal::成员 或 Pet::成员)。
(2)菱形虚拟继承
让最顶层基类的成员,在该类对象(cat类)中只存储一份。解决二义性和数据冗余问题。
4.菱形虚拟继承
虚拟继承:virtual关键字修饰继承关系
当多个类通过虚拟继承的方式继承同一个类时,对于继承自父类的成员是共有的,所以为了方便处理,在内存中分布的时候,会将这些共有的成员放到对象组成的末尾。
然后建立一个虚基表,来记录各个虚拟继承类在访问共有成员时,在内存中的偏移量大小,虚基表指针就是指向了各自的偏移量。
注意:
(1)虚拟继承主要用来实现菱形虚拟继承,目的是解决菱形继承中的二义性和数据冗余,不要在其他地方使用。
(2)注意菱形虚拟继承中,虚拟继承的位置是中间,最底层采用虚拟继承没有作用。
八、继承与组合
(1)public继承是一种is-a的关系,相当于每个派生类对象都是一个基类对象。
(2)组合是一种has-a的关系,比如A组合了B,那么每个A对象中,都有一个B对象。
(3)继承允许根据基类的实现来定义派生类的实现。这种通过派生类的方式实现复用通常被称为白箱复用。 所谓“白箱”是相对可视性而言,在继承方式中,基类的内部实现对派生类可见。所以继承一定程度的破坏了基类的封装性,且基类的改变对派生类影响很大,派生类对基类有较强的依赖关系,耦合度高。
(4)对象组合是类继承以外的另一种复用方式。新的或更复杂的功能,可以通过组合对象来实现。对象组合要求被组合的对象具有良好定义的接口。这种复用方式称为黑箱复用,因为对象的内部实现不可见。对象只以“黑箱”的形式出现,组合类之间没有很强的依赖关系,耦合度低,优先使用组合,有助于维护类的封装性。
优先使用组合:
(1)可以的情况下优先使用组合。
(2)对于更适合继承关系的情况,才选择使用继承。
(3)要实现多态时,必须使用继承。