Java重载-长和浮点

Question

我试图理解java重载规则。除了遵循之外，一切似乎都很好，

public static void main(String[] args) {
    long aLong = 123L;        
    foo(aLong);
}

private static void foo(double aDouble) {
    System.out.println("Foo aDouble");
}

private static void foo(Long aWrapperLong) {
    System.out.println("Foo Wrapper Long");
}

private static void foo(int anInt) {
    System.out.println("Foo Int");
}

private static void foo(float aFloat) {
    System.out.println("Foo Float");
}

为什么调用解析为foo（浮动）。我从JLS了解到以下内容，

此步骤使用方法的名称和参数表达式的类型来定位可访问和适用的方法。可能有多个这样的方法，在这种情况下，选择最具体的方法。

我有意在这里使用Wrapper Long，而不是primitive Long。大小为64位的原语long不会以foo（double）结束，而是以32位floatfoo（float-aFloat）结束。

问题是为什么Java隐式（不带强制转换）将“long”转换为“float”？进一步澄清了这个问题的答案。

Answer 1

转换具有优先规则。它将选择加宽而不是拳击。

因此，在这种情况下，编译器搜索可以接受比长基元数据类型更大（最接近可能更大）的参数作为参数的方法，即浮点。

如果您从发布的示例中删除方法foo（双aDouble）和foo（浮动aFloat），那么编译器将执行装箱并选择foo（Long aWrapperLong）

Answer 2

引用JLS：

确定适用性的过程始于确定潜在适用的方法（§15.12.2.1）。

该过程的其余部分分为三个阶段，以确保与JavaSE 5.0之前的Java编程语言版本的兼容性。这些阶段是：

1. 第一阶段（§15.12.2.2）执行重载解析，不允许装箱或拆箱转换，也不允许使用变量arity方法调用。如果在此阶段没有找到适用的方法，则处理继续到第二阶段

这保证了在Java SE 5.0之前的Java编程语言中有效的任何调用不会因为引入变量arity方法、隐式装箱和/或取消装箱而被视为不明确。然而，变量arity方法（§8.4.1）的声明可能会更改为给定方法方法调用表达式选择的方法，因为变量arity方法在第一阶段被视为固定arity方法。例如，声明m（对象…）在已经声明了m（Object）的类中，由于m（Object[]）更具体，因此不再为某些调用表达式（例如m（null））选择m（Object）。

编辑：关于选择浮点而不是双精度：

如果一个方法调用可以访问并适用于多个成员方法，则需要选择一个成员方法来为运行时方法调度提供描述符。Java编程语言使用的规则是选择最具体的方法。

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

过载解决的第一阶段将选择这四种方法中的两种

private static void foo(double aDouble) 
private static void foo(float aFloat) 

因为第一阶段不允许装箱/拆箱（Long）并且您不能在没有显式转换的情况下将long传递给具有int参数的方法。将选择最具体的方法。在这种情况下，浮动方法将被解释为比双最具体。

Answer 3

这是因为JLS#15中的“最具体”规则，该规则依次指JLS#4.10，该规则依次指#4.10.1，其中规定：

以下规则定义了基元类型之间的直接超类型关系：

>

双

浮动

长

int

int

短

哪里”S

因此，在这种情况下，在long上没有直接匹配的情况下，在查看自动装箱之前，编译器会根据上述规则选择最近的可用超类型，即浮动。