如果'A'是'B'的子类型，则意味着'A'继承'B'的所有字段和方法，除此之外'A'还有自己的方法和字段。所以'A'应该被认为是'B'的超集？子类型的子集解释如何有效？不应该反过来吗？
但是，如果有两个类'汽车'和'车辆'，那么'汽车'的集合是'车辆'的一部分是有意义的。然而，“汽车”的领域和方法是“车辆”的超集。所以我对此感到有点困惑。
答案 0 :(得分：0)
曾经有一些争议应该是关系中的“子”。这是C ++使用术语“基类”和“派生类”而不是“超类”和“子类”的主要原因之一。 Stroustrup想要避开整个问题。
但是为了反映@usr在评论中所说的话，术语战已经解决了多年，人们普遍认为“实例子集”表示“子类”。