Liskov Substitution Principle里氏代换原则（LSP）

最新推荐文章于 2022-12-26 17:49:48 发布

Joe_hsj

最新推荐文章于 2022-12-26 17:49:48 发布

阅读量373

点赞数 1

分类专栏：软件构造文章标签： java

本文链接：https://blog.csdn.net/struct_hsj/article/details/105495770

版权

软件构造专栏收录该内容

11 篇文章 0 订阅

订阅专栏

Liskov Substitution Principle里氏代换原则（LSP）

文章目录

Liskov Substitution Principle里氏代换原则（LSP）

1.什么是LSP

严格定义：Let q(x) be a property provable about objects x of type T, then q(y) should be provable for objects y of type S where S is a subtype of T.

也就是说假设q（x）是关于类型T的对象x的一个可证明性质，那么q（y）应该对于类型S的对象y的也是可证明的，其中S是T的子类型。

通俗地说，也就是在可以使用父类的场景，都可以用其子类代替而不会有任何问题

2.为什么要遵循LSP

LSP原则保证了子类型多态，也就是客户端可用统一的方式处理不同类型的对象

也正因为这个原则，使得继承复用成为了可能，只有当子类可以替换掉父类，软件单位的功能不受到影响时，父类才能真正被复用，子类也能够在父类的基础上增加新的行为，而正是由于子类型的可替换性才使得使用父类类型的模块在无需修改的情况下就可以扩展

换言之程序遵循Liskov替换原则，就能降低继承带来的复杂度

而管理复杂度是软件的重要使命之一

3.具体要求

子类型可以增加方法，但是不可以删除
子类型需要实现抽象类型中的所有未实现的方法
子类型中重写的方法必须有相同的或子类型的返回值（即协变co-variance）
子类型中重写的方法必须使用相同类型的或符合contra-variance（逆变）的参数
子类型中重写的方法不能抛出额外的异常
子类型中的不变量要求要更强
对于方法的spec，需要子类型的spec更强，即前置条件更弱，后置条件更强

协变co-variance也就是说从父类型到子类型，变的越来越具体

在这里插入图片描述

而逆变contra-variance则相反，从子类型到父类型，越来越抽象
在这里插入图片描述

4.示例

通过例子来看看在设计时什么时候是符合LSP原则的：

假设我们有两个类，一个长方形，一个正方形，正方形是长方形的子类

又有一个方法resize（）能够使得输入的长方形的长增加至超过宽

class Rectangle
{
  @invariant h>0 && w>0;
  private int h;
  private int w;
  Rectangle(int h,int w)
  {
    this.h = h;
    this.w = w;
  }
   public void getH()
  {
    return this.h;
  }
  public void getW()
  {
    return this.w;
  }
  public setH(int h)
  {
     this.h = h;
  }
}

class Square extends Rectangle
{
  @invariant h>0 && w>0 && h==w;
  Square(int w)
  {
    super(w,w);
  }
  
  public setH(int h)
  {
     this.h = h;
     this.w = h;
  }
}


    /**
     * 长方形的长不短的增加直到超过宽
     * @param r
     */
    public void resize(Rectangle r)
    {
        while (r.getH() <= r.getW() )
        {
            r.setH(r.getH() + 1);
        }
    }