floodpeak.aesthetic

里氏代换原则(LSP)
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();
   }

}


 

Tag: 名词 专业 设计模式 学习

Comment: (no reply)
To post your comment, Please login first.