设计原则之--里氏代换原则
|
一个软件实体如果使用的是一个基类的话,那么一定适用于其子类,而且它根本不能察觉出其子类对象和基类对象的区别。
里氏代换原则是继承复用的基石,只有当衍生类可以替换掉基类,软件单位的功能不会受到影响时,基类才能真正的被复用,而衍生类才可能够在基类的基础上增加新的行为。
但是反过来不成立。
java对里氏代换的支持:
在编译时期,java语言编译器会检查一个程序是否符合里氏代换,当然这是一个无关实现的、纯语法意义上的检查。里氏代换要求凡是基类型使用的地方,子类型一定适用,因此子类必须具备积累性的全部接口。或者说子类型的接口必须包括全部的基类型的接口,而且还有可能更宽。如果一个java程序破坏这一条件,java编译器就会给出编译时期错误。
(编辑:安卓应用网) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |
