最好的基类事抽象的 记录

开宗明义:不是抽象类的基类不是好基类。为什么这么说?

基类和派生类的关系有如下几种:


基类可以是具体类、虚类和抽象类三种,对派生类没有要求。其中具体类是没有虚函数的类,其所有方法都提供了具体实现;派生类方法如果和基类方法同名,则派生类方法隐藏(overwrite)了基类方法。虚类是包含虚函数的类,所有方法都提供具体实现;派生类如果要提供不同于基类虚方法的实现,则在派生类中提供同名方法,该方法将覆盖(override)基类虚方法。抽象类是包含抽象方法(或称为纯虚方法)的类,抽象方法不提供具体实现,抽象类只用于表示概念,不能直接构造抽象类的对象,抽象类的极端化就是“接口”。

首先,从语义上理解。
派生类和基类一定要满足“is-a”关系,即派生类和基类有类属关系,或者说派生类是基类的一种具体化。基类表示某种概念,派生类表示该概念下的某类具体事物。

让一个类继承自另一个具体类明显是不合理的,即使他们表示的概念很相近,或者他们的关系很紧密,这相当于说事物A是一种事物B。比如让直升机继承自固定翼飞机,明显,直升机并不是一种固定翼飞机,虽然它们有“fly”这个方法。正确的抽象方式是,提取出飞机这个概念作为基类,然后让直升机和固定翼飞机都从基类飞机继承。
[图片上传中。。。(2)]
让派生类从虚类继承也是不合理的,却是常见的错误思路,在很多OOP入门教材上用滥了的例子。即,虚基类提供默认实现,如果派生类的行为和基类不同,则在派生类中覆盖基类虚方法。
其实,由于虚基类提供了所有方法的实现,说明虚基类并不虚,是一个表示具体事物的具体类。在语义上的问题,同样可以用前述例子来说明。

其次,从程序设计角度理解。
让派生类继承自具体基类的动机在于,派生类的某些行为和具体基类相同,派生类想要重用基类的这部分代码。而在另一些行为上派生类和基类又有差别,于是在派生类实现了和基类同名的方法(为了保持接口一致,所以同名)来定义自己的行为。从虚基类获得派生类的动机同上,同时还享受了多态性的好处。
但是上述方式的问题在于:
1、没有遵循“依赖倒置”原则,应对变化的能力不足。OO设计里的一条重要原则就是:针对抽象编程,而不是针对具体对象编程,这条原则也叫做“依赖倒置”原则。基类充当了类继承树和外部世界之间的界面角色,用户通过基类接口使用这个类继承树。如果用具体基类或虚基类作为界面,当类继承树内部发生变化时,就会影响到用户代码,可能要求用户代码修改或者重新编译。
2、可能造成代码重复。假设派生类重新实现了基类的方法foo,其他方法都相同。如果派生类::foo的实现和基类::foo完全不同,正说明了派生类和基类并没有类属关系,而是在概念上和基类处于同一层次的另一事物。如果派生类::foo的实现和基类::foo相似,只是细节不同,那么它们中必然存在大量实现相同功能的代码,这违反了同一份数据或代码只出现一次的要求,正是bug的主要来源之一;解决方法是提取出抽象类,运用模板方法(template method)模式。
还是以飞机的例子来说明。
[图片上传中。。。(3)]
方案一,直升机和固定翼飞机的飞行方式完全不同,所以直升机::fly需要完全重新改写固定翼飞机::fly,在概念和实现上都是urgly的。于是有方案二:


方案二,提取抽象类飞机,定义抽象方法fly,然后在其派生类固定翼飞机和直升机中分别实现fly方法。
现在变化来了,要将陆基战斗机和舰载战斗机加入这个体系结构中。我们知道,陆基和舰载飞机在在空中的飞行方式是一样的,不同的是舰载机在起飞和降落时有特殊要求。这意味着,陆基战斗机和舰载战斗机可以重用固定翼飞机::fly方法的大部分代码。

方案三,运用模板方法模式,将飞机起飞方式作为抽象方法,将固定翼飞机提取为抽象类,在陆基战斗机和舰载战斗机中分别实现起飞方法。飞机类和固定翼飞机类都成为了抽象类。
那么,如果按照从具体基类或虚基类发展类继承体系的思路,最后将会得到什么样的设计呢?很可能是下面这样的。

固定翼飞机::fly实现陆基飞行方法;舰载战斗机::fly实现copy固定翼飞机::fly的大部分代码,然后添加舰载起飞方式;直升机::fly完全重写fly方法。它还是可以工作的,不过概念不清,可扩展性差。

结论:
1、如果以具体类或者虚类作为基类,说明抽象得还不够,概念没理清,对象模型需要进一步分析,提取出抽象基类。
2、如果基类和派生类的同名方法实现完全不同,则将此同名方法作为抽象类的抽象方法;如果上述同名方法实现部分相似,则运用模板方法模式设计。

最终得到的类继承树中,所有的叶子节点都是且仅是具体类,根节点和所有中间节点都是且仅是抽象类。如下图:

[图片上传中。。。(7)]
不是抽象类的基类不是好基类!

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,732评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 87,496评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,264评论 0 338
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,807评论 1 277
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,806评论 5 368
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,675评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,029评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,683评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 41,704评论 1 299
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,666评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,773评论 1 332
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,413评论 4 321
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,016评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,978评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,204评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,083评论 2 350
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,503评论 2 343

推荐阅读更多精彩内容

  • 一、继承和多态在面向对象编程中,继承(也称为派生)让您能够创建新类,而这些类继承了父类(也称为基类)的特征和行为。...
    CarlDonitz阅读 833评论 0 2
  • C++虚函数 C++虚函数是多态性实现的重要方式,当某个虚函数通过指针或者引用调用时,编译器产生的代码直到运行时才...
    小白将阅读 1,725评论 4 19
  • 一、抽象类: 抽象类是特殊的类,只是不能被实例化;除此以外,具有类的其他特性;重要的是抽象类可以包括抽象方法,这是...
    FrozenSunset阅读 499评论 0 3
  • 1. 结构体和共同体的区别。 定义: 结构体struct:把不同类型的数据组合成一个整体,自定义类型。共同体uni...
    breakfy阅读 2,112评论 0 22
  • 本文出自 Eddy Wiki ,转载请注明出处:http://eddy.wiki/interview-java.h...
    eddy_wiki阅读 1,188评论 0 5