里氏代换原则讲的是基类和子类的关系。只有这种关系存在是里氏代换原则才存在,否则不存在。如果两个类A、B违反了里氏代换原则时刻从以下两个重构方案中选择一种:
(1)创建一个新的抽象类C,作为两个具体类的超类,将A、B共同的行为移动到C中,从而解决二者行为是不一致的问题。
(2)将B到A的继承关系改为委派关系。
本文例子描述的是第一种重构方法,第二种参见合成/聚合复用原则一文。
正方形可不可以被当做长方形的子类?
package Liskov.version1;
public class Rectangle {
private long width;
private long height;
public long getWidth() {
return width;
}
public void setWidth(long width) {
this.width = width;
}
public long getHeight() {
return height;
}
public void setHeight(long height) {
this.height = height;
}
}
package Liskov.version1;
public class Square {
private long side;
public long getSide() {
return side;
}
public void setSide(long side) {
this.side = side;
}
}
因为此时的正方形类不是长方形类的子类, 因此不存在里氏代换关系。
那如果把正方形类定义为长方形类的子类呢,会有什么问题?
package Liskov.version2;
import Liskov.version1.Rectangle;
public class Square extends Rectangle{
private int side;
public int getSide() {
return side;
}
public void setSide(int side) {
this.side = side;
}
}
package Liskov.version2;
import Liskov.version1.Rectangle;
public class smartTest {
public void resize(Rectangle r){
while(r.getHeight() <= r.getWidth())
r.setWidth(r.getWidth()+1);
}
}
如果smartTest类传入的是Rectangle对象,resize()方法将不断增加,直至超过长度而听下来;如果传入的是Square对象时,正方形少的边会不断增加直至溢出。
代码重构,依据白马黑马都是马的观点
package Liskov.version3;
public interface Quardrangle {
public long getHeight();
public long getWeight();
}
package Liskov.version3;
public class Rectangle implements Quardrangle {
private long width;
private long height;
public long getWidth() {
return width;
}
public long getHeight() {
return height;
}
public void setWidth(long width) {
this.width = width;
}
public void setHeight(long height) {
this.height = height;
}
}
package Liskov.version3;
public class Square implements Quardrangle{
private long side;
public long getSide() {
return side;
}
public void setSide(long side) {
this.side = side;
}
@Override
public long getHeight() {
// TODO Auto-generated method stub
return side;
}
@Override
public long getWidth() {
// TODO Auto-generated method stub
return side;
}
}
那么破坏里氏代换原则的问题是怎么避免的呢?秘密在于基类Quadrangle没有赋值方法,因此类似于smartTest的resize()方法不可能适用于Quadrangle类型,只能适用于不同的具体子类Rectangle和Square,因此里氏代换原则不可能被破坏。