像下面
private int length;
private int width;
public void setLength(int lenght) {
this.length = lenght;
}
public void setWidth(int width) {
this.width= width;
}
public int getArea() {
return this.length * this.width;
}
如果说正方形是长方形的子类。为了保证正方形长和宽相等,那对应于正方形的二设置长宽的个方法就得改成
public void setLength(int lenght) {
this.length = lenght;
this.width= lenght;
}
public void setWidth(int width) {
this.length = width;
this.width= width;
}
那我们想想用户使用时候的情景。 我们都知道长方形的面积等于长与宽的积。那当我们用长方形的时候我们会这样用
Rectangle rectangle = new Rectangle();
rectangle.setLength(5);
rectangle.setWidth(4);
我们想知道面积是多少我们就可以
rectangle.getArea();
得到的是20，当然结果是非常正确的。
但想想如果我们把一个正方形的实例给用户用的时候会怎么样
Rectangle rectangle = new Square(); //注意，这里体显代换原则。用户根本不知道真正的实例是正方形，用户只知道长方形的事情。
rectangle.setLength(5);
rectangle.setWidth(4);
我们想知道面积是多少我们就可以
rectangle.getArea();
得到的结果却是 16 ，这违背了长方形的面积是长与宽之积的原则。用户就不会明白为什么我设置了长是5宽是4得到的答案却是16 ？？ 与前提不符
所以正方形不能代替长方形出现在这个地方。
也就是说正方形不应当看作是长方形的子类。
正方形长方形的问题的关键在哪里？我觉得就在于改动长方形的边的长度。我们可以这么考虑一下，一个长方形的instance的边长应该是可变的吗？我觉得一旦一个长方形的边长改变之后它就成了另一个长方形了（一个新的instance）。所以长方形类里面不应该有改变其边长的方法，一个长方形实例各个的边长应当在new它的时候确定下来，并且它们应当是immutable的。基于这种考虑，我设计的长方形和正方形的类如下所示：
//长方形
public class Rectangle {
private final int width;
private final int height;
public Rectangle(int width, int height) {
this.width = width;
this.height = height;
}
public int getWidth() {
return width;
}
public int getHeight() {
return height;
}
public int getArea() {
return width*height;
}
}
//正方形
public class Square extends Rectangle{
private final int side;
public Square(int side) {
super(side, side);
this.side = side;
}
public int getSide() {
return side;
}
}
这种继承关系就既符合现实中的父子关系也遵循LSP。之所以这么设计，我的想法是一个类所具有的方法不应当能够改变其本质。比如有一个Men类，它可以有eat(),sleep(),work(),makeLovewith(Person p)方法，但是如果你在里面定义denatureToWomen(),denatureToEunuch()就很不恰当了，因为这改变了其本质，导致这个Men的实例不再属于Men类（至少已经和现实不吻合）了。除非这两个方法不能改变该实例本质，否则在Men里面定义这两个方法本身就是有问题的。不过如果用下面这种方式定义也许可行：
public Women denatureToWomen() {
Women w = new Women();
//set attributes here
return w;
}
public Eunuch denatureToEunuch() {
Eunuch e = new Eunuch();
//set attributes here
return e;
}
这样一来，调用denatureToWomen()会产生一个新的实例，原来的那个Men实例依然存在，这和现实生活依然不吻合，现实生活中一个实例不光可以上型(upcast)，还可以平行型，寒。。。
总之一句话，一个类的方法不应该改变其实例的本质。
