子类型(Subtyping) | 编程语言理论完全笔记 - 微扰理论
不同的面向对象语言中有着不同的特征，但其中有一个特征几乎普遍存在，即子类型(Subtyping)。子类型直观地刻画了类型之间的包含关系，所谓类型可以被视为值的集合。
子类型 - 维基百科，自由的百科全书
在强制子类型化系统（coercive subtyping system），子类型通过从子类型到超类型的隐式类型转换函数得以定义。 对于每个子类型关系 ( S <: T )，一个强制关系 coerce : S → T ，使得任何对象 s 为类型 S ，可以视作对象 coerce S → T ( s )具有类型 T 。
子类型 - 百度百科
在强制子类型化系统（coercive subtyping system），子类型通过从子类型到超类型的隐式 类型转换 函数得以定义。 对于每个子类型关系 ( S <: T )，一个强制关系 coerce : S → T ，使得任何对象 s 为类型 S ，可以视作对象 coerce S → T ( s )具有类型 T 。
子類型 - 維基百科，自由的百科全書
在強制子類型化系統（coercive subtyping system），子類型通過從子類型到超類型的隱式類型轉換函式得以定義。 對於每個子類型關係 ( S <: T )，一個強制關係 coerce : S → T ，使得任何對象 s 為類型 S ，可以視作對象 coerce S → T ( s )具有類型 T 。
泛型的子类型化 - CSDN博客
2024年5月27日 · 在Java中，泛型的子类型化（Subtyping of Generics）与非泛型类型的子类型化有显著的不同。 Java泛型类型的子类型化规则并不完全遵循普通的类型继承规则。
子类型化和型变 - 《Rust 死灵书简体中文翻译》 - 极客文档
类型构造器 F 的型变是指其输入的子类型如何影响其输出的子类型。在 Rust 中，有三种型变，假设给定两个类型Sub和Super，其中Sub是Super的一个子类型： 如果F<Sub>是F<Super>的一个子类型，则F是协变的（子类型关系”传递”）
Programming Languages PartC Week3学习笔记——子类型（Subtyping…
2022年9月14日 · 对于函数本身，如果具有subtyping的特性. 例子： 新的规则，如果函数返回值是子类型，函数是子类型. 但如果函数参数是子类型，函数本身不应该是子类型，否则不稳定。这里值得注意的是，因为子类型会比超类型多出来一些field，所以才会导致函数子类型不稳定。
子类型和型变 - Rust 参考手册 中文版
2021年3月2日 · Rust 中的子类型化的适用范围非常有限，仅出现在和生存期(lifetimes)的型变(variance)相关的地方，以及那些和高阶生存期相关的类型型变之间。 如果我们擦除了类型的生存期，那么唯一的子类型化就只是类型相等(type equality)了。
通配符和子类型化（Java™教程 > 学习Java语言 > 泛型（更新））
如泛型、继承和子类型所述，泛型类或接口之间的关系并不仅仅因为它们的类型之间存在关系。然而，你可以使用通配符来创建泛型类或接口之间的关系。
多态都不知道，谈什么对象 - 知乎 - 知乎专栏
Subtyping（子类型多态） 子类型多态 有时也被称之为 包含多态 （inclusion polymorphism），它表达的是一种替代关系。 以下面的 Java 代码为例， Car 分别有 SmallCar、BigCar 两个子类
- 某些结果已被删除