Java设计模式-里氏替换原则

2023-11-05

里氏替换原则【Liskov Substitution Principle】

  定义1:如果对每一个类型为 T1的对象 o1,都有类型为 T2 的对象o2,使得以 T1定义的所有程序 P 在所有的对象 o1 都代换成 o2 时,程序 P 的行为没有发生变化,那么类型 T2 是类型 T1 的子类型。(If for each object ol of type S there is an object o2 of type T such that for all programs P defined in terms of T,the behavior of P is unchanged when ol is substituted for o2 then S is a subtype of T.)

  定义2:所有引用基类的地方必须能透明地使用其子类的对象。(functions that use pointers or references to base classes must be able to use objects of derived classes without knowing it.)

  问题由来:有一功能P1,由类A完成。现需要将功能P1进行扩展,扩展后的功能为P,其中P由原有功能P1与新功能P2组成。新功能P由类A的子类B来完成,则子类B在完成新功能P2的同时,有可能会导致原有功能P1发生故障。

  解决方案:当使用继承时,遵循里氏替换原则。类B继承类A时,除添加新的方法完成新增功能P2外,尽量不要重写父类A的方法,也尽量不要重载父类A的方法。

  里氏替换原则通俗的来讲就是:子类可以扩展父类的功能,但不能改变父类原有的功能。它包含以下4层含义:

  • 子类可以实现父类的抽象方法,但不能覆盖父类的非抽象方法。
  • 子类中可以增加自己特有的方法。
  • 当子类的方法重载父类的方法时,方法的前置条件(即方法的形参)要比父类方法的输入参数更宽松。
  • 当子类的方法实现父类的抽象方法时,方法的后置条件(即方法的返回值)要比父类更严格。

子类不能覆盖父类的非抽象方法

  继承包含这样一层含义:父类中凡是已经实现好的方法(相对于抽象方法而言),实际上是在设定一系列的规范和契约,虽然它不强制要求所有的子类必须遵从这些契约,但是如果子类对这些非抽象方法任意修改,就会对整个继承体系造成破坏。而里氏替换原则就是表达了这一层含义。

  举例说明继承的风险,一个两数相减的功能,由类Father来负责

public class Test {

    public static void main (String[] args){
        Father f = new Father();
        System.out.println("100-50="+f.func1(100, 50));
        System.out.println("100-80="+f.func1(100, 80));
    }
}

class Father{
    public int func1(int a, int b){
        return a-b;
    }
}

输出

100-50=50
100-80=20

  后来,我们需要增加一个新的功能:完成两数相加,然后再与100求和,由类Son来负责。即类B需要完成两个功能:

  • 两数相减。
  • 两数相加,然后再加100。

  由于类Father已经实现了第一个功能,所以类Son继承类Father后,只需要再完成第二个功能就可以了,代码如下:

public class Test {

    public static void main (String[] args){
        Son s = new Son();
        System.out.println("100-50="+s.func1(100, 50));
        System.out.println("100-80="+s.func1(100, 80));
        System.out.println("100+20+100="+s.func2(100, 20));
    }
}

class Father{
    public int func1(int a, int b){
        return a-b;
    }
}

class Son extends Father{
    public int func1(int a, int b){
        return a+b;
    }

    public int func2(int a, int b){
        return func1(a,b)+100;
    }
}

输出

100-50=150
100-80=180
100+20+100=220

  我们发现原本运行正常的相减功能发生了错误。原因就是类Son 在给方法起名时无意中重写了父类的方法,造成所有运行相减功能的代码全部调用了类Son 重写后的方法,造成原本运行正常的功能出现了错误。在本例中,引用基类Father完成的功能,换成子类Son 之后,发生了异常。在实际编程中,我们常常会通过重写父类的方法来完成新的功能,这样写起来虽然简单,但是整个继承体系的可复用性会比较差,特别是运用多态比较频繁时,程序运行出错的几率非常大。如果非要重写父类的方法,比较通用的做法是:原来的父类和子类都继承一个更通俗的基类,原有的继承关系去掉,采用依赖、聚合,组合等关系代替。

当子类的方法重载父类的方法时,方法的前置条件(即方法的形参)要比父类方法的输入参数更宽松

  覆盖或实现父类的方法时输入参数可以被放大。方法中的输入参数叫做前置条件,这是什么意思呢?里氏替换法则也要求制定了一个契约,就是父类或接口,这种设计方法也叫做Design by Contract,契约优先设计,是和里氏替换法则融合在一起的。契约制定了,但是契约有前置条件和后置条件,前置条件就是你要让我执行,就必须满足我的条件;后置条件就是我执行完了,必须符合规定的契约。这个比较难理解,我们来看一个例子,我们先定义个Father类;

public class Father{
    public Collection doSomething(HashMap map){
        System.out.println("父类被执行...");
        return map.values();
    }
}

  这个类非常简单,就是把 HashMap 转换为 Collection 集合类型,然后我们来看子类:

public class Son extends Father {
//放大输入参数类型
	public Collection doSomething(Map map){
		System.out.println("子类被执行...");
		return map.values();
	}
}

  大家注意看Son 类的doSomething方法部分,和父类同样的一个方法名称,但是又不是重写(Override)父类的方法,你加个@Override 试试看,报错的,为什么呢?是输入参数类型不同,编译器就不认为是重写父类的方法了,那这是什么?是重载(Overload)!不用大惊小怪的,不在一个类就不能是重载了?继承是什么意思,子类拥有父类的所有属性和方法,那方法名重复输入参数类型又不相同当然是重载了。我们再来看业务调用类:

public class Test {
    public static void invoker(){
        //父类存在的地方,子类就应该能够存在
        Father f = new Father();
        HashMap map = new HashMap();
        f.doSomething(map);
    }
    public static void main(String[] args) {
        invoker();
    }
}

运行结果如下:

父类被执行...

  里氏替换法则说是父类出现的地方子类就能出现,我们把上面的黄色部分修改为子类,程序如下:

public class Test {
    public static void invoker(){
        //父类存在的地方,子类就应该能够存在
        Son s = new Son();
        HashMap map = new HashMap();
        s.doSomething(map);
    }
    public static void main(String[] args) {
        invoker();
    }
}

  运行结果还是一样,看明白是怎么回事了吗?父类方法的输入参数是 HashMap 类型,子类的输入参数是 Map 类型,也就是说子类的输入参数类型的范围扩大了,子类代替父类传递到调用类用,子类的方法永远都不回被执行,这是正确的,如果你想让子类的方法运行,你就必须重写父类的方法。大家可以这样想想看,在一个 Invoker 类中关联了一个父类,调用了一个父类的方法,子类可以重写这个方法,也可以重载这个方法,前提是要扩大这个前置条件,就是输入参数的类型大于父类的类型覆盖范围。可能比较理难理解,那我们再反过来想一下,如果 Father 类的输入参数类型大于子类的输入参数类型,会出现什么问题?就会出现父类存在的地方,子类就未必可以存在,因为一旦把子类作为参数传入进去,调用者就很可能进入子类的方法范畴。我们把上面的例子修改一下,先看父类:

class Father{
    public Collection doSomething(Map map){
        System.out.println("父类被执行...");
        return map.values();
    }
}

  把父类的前置条件修改为 Map 类型,我们再修改一下子类方法的输入参数,相对父类缩小输入参数的类型范围,也就是缩小前置条件:

class Son extends Father{
    //缩小输入参数范围
    public Collection doSomething(HashMap map){
        System.out.println("子类被执行...");
        return map.values();
    }
}

再来看业务场景类:

public class Test {
    public static void invoker(){
        //有父类的地方就有子类
        Father f= new Father();
        HashMap map = new HashMap();
        f.doSomething(map);
    }
    public static void main(String[] args) {
        invoker();
    }
}

运行结果如下:

父类被执行...

  那我们再把里氏替换法则引入进来会有什么问题?有父类的地方子类就可以使用,好,我们把这个Client 类修改一下,程序如下:

public class Test {
    public static void invoker(){
        //有父类的地方就有子类
        Son f =new Son();
        HashMap map = new HashMap();
        f.doSomething(map);
    }
    public static void main(String[] args) {
        invoker();
    }
}

运行结果如下:

子类被执行...

  子类在没有重写父类的方法的前提下,子类方法被执行了,这个绝对会引起以后的业务逻辑混乱,因为在项目的应用中父类一般都是抽象类,子类是实现类,你传递一个这样的实现类就会引起一堆意想不到的业务逻辑混乱,所以子类中方法的前置条件必须与超类中被覆盖的方法的前置条件相同或者更宽松。

当子类的方法实现父类的抽象方法时,方法的后置条件(即方法的返回值)要比父类更严格

  这个是什么意思呢,父类的一个方法返回值是一个类型 T,子类相同方法(重载或重写)返回值为 S,那么里氏替换法则就要求 S 必须小于等于 T,也就是说要么S 和 T 是同一个类型,要么 S 是 T 的子类,为什么呢?分两种情况,如果是重写,方法的输入参数父类子类是相同的,两个方法的范围值 S 小于等于 T,这个是重写的要求,这个才是重中之重,子类重写父类的方法,天经地义;如果是重载,则要求方法的输入参数不相同,在里氏替换法则要求下就是子类的输入参数大于等于父类的输入参数,那就是说你写的这个方法是不会被调用到的,参考上面讲的前置条件。

  里氏替换法则诞生的目的就是加强程序的健壮性,同时版本升级也可以做到非常好的兼容性,增加子类,原有的子类还可以继续运行。在我们项目实施中就是每个子类对应了不同的业务含义,使用父类作为参数,传递不同的子类完成不同的业务逻辑,非常完美!

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

Java设计模式-里氏替换原则 的相关文章

随机推荐

  • 算法基础/递归回溯

    当要求解全排列或者全部的组合时 常采用递归 回溯的方式 标准的递归 回溯 DFS形式DFS nums index 表示当前位置是index 1 对于每个位置的数 要么被选中 temp push back nums index DFS num
  • Ubuntu 扩展内存或断电之后卡在 /dev/sda1 clean 和 /dev/sda1 recovering journal

    当ubuntu虚拟机硬盘空间不够用的时候 往往会出现新增扩展硬盘空间之后 出现开机卡死的现象 通过查阅相关资料 排坑如下 一 原VM硬盘空间已满 当原VM硬盘空间已满的情况下 千万不要重启或者关机操作 极容易引起卡死的状况发生 解决方案为
  • 计及电池储能寿命损耗的微电网经济调度(matlab代码)

    目录 1 主要内容 2 部分代码 3 程序结果 4 下载链接 1 主要内容 该程序参考文献 考虑寿命损耗的微网电池储能容量优化配置 模型 以购售电成本 燃料成本和储能寿命损耗成本三者之和为目标函数 创新考虑储能寿命损耗约束 放电深度约束和储
  • 分立式BUCK电路原理与制作持续更新

    目录 一 分立式BUCK电路总体原理图 二 BUCK电路与LDO的区别 三 BUCK电路为什么要加电感 四 BUCK电路要加续流二极管 五 BUCK电路导通与断开的回路 六 电源公式的中的几个表示方式 1 输入功率用Pin表示 2 输出功率
  • springboot+vue商城项目实战-springboot后端搭建

    搭建Spring Boot Vue商城后端项目 要搭建Spring Boot Vue商城后端项目 你需要掌握一系列的技术背景 下面我将为你介绍 开发这种项目所需的主要技术要求 Spring Boot框架 Spring Boot是一个开发Ja
  • redis常见操作命令-list

    1 将1个或者多个的value压入key的表头 LPUSH key value value 127 0 0 1 6379 gt LPUSH list abc integer 1 127 0 0 1 6379 gt LGET list err
  • Nginx设置成网站为https

    首先 获取SSL证书 我的证书是阿里云获取的 免费版dv证书 一年有效期 购买后 自动跳转到证书控制台 点击申请 然后选择如下设置 打码内容填入自己的个人信息 等待审核通过 我大概等了半小时 然后下载证书 解压 获得以下两个文件 在服务器的
  • 多益网络人工智能面试和入职问题

    以下几点是我在技术面试中技术hr问到的一些问题 1 简单自我介绍 2 网测的智商检测问题怎么看 3 分别介绍两个项目 4 基于第一个项目 有没有做过法律相关的知识图谱构建来优化模型结果 5 基于第二个项目 在做方案研究的时候就只是模型的融合
  • hello paddle

    文章目录 一 用飞桨定义模型的计算 二 准备好运行飞桨 三 告诉飞桨怎么样学习 四 运行优化算法 五 机器学习出来的参数 import paddle 导入飞桨paddle和numpy import numpy print paddle pa
  • ssh普通用户(非root用户)的密钥登录

    原文地址 ssh原理 ssh普通用户 非root用户 的密钥登录 这里以用户名 zhangsan 为例 由于个人习惯问题 我把用户zhangsan的默认目录改了 在使用密钥登录的过程中 始终提示要输入用户密码 而 var log secur
  • 群晖硬盘已损毁 Linux 修复,群晖NAS提示空间损毁修复纪实

    注 以下操作有丢失数据的风险 请慎重考虑按本文提示操作 前几天 家里的服务器RAID卡告警 提示阵列掉盘 后花了一天时间进行重新挂盘并重建数据 不是重建阵列哈 开机 OK ESXI一切正常 运行各种系统没有问题 当打开NAS时 提示报错 重
  • stm32单片机基础(一)

    stm32单片机 串口复用 IO口功能如何查看 GPIO配置选择 GPIO 如何确定外设的时钟是APB1还是APB2 概念 时钟周期 机器周期 双工 半双工 单工含义区别 串口复用 一定要记得使能复用时钟 AFIO 端口IO功能复用时钟 某
  • 线程共享和私有的数据

    引用 windows程序员面试指南 堆上的数据是线程共享的 栈上的数据是线程私有的 1 堆上共享的数据 a 进程 代码段 b 进程 数据段 c 进程打开的文件描述符 d 信号的处理器 e 进程的当前目录和 f 进程用户 ID 与进程组 ID
  • 全网最牛,接口自动化-Linux系统安装Jenkins+Ant详细步骤

    目录 导读 前言 一 Python编程入门到精通 二 接口自动化项目实战 三 Web自动化项目实战 四 App自动化项目实战 五 一线大厂简历 六 测试开发DevOps体系 七 常用自动化测试工具 八 JMeter性能测试 九 总结 尾部小
  • vld(Visual Leak Detector)下载地址和源码地址

    安装包下载页面 https kinddragon github io vld eg https github com KindDragon vld releases download v2 5 1 vld 2 5 1 setup exe 源
  • kafka存储原理介绍

    几个基本概念 Topic 消息主题 每一条消息都必须要指定主题 kafka集群可以同时进行多个topic的分发 Broker 消息处理的节点 可以立即为每个broker是一个单独的kafka进程 一般部署在不同的机器上 多个broker共同
  • js 计算月份差 ,天数差

  • Linux 安装 RocketMQ(Server)

    安装 linux版 官网下载地址 解压上传至 usr local 进入上传文件目录 cd usr local rocketmq all 4 7 0 source release bin 修改runbroker sh 修改runserver
  • chatgpt赋能python:如何通过Python赚钱

    如何通过Python赚钱 介绍 Python是一种高级编程语言 广泛用于Web开发 数据分析 机器学习等领域 Python具有简单易学 功能强大 易于维护等特点 因此非常受欢迎 而且 Python开源免费 可以在各个平台上运行 不需要花费太
  • Java设计模式-里氏替换原则

    里氏替换原则 Liskov Substitution Principle 定义1 如果对每一个类型为 T1的对象 o1 都有类型为 T2 的对象o2 使得以 T1定义的所有程序 P 在所有的对象 o1 都代换成 o2 时 程序 P 的行为没