【笔记】里式替换原则

里式替换原则

定义

• 如果每一个类型为T1的对象o1，都有类型为T2的对象o2，使得以T1定义的所有程序P在所有对象o1都替换成o2时，程序p的行为没有发生任何变化，那么类型T2是类型T1的子类型

• 一个软件实体适用于一个父类的话，那一定适用于其子类，所有引用父类的地方必须能够透明地使用其子类的对象，子类对象能够替换父类对象，而程序逻辑不变

• 子类可以扩展父类的功能，但是不能改变父类原有的功能

• 子类可以实现父类的抽象方法，但是不能覆盖父类的非抽象方法

• 子类中可以增加自己特有的方法

• 子类的方法重载父类的方法时，方法的前置条件（即方法的入参）要比父类方法的输入参数更宽松

• 当子类的方法实现父类的方法时（重载，重写或实现抽象方法），方法的后置条件（即返回值）要比父类的更严格或相等

优点

• 约束继承泛滥，也是开闭原则的一种体现

• 加强程序的健壮性，同时变更时也可以做到非常好的兼容性，提高程序的维护性，扩展性。降低需求变更引入的风险

代码实例

import java.util.HashMap;
import java.util.Map;

/**
 * 里氏替换原则
 */
public class LiskovSubstitution {
    private static void resize(Rectangle rectangle) {
        while (rectangle.getWidth() <= rectangle.getLength()) {
            rectangle.setWidth(rectangle.getWidth() + 1);
            System.out.println(rectangle);
        }
        System.out.println("resize方法结束：" + rectangle);
    }

    public static void main(String[] args) {
//        Rectangle rectangle = new Rectangle();
//        rectangle.setWidth(10);
//        rectangle.setLength(20);
//        resize(rectangle);

//        Square square = new Square();
//        square.setSideLength(10);
//        resize(square);

//        Base child = new Child();
//        child.method(new HashMap());

        Child1 child1 = new Child1();
        System.out.println(child1.method());
    }
}

interface Quadrangle {
    long getWidth();

    long getLength();
}

/**
 * 长方形
 */
class Rectangle implements Quadrangle {
    private long length;
    private long width;

    @Override
    public long getWidth() {
        return this.width;
    }

    @Override
    public long getLength() {
        return this.length;
    }

    public void setLength(long length) {
        this.length = length;
    }

    public void setWidth(long width) {
        this.width = width;
    }

    @Override
    public String toString() {
        return "Rectangle{" +
                "length=" + length +
                ", width=" + width +
                '}';
    }
}

/**
 * 正方形
 */
class Square implements Quadrangle {
    private long sideLength;

    public long getSideLength() {
        return sideLength;
    }

    public void setSideLength(long sideLength) {
        this.sideLength = sideLength;
    }

    @Override
    public long getLength() {
        return this.getSideLength();
    }

    @Override
    public long getWidth() {
        return this.getSideLength();
    }

    @Override
    public String toString() {
        return "Square{" +
                "length=" + this.getLength() +
                ", width=" + this.getWidth() +
                '}';
    }
}

/**
 * 子类的方法重载父类的方法时，方法的前置条件（即方法的入参）要比父类方法的输入参数更宽松
 */
class Base {
    public void method(HashMap map) {
        System.out.println("父类被执行");
    }
}

class Child extends Base {
//    @Override
//    public void method(HashMap map) {
//        System.out.println("子类HahsMap入参方法被执行");
//    }

    public void method(Map map) {
        System.out.println("子类Map入参方法被执行");
    }
}

/**
 * 当子类的方法实现父类的方法时（重载，重写或实现抽象方法），方法的后置条件（即返回值）要比父类的更严格或相等
 */
abstract class Base1 {
    public abstract Map method();
}

class Child1 extends Base1 {

    @Override
    public HashMap method() {
        HashMap hashMap = new HashMap();
        System.out.println("子类method被执行");
        hashMap.put("message", "子类method被执行");
        return hashMap;
    }
}