里氏代换原则

        里氏代换原则讲的是基类和子类的关系。只有这种关系存在是里氏代换原则才存在，否则不存在。如果两个类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，因此里氏代换原则不可能被破坏。