Java规范-x-S-符号

Question

我正在阅读Java规范中的子类型和类型转换，我知道S <：T意味着S是T的一个子类型，但是，我不明白吗？例如，在这方面：

一个类型参数是类型变量或通配符，具有S的上限(如果有必要，来自捕获转换)；另一个类型参数T不是类型变量或通配符；并且既不是类型变量，也不包含\x

是T引用的类型吗？它指的是T级吗？

Answer 1

根据JLS，第4.6节中类型擦除的定义，表示法“收T”是指类型"T“的类型擦除。

类型擦除是从类型(可能包括参数化类型和类型变量)到类型(从来不是参数化类型或类型变量)的映射。对于类型T的擦除，我们编写了_~_

• 参数化类型(§4.5) G的擦除值是{x}。
• 嵌套类型T.C的擦除值是{##**$$}}。
• 数组类型T[]的擦除值是{##**$$}}。
• 类型变量(§4.4)的擦除是其最左界的擦除。
• 其他类型的擦除是类型本身。

所以，“区”是指S的擦除是T的擦除的一个子类型。