在集合论中，如果集合包含原始集合中的所有内容，甚至可能更多，它就是超集。然而，一个子集并不包含初始集合的所有内容。
考虑到这一点，在大多数面向对象的编程语言中（我认为是 Objective-C，但我知道 Java 和其他语言也是如此），父类称为 super 类，并且任何类从 super 继承的称为 subclass。
这不是倒退吗？子类从其超类继承所有实例变量和方法，因此它“包含”来自父类的所有内容，以及添加到子类中的所有内容。这只是命名错误还是故意的，如果是，为什么？
【问题讨论】：
标签： language-agnostic oop programming-languages
超类定义了一个具有更大组可能值作为成员的类。子类限制了可以成为其类一部分的项目，因此它定义了一个较小的可能的成员集。
超类的可能成员集是该超类的子类的可能成员集的超集。
【讨论】：
Shape 值的集合包含一些是圆形的值和一些是正方形的值，但Circle 和Square 可能是具有比一般Shape 更小的可能成员集合的类。 （请记住，我使用术语“成员”作为“值集的成员”而不是编程术语“类成员”。）
SubClass extends SuperClass.
格雷格是正确的。有两件事需要考虑，这可能会更清楚：
就集合论而言，属性和方法与子/超关系无关：
分类示例：
所以在 OOP 术语中，People 将是一个超类，而 Programmer 将是一个子类。每个程序员都是一个人，但不是每个人都是程序员。因此超类和子类。 Programmer 类可能具有超越凡人的超能力这一事实并不会改变类关系 (is-a) 语义。
【讨论】：
格雷格的回答是正确的。下面举例说明：
你有一个基类 Base。您有两个派生类 DerivedA 和 DerivedB。 DerivedA 的每个实例也是 Base 的一个实例。同样，每个 DerivedB 也是一个 Base。但是，DerivedA 不是 DerivedB，反之亦然。所以，如果你要画出所有可能物体的宇宙维恩图，你会得到：
________________________
/ \
/ Base \
/ ______ ______ \
| / \ / \ |
| / \ / \ |
| | DerivedA | | DerivedB | |
| \ / \ / |
| \______/ \______/ |
\ /
\ /
\________________________/
换句话说，DerivedA 对象集中的每个对象也在 Base 对象集中。 DerivedB 也是如此。所以 Base 确实是 DerivedA 和 DerivedB 的超集。因此，它是“超类”。
【讨论】：
可能出于相同的原因，堆栈向下生长（底部在顶部），树向下生长（根在顶部）并且 2D 图形系统几乎总是第四象限（左上角的 0,0）。
【讨论】：
我回避了整个超/子类问题，将它们称为“派生”和“父”类。
【讨论】：
子类拥有其父类的所有 [成员] [以及更多]。这不是倒退吗？
这个问题出现在所有编程语言中，它总是让我头疼。 （尤其是子类型。）
规则如下：
当您考虑对象时，子类/子类/子类型有更多方法和成员。它可以在更多的上下文中使用。这似乎违反直觉。
当您考虑上下文、接口或参数时，角色是相反的。例如，期望超类型/父/超类参数的方法可以接受比期望子类型参数的方法更多的参数。
哪个在最上面完全取决于您是否认为对象是主要的，或者您是否认为期望对象的上下文是主要的。我研究这门学科将近 15 年，但我的直觉仍然出卖了我。
如果一个类声明被认为是一个规范，那么更多个对象满足超类规范，满足子类规范通过更少的对象。我相信这就是命名的原因。 （如果你谈论子类型和超类型会更清楚一点——一个子类型包含的值比它的超类型少，因为子类型的每个值也是超类型的一个值，而超类型可能包含额外的值，这些值是不是子类型的成员。）
我有没有提到整个话题让我头疼？
【讨论】：
是的，但是如果您将图表视为地形图，则子类的海拔高度高于超类。因此混乱。
另一种看待这一点的方式是，超类类似于数字中的前导数字（为了使这成为编程语言友好的类比，我们将说是浮点数）。随着数字获得更多数字，每个新数字“继承”它之前的所有数字。类似地，随着子类获得更多方法，它会继承超类列表，按照它们被命名的顺序，在它之前。
希望这会有所帮助。
【讨论】：