子类型必须能够替换掉他们的父类型. 即一个软件实体如果使用的是一个父类的话, 那么一定适用于其子类, 而且它察觉不出父类对象和子类对象的区别. 也就是说, 在软件里面, 把父类都替换成他的子类, 程序的行为没有变化.
由于子类型的可替换性才使得使用父类类型的模块在无需修改的情况下就可以扩展.
本文分享自 作者个人站点/博客 前往查看
如有侵权,请联系 cloudcommunity@tencent.com 删除。
本文参与 腾讯云自媒体同步曝光计划 ,欢迎热爱写作的你一起参与!