任何基类可以出现的地方,子类一定可以出现。里氏替换原则是继承复用的基石
,只有当衍生类可以替换基类,软件单位的功能不受到影响时,基类才能真正被复用,
而衍生类也能够在基类的基础上增加新的行为。
里氏代换原则是对“开-闭”原则的补充。实现“开闭”原则的关键步骤就是抽象化。
而基类与子类的继承关系就是抽象化的具体实现,所以里氏代换原则是对实现抽象化的具体步骤的规范。
里氏替换原则中,子类对父类的方法尽量不要重写和重载。
因为父类代表了定义好的结构,通过这个规范的接口与外界交互,子类不应该随便破坏它。
子类必须实现父类的抽象方法,但不得重写(覆盖)父类的非抽象(已实现)方法
1:子类可以实现父类的抽象方法,但是不能覆盖父类的非抽象方法。
2:子类中可以增加自己特有的方法。
3:当子类覆盖或实现父类的方法时,方法的前置条件(即方法的形参)要比父类方法的输入参数更宽松。
4:当子类的方法实现父类的抽象方法时,方法的后置条件(即方法的返回值)要比父类更严格。
正方形不是长方形的例子
原本的
public class Rectangle {
double length;
double height;
public double getLength() {
return length;
}
public void setLength(double length) {
this.length = length;
}
public double getHeight() {
return height;
}
public void setHeight(double height) {
this.height = height;
}
public double getArea()
{
return length*height;
}
}
//正方形
public class Square extends Rectangle{
public void setHeight(double height) {
this.height = height;
this.length=height;
}
public void setLength(double length) {
this.length = length;
this.height = length;
}
}
public class Area {
public static void main(String[] args) {
Rectangle Squre=new Square();
Squre.setHeight(4);
Squre.setLength(2);
double area = Squre.getArea();
System.out.println(area);
}
}
输出4
当用父类Rectangle 替换Area中定义的子类Squre时,返回的是8,不符合lsp替换原则。个人认为违反的第四条
当子类的方法实现父类的抽象方法时,方法的后置条件(即方法的返回值)要比父类更严格。
改变了width和height,比父类Rectangle 改变单一的值要宽松
修改:定义Rectangle 是就限定其属性值长和宽
public class Rectangle {
double length;
double height;
public Rectangle(double length, double height) {
this.length = length;
this.height = height;
}
public double getArea()
{
return length*height;
}
}
//正方形
public class Square extends Rectangle{
public Square(double side) {
super(side, side);
// TODO Auto-generated constructor stub.
}
}
public class Area {
public static void main(String[] args) {
Rectangle Squre=new Square(2);
double area = Squre.getArea();
System.out.println(area);
}
}
当Area 实例化的时候,用new Rectangle 代替Area中的squre,返回的值都是4