OO—现实与实现的分歧

最近在和朋友做一个小的系统，对系统进行设计时与朋友的理念有所冲突，于是乎就想起了一个老问题，那就是正方形与长方形的继承问题。

OO可以说是现实世界在计算机世界的一个映射，而对于正/长方形，实际上是对正/长方形数学定义在计算机的一个映射的问题。

首先我们来看看在现实中，长方形的定义：
有一个直角的平行四边形是长方形。

再来看看判定定理：
定理1：有三个角是直角的四边形是长方形。
定理2：对角线相等的平行四边形是长方形。

以上就是长方形在现实中的定义以及判定定理。以此来看，正方形完全符合以上定义以及判定定理，所以可以得出正方形就是长方形，是它的一种特例。

在阎宏博士所学的《java与模式》一书里的观点是反对正方形是长方形的子类的，同时他写了一个例子出来：
[code]
　　public void resize(Rectangle r){
while(r.getHeight()<r.getWidth()){
r.setWidth(r.getWidth()+1);
}
}
[/code]

这个例子是长方形的一个方法，用来不断增加长方形宽度，当宽度超过长度就停止增长，当传入对象是正方形的时候，这个方法就无用武之地（修改）。对于这一点，我的反驳很简单，是谁规定了长方形的边长必然是一个长一个宽呢？在现实的定义和判定定理中，并没有这一条吧。我记得在以前读书的时候，就有过一道判断题：长方形的长一定比宽的长度长。这道题目的答案就是错的。而在这里，阎宏博士通过一个自己定义实现的方法来扭曲现实中的定义，这一点已经明显违反了OO设计的根本，那就是客观的反映现实世界。

以上说了那么多，实际上我想说的是，在进行对象设计的时候，我们要把握好一点，那就是客观的反映现实的世界，当然要做到非常准确是很难，至少在现实对象有明确定义之时，我们不应该主观的加上自己的定义实现，让实现与现实产生分歧。