is-a关系和is-like-a关系
对于继承有一些争论。继承应当只覆盖基类(并且不添加基类中没有的新成员函数)吗?
这就意味着派生类与基类是完全相同的类型,因为它们有相同的接口。
结果是,我们可以用派生类的对象代替基类的对象。这被认为是纯代替(pure substitution),常常被称做代替原则(substitution principle)。
在某种意义上,这是对待继承的理想方法。我们常把基类和派生类之间的关系看做是一个“is-a(是)”关系,
因为我们可以说“圆形是一个形体”。对继承的一种测试方法就是看我们是否可以说这些类有“is-a”关系,而且还有意义。
有时需要向一个派生类型添加新的接口元素,这样就扩展了接口并创建了新类型。
这个新类型仍然可以代替这个基类,但这个代替不是完美的,因为这些新函数不能从基类访问。
这可以描述为“is-like-a(像)”关系;新类型有老类型的接口,但还包含其他函数,所以不能说它们完全相同。
以一台空调为例。假设你的房子与制冷的全部控制连线;也就是说,它有一个允许你控制冷却的接口。
设想这台空调坏了,用一台热泵代替它,这台热泵既可以制冷又可以制热,这台热泵就像一台空调,但它能做更多的事情。
因为你的房子的控制系统仅仅是针对制冷功能设计的,所以它仅限于与新对象的制冷部分通信。
新对象的接口已经被扩展,而这个已经存在的系统只知道原来的接口,并不知道扩展的部分。
|