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

Question

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

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

（1）如果S <：T，则对于任何表达式，类型S都比类型T 更具体。

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

为了给为什么，我会引用前一段给定的时两种方法m1 _和 m2 _2，我们可以说M ₁比米₂ 更具体与参数表达式E _1，...，E调用，说一个例子_k，如果：

m ₂不是通用的，并且m ₁和m ₂可通过严格调用或宽松调用来应用，并且其中m ₁具有形式参数类型S ₁ ，...，S _n和m ₂具有形式参数类型T ₁ ，... ，T _n ，对于所有i（1≤i≤n，n = k），自变量e _i的类型S _i比T _i更具体。

因此，如果对于所有i，类型S _i （m ₁ ）比带有参数表达式e _i的 T _i （m ₂ ） 更特定 ，则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 _2，则这是最具体的方法，因为Double对于任何表达式（报价1）都是最具体的。

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

我在这里想念什么？

注意：我知道Number是不可分配给Double ，对于编译器选择另一个而言，这是没有意义的，我只是想看看我在第一个引号中误解了什么。

Answer 1

事实证明，我的误解不是作为报价的一部分，而是关于在松散或严格调用下适用的功能是什么。

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

在我的示例中，我忽略了这样一个事实，即扩展引用转换无法应用于Number因为Number不是Double的子类型，因此int a(Double a)不被认为是适用的方法。