C++ 中的继承
@TOC
零、前言
从本章开始,我们已经达到了 C++的入门水平,开始向进阶进发,而本章则是介绍学习 C++的继承
一、继承的概念和定义
概念:
继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段,它允许程序员在保持原有类特性的基础上进行扩展,增加功能,这样产生新的类,称派生类
继承呈现了面向对象程序设计的层次结构,体现了由简单到复杂的认知过程;以前我们接触的复用都是函数复用,继承是类设计层次的复用
定义:
示例:
结果:
语法:
Person 是父类,也称作基类;Student 是子类,也称作派生类
继承关系和访问限定符:
继承基类成员访问方式的变化:
总结:
基类 private 成员在派生类中无论以什么方式继承都是不可见的(不可见指基类的私有成员还是被继承到了派生类对象中,但是语法上限制派生类对象不管在类里面还是类外面都不能去访问它)
如果基类成员不想在类外直接被访问,但需要在派生类中能访问,就定义为 protected(保护成员限定符是因继承而出现)
基类的其他成员在子类的访问方式 == Min(成员在基类访问限定符,继承方式){public > protected > private}
使用关键字 class 时默认的继承方式是 private,使用 struct 时默认的继承方式是 public,不过最好显示的写出继承方式
实际运用中一般使用 public 继承,很少使用 protetced/private 继承(不提倡:protetced/private 继承下来的成员都只能在派生类的类里面使用,实际中扩展维护性不强 )
二、基类和派生类对象赋值转换
概念:
派生类对象可以赋值给基类的对象/基类的指针/基类的引用,也叫切片或者切割,即把派生类中父类那部分切来赋值过去基类对象不能赋值给派生类对象基类的指针,但可以通过强制类型转换赋值给派生类的指针
示图:切割
示例:
三、继承中的作用域
注意:
在继承体系中基类和派生类都有独立的作用域
子类和父类中有同名成员子类成员将屏蔽父类对同名成员的直接访问,这种情况叫隐藏,也叫重定义(在子类成员函数中,可以使用 基类::基类成员 显示访问)
注:在同一作用域函数名相同参数不同,为函数重载
成员函数的隐藏只需要函数名相同就构成隐藏
实际中在继承体系里面最好不要定义同名的成员
示例 1:成员变量隐藏
结果 1:
示例 2:成员函数隐藏
结果 2:
四、派生类的默认成员函数
6 个默认成员函数示图:
注:“默认”即指我们不写,编译器会自动生成
派生类中成员函数是如何生成:
示例:
注意:
派生类的构造函数必须调用基类的构造函数初始化基类的那一部分成员;如果基类没有默认的构造函数,则必须在派生类构造函数的初始化列表阶段显示调用
注:默认构造函数:无参的构造函数,编译器自动生成的构造函数,全缺省的构造函数
示图:无默认构造函数,且不显示调用
派生类的拷贝构造函数必须调用基类的拷贝构造完成基类的拷贝初始化
注:如果不调用,系统会自动调用父类的默认构造函数
示图:
注:调用基类的拷贝构造运用了切片操作
派生类的 operator=必须要调用基类的 operator=完成基类的复制
注:这里的调用赋值同样也是切片操作,如果不主动调用父类赋值重载,则不会完成父类的赋值
派生类的析构函数会在被调用完成后自动调用基类的析构函数清理基类成员,因为这样才能保证派生类对象先清理派生类成员再清理基类成员的顺序
示图:
注:一般不自行去主动调用基类的析构函数,不然可能会造成错误
派生类对象初始化先调用基类构造再调派生类构造
派生类对象析构清理先调用派生类析构再调基类的析构
示图:
五、继承和友元
概念:
友元关系不能继承,即基类友元不能访问子类私有和保护成员(友元只是单向的,无法传递和继承)
示例:
结果:
六、继承和静态成员
概念:
基类定义了 static 静态成员,则整个继承体系里面只有一个这样的成员,无论派生出多少个子类,都只有一个 static 成员实例
示例:
结果:
七、菱形继承和虚拟继承
单继承:
一个子类只有一个直接父类时称这个继承关系为单继承
示图:
多继承:
一个子类有两个或以上直接父类时称这个继承关系为多继承
示图:
菱形继承:
菱形继承是多继承的一种特殊情况
示图:
菱形继承的问题:
从下面的对象成员模型构造,可以看出菱形继承有数据冗余和二义性的问题:在 Assistant 的对象中 Person 成员会有两份
示图:
示例:
结果:
菱形虚拟继承:
虚拟继承可以解决菱形继承的二义性和数据冗余的问题
注:虚拟继承不要在其他地方使用
示例:
问题:
这里可以看到数据冗余,存在二义性需要显示调用
示图:
菱形虚拟继承的内存对象成员模型:
这里可以分析出 D 对象中将 A 放到的了对象组成的最下面,这个 A 同时属于 B 和 C,这里是通过 B 和 C 的两个指针,指向的一张表(这两个指针叫虚基表指针,这两个表叫虚基表),虚基表中第一个位置存的是当前位置距离类自己虚函数表指针的偏移量,第二个位置存的是距离继承对象的成员变量偏移量
示图:
过程示图:
总结:
对于多继承,菱形继承和菱形虚拟继承,底层实现很复杂,所以一般不建议设计出多继承,一定不要设计出菱形继承,否则在复杂度及性能上都有问题
多继承可以认为是 C++的缺陷之一,很多后来的 OO 语言都没有多继承(如 java)
八、继承和组合
概念:
public 继承是一种 is-a 的关系:
假设 B 继承了 A,每个 B 对象就是一个 A 对象(每个派生类对象都是一个基类对象)
继承允许你根据基类的实现来定义派生类的实现
在继承方式中,基类的内部细节对子类可见
继承一定程度破坏了基类的封装,基类的改变,对派生类有很大的影响(派生类和基类间的依赖关系很强,耦合度高)
组合是一种 has-a 的关系:
假设 B 组合了 A,每个 B 对象中都有一个 A 对象(优先使用对象组合,而不是类继承 )
对象组合是类继承之外的另一种复用选择,新的更复杂的功能可以通过组装或组合对象来获得
对象组合要求被组合的对象具有良好定义的接口,因为对象的内部细节是不可见的
组合类之间没有很强的依赖关系,耦合度低,优先使用对象组合有助于你保持每个类被封装
使用总结:
实际中尽量多去用组合(组合的耦合度低,代码维护性好)
有些关系就适合继承那就用继承(强相关),另外要实现多态,也必须要继承
如果类之间的关系可以用继承,可以用组合,就用组合
示例:
九、继承相关面试题
什么是菱形继承?菱形继承的问题是什么?
菱形继承:
一个子类继承了两个父类,而这两个父类又继承了一个相同的类,这样的继承关系如同菱形
菱形继承问题:
存在数据冗余和二义性的问题
什么是菱形虚拟继承?如何解决数据冗余和二义性的
菱形虚拟继承:
用来解决菱形继承的数据冗余和二义性
如何解决:
菱形虚拟继承会让父类生成一张虚基表,并将虚基表的地址存在其成员变量中,虚基表中存储了其父类成员变量距离该基表的距离,根据距离找到其父类变量,并且两份虚基表共同指向一份父类变量
继承和组合的区别?什么时候用继承?什么时候用组合
区别:
继承相当于每个派生类对象都是一个基类对象;继承中的基类内部实现对派生类可见(一定程度破坏基类的封装性),可以根据基类的实现来决定派生类的实现(耦合度高,不利于维护)
组合相当于每个派生类对象有一个基类对象;组合中的基类内部具体实现对派生类不可见(封装性好),基类的实现和派生类的实现依赖性低(耦合度低,利于维护)
使用情形:
如果类型之间关系符合强相关的,或者需要实现多态的,用继承
如果类型之间关系符合弱相关的,或者继承和组合都可以使用的,用组合
如何设计一个不能被继承的类?
将该类的构造函数的访问权限设置为私有,当派生类调用构造函数时,会先调用父类的构造函数,而父类的构造函数不能被调用,无法构造父类对象也就构造不了派生类对象(但这样的类不仅派生类无法构造,该类自己也不能构造)
在 C++11 之后,我们可以将父类用 final 修饰,这样就可以达成目的
版权声明: 本文为 InfoQ 作者【可口也可樂】的原创文章。
原文链接:【http://xie.infoq.cn/article/a85e52bbe3409bea96038bbb2】。文章转载请联系作者。
评论