类型提升和方法重载（多个选项）

Question

当由于类型提升而存在多个可接受的方法时，决定将执行哪种方法的因素是什么？

这是示例代码

public class Demo {
  public static void main(String[] args) {
    byte a = 100;
    long b = 10000;
    test(a, b);
  }

  public static void test(long a, double b) {
    System.out.println("Method 2");
  }

  public static void test(int a, float b) {
    System.out.println("Method 1");
  }
}

输出是：方法1如所写，但方法2如果我注释掉test（int a， flow b）

为什么？它是否尝试做最少的类型推广？它是否试图提升论点1，然后提升论点2？它是基于某种类型的优先级吗？

我见过这个问题：方法重载和基元类型是如何工作的？，其中包括以下声明：

我要求在所有可能的方法中如何选择要执行的最终方法背后的更多细节。我知道会发生类型提升，但如果类型提升后有多个选项，编译器如何确定最终方法？换句话说，从上面的语句中，什么更具体？

Answer 1

虽然您链接的问题和答案在某种程度上已经涵盖了这一点，但我们可以看看这里更具体的案例（双关语）。特别是，相关的“决策路径”指的是15.12.2.5（有些复杂）的描述。在JLS中选择最具体的方法。

该节首先说：

非正式的直觉是，如果第一个方法处理的任何调用都可以传递给另一个方法，而不会出现编译时错误，那么一个方法比另一个方法更具体。

这已经非常有用了，因为您可以看到传递给测试（int，float）方法的任何内容也可以传递给测试（long，double）方法。所以第一个更具体。

但参考规范：

一种适用方法m1比另一种适用方法m2更具体，用于参数表达式e1的调用。。。，ek，如果以下任何一项为真：

• m2不是泛型的，m1和m2通过严格或松散的调用适用，其中m1具有形式参数类型S₁，...，S_n和m2具有形式参数类型T₁，...，T_n，类型S_i比T_i更具体对于参数ei对于所有i（1≤i≤n，n=k）。

...

对于任何表达式，如果S

后者指的是4.10。子类型部分，其中父类型关系：

• 双

因此，方法测试（int，float）比测试（long，double）更具体，因为int是long的子类型，而float是double的子类型。

（注意，这里的“子类型”概念也适用于基本类型，而不仅仅适用于“类之间的继承”）