标签:相等 机器人 类方法 变更 类型 重载 父类 设计模式 组合
1 课程讲义
1.1 定义
1.2 特色
1.3 优点
1 课程讲义
1.1 定义
定义:
如果对每一个类型为T1的对象o1,都有类型为T2的对象02,使得以T1定义的所有程序P在所有的对象o1都替换成o2时,程序P的行为没有发生变化,那么类型T2是类型T1的子类型。
定义扩展:
一个软件实体如果适用一个父类的话,那一定适用于其子类,所有引用父类的地方必须能透明地使用其子类的对象,子类对象能够替换父类对象,而程序逻辑不变。(反对子类重写父类)
1.2 特色
◆引申意义:子类可以扩展父类的功能,但不能改变父类原有的功能。
◆含义1:子类可以实现父类的抽象方法,但不能覆盖父类的非抽象方法。
◆含义2:子类中可以增加自己特有的方法。
◆含义3:当子类的方法重载父类的方法时,方法的前置条件(即方法的输入/入参)要比父类方法的输入参数更宽松。
◆含义4:当子类的方法实现父类的方法时(重写/重载或实现抽象方法),方法的后置条件(即方法的输出/返回值)要比父类更严格或相等。
(前两条,约定子类最好不要重写父类的方法,如果一定要重写的话,可以使用组合聚合等方法实现)
(后两条举例:人可以生娃,非洲人欧洲人都可以生娃。反例:变形金刚机器人不可以生娃)
1.3 优点
1.3.1 约束了继承泛滥,很多非子类父类关系的类,没必要使用继承关系
1.3.2 加强程序的可维护性,降低需求变更时引起的风险
标签:相等 机器人 类方法 变更 类型 重载 父类 设计模式 组合
原文地址:https://www.cnblogs.com/1446358788-qq/p/11215449.html