阐述：子类型（subtype）必须能够替换掉它们的基类型（basetype）
先提出一个问题：正方形是不是一种特殊的长方形（IS - A关系）？
先不要回答这个问题，看下面的分析。
理解：LSP原则的一个例子，假如有个people的基类，两个字类man类和woman类，都继承于people类。那么针对people类的任何操作，比如fun吃饭、fun睡觉、fun走路，对于man类和woman类都成立。这个很好理解，不管是man还是woman，归根结底，还都是一个people。
（一）正常思维
如下例子：
class CShape
{
public:
CShape(void);
~CShape(void);
public:
virtual void Draw();
};
class CCircle:public CShape
{
public:
CCircle(void);
~CCircle(void);
public:
virtual void Draw();
};
class CSquare:public CShape
{
public:
CSquare(void);
~CSquare(void);
public:
virtual void Draw();
};
在使用CShape对象的任何地方，都可以使用CCircle对象或者CSquare对象。
（二）、特殊情况呢？
回到最初的问题，正方形是不是矩形的问题。
如下类：
class CRectangle
{
public:
CRectangle(void);
~CRectangle(void);
protected:
int width;
int height;
};
class CSquare:public CRectangel
{
public:
CSquare(void);
~CSquare(void);
};
假如有个函数
void g(CRectangle * r)
{
r.width = 4;
r.height = 5;
if( r.Area() != 20)
break;
}
请问，对于函数g来说，能用一个CSquare对象，代替CRectangle对象吗？很明显，不能！
很明显，违反了LSP原则。
那么，正方形到底是不似乎矩形呢？也就是说CSquare和CRectangle之间，是否存在(IS - A)关系呢？
解释：
1、从属性方面讲，正方形是矩形，是一种特殊矩形，即width = height；
2、从行为方式将，正方形可能不是矩形。
比如，对于函数g来说，描述了矩形的一种行为方式，很明显，正方形不符合这种行为方式。
OOD中的IS-A关系，是就行为方式而言的，行为方式是可以进行合理假设的。而行为方式，才是我们进行面向对象软件设计真正所关注的问题。
因此，可以讲，正方形不是一个矩形。
（三）、怎么处理此类问题呢？
1、基于契约进行设计。
每个类设计时，都会有一些假设，每个方法，都有前置条件，后置条件，这些条件都是契约。对这些方法，要注明契约。
要想从基类派生子类，就必须满足这些契约。如果不满足这些契约，就不能继承出子类。（即使他们看起来很像，比如正方形与矩形）
2、但是我们又需要LSP原则，怎么办呢？
从CRectangle类和CSquare类，提取出公共部分，做为一个基类。比如CShape类。
CRectangle和CSquare都继承自CShape类。
具体一些例子，参考《敏捷软件开发》相关章节