等价和雷同干系

针对担任大概会发生这样的一个争论：担任只能改进原基本类的函数吗？若谜底是必定的，则衍生范例就是与基本类完全沟通的范例，因为都拥有完全沟通的接口。这样造成的功效就是：我们完全可以或许将衍生类的一个工具换成基本类的一个工具！可将其想象成一种“纯替换”。在某种意义上，这是举办担任的一种抱负方法。此时，我们凡是认为基本类和衍生类之间存在一种“等价”干系——因为我们可以义正辞严地说：“圆就是一种几许形状”。为了对担任举办测试，一个步伐就是看看本身是否能把它们套入这种“等价”干系中，看看是否有意义。
但在很多时候，我们必需为衍生范例插手新的接口元素。所以不只扩展了接口，也建设了一种新范例。这种新范例仍可替换成基本范例，但这种替换并不是完美的，因为不行在基本类里会见新函数。我们将其称作“雷同”干系；新范例拥有旧范例的接口，但也包括了其他函数，所以不能说它们是完全等价的。举个例子来说，让我们思量一下制冷机的环境。假定我们的房间连好了用于制冷的各类节制器；也就是说，我们已拥有须要的“接口”来节制制冷。此刻假设呆板出了妨碍，我们把它换成一台新型的冷、热两用空调，冬天和夏天均可利用。冷、热空调“雷同”制冷机，但能做更多的工作。由于我们的房间只安装了节制制冷的设备，所以它们只限于同新呆板的制冷部门打交道。新呆板的接口已获得了扩展，但现有的系统并不知道除原始接口以外的任何对象。
认识了等价与雷同的区别后，再举办替换时就会有掌握得多。尽量大大都时候“纯替换”已经足够，但您会发此刻某些环境下，仍然有明明的来由需要在衍生类的基本上增添新成果。通过前面临这两种环境的接头，相信各人已心中有数该如何做。