首页 / 软件开发 / C++ / 面向对象语言概论（四）

面向对象语言概论（四）2011-04-14四，彻底划清界限（继续分离Subclassing和Subtyping）

在第二节我们讨论了部分分离Subclassing和subtyping的方法，即subclassing-implies-subtyping. 现今的许多面向对象语言，如Java, C#都是采用了这种技术。除此之外，还有一种进一步分离Subclassing和subtyping的方法。这种被称作inheritance-is-not-subtyping的方法通过完全割裂subclassing和subtyping之间的联系而在更大程度上方便了代码的重用。

它的产生很大程度上是由于人们想要使用在反协变位置上的Self类型 （如Self类型的参数）。当然，增大继承的能力的代价是subsumption的灵活性降低了。当Self类型出现在反协变的位置上时，subclass不再意味着subtype, 因此，subsumption也就不存在了。

下面请考虑这样两个类型：

ObjectType Max is

var n: Integer;

method max（other:Max）: Max;

end;

ObjectType MinMax is

var n: Integer;

method max（other:MinMax）: MinMax;

method min（other:MinMax）: MinMax;

end;

再考虑两个类：

class MaxClass is

var n:Integer :=0;

method max（other: Self）: Self is

if self.n > other.n then return self else return other end;

end;

end;

subclass MinMaxClass of MaxClass is

method min（other: Self）: Self is

if self.n < other.n then return self else return other end;

end;

end;