Java 最具体的方法子类型化规则

Question

在 Java 语言规范的 §15.12.2.5 中，他们描述了 Java 如何从 可访问 和 适用 方法列表中选择最具体的方法来调用。

有一个具体的说法我不明白，即：

(1) 对于任何表达式，类型 S 比类型 T 更具体 如果 S <: t>

真正困扰我的部分是“任何表达”。

举个例子，我将引用上一段，当给定两个方法 m₁ 和 m₂ 我们可以说 m_{1对于带有参数表达式 e1, ..., ek 比 m2 更具体 /sub> 如果：}

m₂ 不是泛型的，m₁ 和 m₂ 可以通过严格或宽松来适用 调用，其中 m₁ 具有形式参数类型 S₁、...、S_n 和 m₂ 有形参类型 T₁, ..., T_n，类型 S_i 更具体 比 T_i 为参数 e_i 为所有 i (1 ≤ i ≤ n, n = k)。

所以如果类型 S_i (m₁) 比 T_i (m₂ ) 对于所有 i，参数表达式为 e_i，则 m₁ 比 m₂

更具体 >

现在考虑一下：

int a(Number a) { return 1; } // m1
int a(Double a) { return 2; } // m2

由于Double <: Number，因此对于任何表达式Double 都比Number 更具体（来自引用1）。

我们有：

m₁ : S₁ => 数字

m₂ : T₁ => 双倍

但是如果我们的参数参数表达式 e₁ 的类型是 Number m₂ 是最具体的方法，因为 Double 是最具体的 任何表达式（引用 1）。

但是，如果我们将Number 传递给a()，则结果是1，即。没有选择采用Double 的方法。但是引用1说如果Double是Number的子类型对于任何表达式Double会更具体，那么它怎么会选择a(Number)？

我在这里错过了什么？

注意： 我知道Number 不能分配给Double，编译器选择另一个是没有意义的，我只是想看看我从第一个引用中误解了什么。

Answer 1

事实证明，我的误解不是引用的一部分，而是关于 applicable 函数在 loose 或 strict 调用下的含义.

更具体地说，严格/松散调用上下文允许一组转换

• 身份转换，即。 Number 到 Number
• 扩大的原始转换即。 byte to short,int,long,float or double
• 扩大参考转换即。 Double 到 Number
• 拳击转换即。 int to Integer 可选地后跟扩大的参考转换
• 拆箱转换，即。 Integer to int 可选地后跟一个扩大的基元转换

在我的示例中，我忽略了以下事实：扩大引用转换不能应用于 Number，因为 Number 不是 Double 的子类型，因此 int a(Double a) 不被视为适用方法。