subtype，supertype 与 subclass，superclass 的异同

文章目录

1. 相同点
2. 不同点 1 ：翻译上的区别
3. 不同点 2：适用范围的区别
4. 附：实现子类型的方式
5. 参考

1. 相同点

subtype 和 subclass 都表示类型层次结构（type hierarchy）关系中的「子类」
supertype 和 superclass 都表示类型层次结构（type hierarchy）关系中的「父类」（「超类」）

这里没有使用「类继承关系」，是因为实现子类型的方式，可以不采用「继承」这种方式。

2. 不同点 1 ：翻译上的区别

subtype 翻译为「子类型」
subclass 翻译为「子类」

supertype 翻译为「父类型」或者「超类型」
superclass 翻译为「父类」或者「超类」

type 译为「类型」，class 译为「类」

3. 不同点 2：适用范围的区别

subtype 和 supertype ，是 语义范围 的概念。

subclass 和 superclass 是 编程语言的语言概念 ，可以使用 subclass 和 superclass 实现 subtype （supertype），也可以用其他的方式实现子类型。

在语义范围内，有子类型的概念，至于采用什么样的方式去实现子类型，是跟具体的编程语言有关的，有的编程语言采用子类和父类（继承）来实现子类型，有的编程语言不是采用继承的方式，而是其它方式。

4. 附：实现子类型的方式

Barbara Liskov 在《Data abstraction and hierarchy》论文（1987.10）中提到的 2 种实现子类型的方式（Section 3.2. Implementation Hierarchy）：

方式2： 一种是 继承（inheritance） ；

方式1： 另一种是 使用抽象类型作为另一种类型的代表（Another way of doing the same thing is to use one (abstract) type as the rep of another.）

更详细的内容，请见「参考」中的论文。

5. 参考

Barbara Liskov 《Data abstraction and hierarchy》论文（1987.10）

在《Data abstraction and hierarchy》的 Page 9 「3.3 Type Hierarchy」一节第二段）

We are using the words “subtype” and “supertype” here to emphasize that now we are talking about a semantic distinction. By contrast, “subclass” and “superclass” are simply linguistic concepts in programming languages that allow programs to be built in a particular way. They can be used to implement subtypes, but also, as mentioned above, in other ways.

翻译：我们在这里使用 “子类型” 和 “超类型” 这两个词来强调，现在我们正在谈论语义上的区别。相比之下，“子类”和“超类”只是编程语言中的语言概念，允许以特定的方式构建程序。它们可用于实现子类型，但如上所述，还可以以其他方式实现子类型。