分享
 
 
 

翻译:Effective C++, 3rd Edition, Item 32: 确保 public inheritance 模拟 "is-a"(下)

王朝c/c++·作者佚名  2006-01-10
窄屏简体版  字體: |||超大  

(点击此处,接上篇)

你能说出其中的区别吗?从错误被发觉时间方面看。“企鹅不能飞”的禁令可以由编译器强令执行,但是对“让企鹅真的去飞是一个错误”的规约的违反,只有在运行时才能被发觉。

为了表达“企鹅不能飞”这个限制,你要确保不要为 Penguin 对象定义这样的函数:

class Bird {

... // no fly function is declared

};

class Penguin: public Bird {

... // no fly function is declared

};

如果你现在试图让企鹅飞,编译器将因为你的违例而惩罚你:

Penguin p;

p.fly(); // error!

这与你采用产生运行时错误的方法,得到完全不同的行为。使用那个方法,关于对 p.fly 的调用,编译器一言不发。Item 18 解释了好的接口可以在编译时防止非法代码,所以你应该用通过编译器阻止企鹅飞翔企图的设计代替只在运行时检测的设计

也许你会承认你的鸟类学知识可能不足,但是你对自己对基本几何学的掌握很自信,是吗?我的意思是说,矩形和正方形能有多么复杂?

好吧,回答这个简单的问题:应该让 class Square 从 class Rectangle 公开继承吗?

“咄!”你说,“当然应该!每一个人都知道一个正方形就是一个矩形,但是反过来就不一定了。”这完全正确,至少在学校里是。但是我不认为我们现在还在学校里。

考虑如下代码:

class Rectangle {

public:

virtual void setHeight(int newHeight);

virtual void setWidth(int newWidth);

virtual int height() const; // return current values

virtual int width() const;

...

};

void makeBigger(Rectangle& r) // function to increase r's area

{

int oldHeight = r.height();

r.setWidth(r.width() + 10); // add 10 to r's width

assert(r.height() == oldHeight); // assert that r's

} // height is unchanged

很清楚,断言应该永远不会失败。makeBigger 仅仅改变了 r 的宽度,它的高度始终没有变化。

现在,考虑以下代码,使用 public inheritance 使得 squares 可以像 rectangles 一样进行处理:

class Square: public Rectangle {...};

Square s;

...

assert(s.width() == s.height()); // this must be true for all squares

makeBigger(s); // by inheritance, s is-a Rectangle,

// so we can increase its area

assert(s.width() == s.height()); // this must still be true

// for all squares

和刚才那个一样明显,第二个断言也应该永远不会失败。根据定义,正方形的宽度和高度是相等的。

但是,现在有一个问题,我们怎样才能协调以下断言?

调用 makeBigger 之前,s 的高度和它的宽度相等;在 makeBigger 内,s 的宽度发生变化,但是它的高度没有变化;从 makeBigger 返回之后,s 的高度还要和它的宽度相等。(注意 s 是通过 by reference 方式传入 makeBigger 的,所以 makeBigger 能改变 s 自身,而不是 s 的拷贝。)嘟嘟?

欢迎来到 public inheritance 的奇妙世界,你在其它学习领域——包括数学——中发展起来的本能,可能不再像你所期望的那样帮助你。在这种情况下,基本的难点在于一些适用于矩形(它的宽度可以独立于他的高度而自行变化)的事情不适用于正方形(它的宽度和高度必须相等)。但是 public inheritance 断言,适用于 base class objects(基类对象)的每一件事——每一件事!——也适用于 derived class objects(派生类对象)。在矩形和正方形的情况下(还有 Item 38 中一个包含 sets 和 lists 的例子),这个断言失效,所以用 public inheritance 模拟它们的关系是完全错误的。编译器允许你这样做,但是就像我们已经看到的,它不能保证代码的行为正确。每一个程序员都必须认识到,仅仅通过编译的代码,并不意味着它可以工作。

不必忧虑你在过去这些年发展起来的软件直觉在你走近 object-oriented design 时失效。那些知识依然是有价值的,但是现在你应该在你的设计候选武器库中加入 inheritance,你还必须在你的直觉中加入新的洞察力来指导你正确使用 inheritance。当某个人向你展示一个几页长的函数时,你可能会及时地从 Penguin 继承自 Bird 或 Square 继承自 Rectangle 得到有趣的感觉。它可能是接近事实的正确方法,只是不太像而已。

is-a 关系并不是能存在于两个 classes 之间的唯一关系。另外两个常见的 inter-class 关系是 "has-a" 和 "is-implemented-in-terms-of"。这些关系将在 Item 38 和 39 中考虑。因为用这些其它重要关系中的一个来不正确地模拟 is-a 而造成的 C++ 设计错误并不罕见,所以你应该确保你理解了这些关系之间的不同,并知道在 C++ 中如何才能用它们做最好的模拟。

Things to Remember

public inheritance 意味着 "is-a"。适用于 base classes 的每一件事也适用于 derived classes,因为每一个 derived class object 都是一个 base class object。

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
2023年上半年GDP全球前十五强
 百态   2023-10-24
美众议院议长启动对拜登的弹劾调查
 百态   2023-09-13
上海、济南、武汉等多地出现不明坠落物
 探索   2023-09-06
印度或要将国名改为“巴拉特”
 百态   2023-09-06
男子为女友送行,买票不登机被捕
 百态   2023-08-20
手机地震预警功能怎么开?
 干货   2023-08-06
女子4年卖2套房花700多万做美容:不但没变美脸,面部还出现变形
 百态   2023-08-04
住户一楼被水淹 还冲来8头猪
 百态   2023-07-31
女子体内爬出大量瓜子状活虫
 百态   2023-07-25
地球连续35年收到神秘规律性信号,网友:不要回答!
 探索   2023-07-21
全球镓价格本周大涨27%
 探索   2023-07-09
钱都流向了那些不缺钱的人,苦都留给了能吃苦的人
 探索   2023-07-02
倩女手游刀客魅者强控制(强混乱强眩晕强睡眠)和对应控制抗性的关系
 百态   2020-08-20
美国5月9日最新疫情:美国确诊人数突破131万
 百态   2020-05-09
荷兰政府宣布将集体辞职
 干货   2020-04-30
倩女幽魂手游师徒任务情义春秋猜成语答案逍遥观:鹏程万里
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案神机营:射石饮羽
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案昆仑山:拔刀相助
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案天工阁:鬼斧神工
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案丝路古道:单枪匹马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:与虎谋皮
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:李代桃僵
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:指鹿为马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:小鸟依人
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:千金买邻
 干货   2019-11-12
 
推荐阅读
 
 
 
>>返回首頁<<
 
靜靜地坐在廢墟上,四周的荒凉一望無際,忽然覺得,淒涼也很美
© 2005- 王朝網路 版權所有