floodpeak.aesthetic |
Nov 5, 2007 4:36:21 PM
Liskov Substitution Principle(里氏代换原则):子类型(subtype)必须能够替换它们的基类型。
白马、黑马

反过来的代换不成立
《墨子·小取》说:"娣,美人也,爱娣,非爱美人也……"娣便是妹妹,哥哥喜爱妹妹,是因为两人是兄妹关系,而不是因为妹妹是个美人。因此,喜爱妹妹不等同于喜爱美人。用面向对象语言描述,美人是基类,妹妹是美人的子类。哥哥作为一个有"喜爱()"方法,接受妹妹作为参数。那么,这个"喜爱()"方法一般不能接受美人的实例。

一个违反LSP的简单例子(长方形和正方形)
public class Rectangle

{
private long width;
private long height;
public void setWidth(long width)
{
this.width = width;
}
public long getWidth()
{
return this.width;
}
public void setHeight(long height)
{
this.height = height;
}
public long getHeight()
{
return this.height;
}
}
public class Square

{
private long side;
public void setSide(long side)
{
this.side = side;
}
public long getSide()
{
return side;
}
}
正方形不可以做长方形的子类
using System;
public class Rectangle

{
private long width;
private long height;
public void setWidth(long width)
{
this.width = width;
}
public long getWidth()
{
return this.width;
}
public void setHeight(long height)
{
this.height = height;
}
public long getHeight()
{
return this.height;
}
}
public class Square : Rectangle

{
private long side;
public void setWidth(long width)
{
setSide(width);
}
public long getWidth()
{
return getSide();
}
public void setHeight(long height)
{
setSide(height);
}
public long getHeight()
{
return getSide();
}
public long getSide()
{
return side;
}
public void setSide(long side)
{
this.side = side;
}
}
public class SmartTest

{
public void resize(Rectangle r)
{
while (r.getHeight() >= r.getWidth() )
{
r.setWidth(r.getWidth() + 1);
}
}
}
在执行SmartTest的resize方法时,如果传入的是长方形对象,当高度大于宽度时,会自动增加宽度直到超出高度。但是如果传入的是正方形对象,则会陷入死循环。
代码重构
public interface Quadrangle

{
public long getWidth();
public long getHeight();
}
public class Rectangle : Quadrangle 

{
private long width;
private long height;
public void setWidth(long width)
{
this.width = width;
}
public long getWidth()
{
return this.width;
}
public void setHeight(long height)
{
this.height = height;
}
public long getHeight()
{
return this.height;
}
}
public class Square : Quadrangle 

{
private long side;
public void setSide(long side)
{
this.side = side;
}
public long getSide()
{
return side;
}
public long getWidth()
{
return getSide();
}
public long getHeight()
{
return getSide();
}
}
Comment:
(no reply)