Java通过泛型包装器调用时不选择最特定的方法吗？

Question

根据这一https://docs.oracle.com/javase/specs/jls/se18/html/jls-15.html#jls-15.12.2.5，Java编译器将尝试选择最具体的方法来调用时，有多个适用的和可访问的，直觉是更具体的方法可以取代较不具体的，但不是相反。

所以我有点惊讶，当我们在通用包装器中包装模糊调用时，这不会起作用，如下所示：

public class Test{
        static <T> void direct(T t) { System.out.println("generic");}
        static void direct(int t) { System.out.println("specific-int");}

        static <T> void indirect(T t) { direct(t);}
        
        public static void main ( String [] args ) {
            direct(1);    // print specific-int
            indirect(1);  // print generic
        }
     }

所以我们可以看到，只要调用direct就可以让它按预期工作。但是当调用间接时，会调用不太具体的方法。

如果我改变直接方法的类型，行为就会改变

    static void direct(short t) { System.out.println("specific-short");}

在这种情况下，两行都打印generic（两种情况下都不调用short方法），这告诉我，literal1在第一个实例中被隐式转换为int。如果是这样，为什么不使用更具体的方法调用它，将int作为参数？

Answer 1

为什么不使用更具体的方法调用它，将int作为参数？

Java编译器决定在编译时调用哪个方法。也就是说，对于indirect方法，它选择一个重载direct，该重载可以安全地用于indirect的所有调用。

唯一的重载是Direct（T）方法：它接受任何Object参数，就像间接（T）一样。它不能调用Direct（int），因为并非所有Object都是intgers。

间接在使用int参数调用时没有任何不同。

Answer 2

2个不相关的原因，这两个原因都导致了通用版本：

类型参数必须是对象的子类型（目前，Project Valhalla是一个正在进行的java更新，可能会有所改变）。

因此，您的间接方法中的直接（t）调用不可能将直接（int）作为最特定的版本，因为间接方法中的参数不可能是int。

具体来说，当您调用indirect（1）时，1是一个int，它不是indirect的有效值（asindirect的参数类型为t；t是一个具有下限java.lang.Object的类型参数，1不是Object的有效值）。

然而，java也有“装箱”的概念，即原语将自动转换为装箱类型，但前提是代码不会以其他方式编译。您可以在javap中看到这一点——您会注意到编译器将1替换为整数。valueOf（1）使其工作。

选择的方法在编译时被锁定。请注意，重写（子类型实现完全相同的方法，即，如果该方法用@Override注释，编译器将接受它）完全是运行时的事情，java总是从子类型中选择实现，但静态不“执行”子类型，因此在这里不相关。

你拥有的两种direct方法不一样；在JVM级别，它们有完全不同的名称，所以这只是关于javac选择了2个direct方法中的哪一个，因此编译时间是这里唯一重要的时间。

让我明确一点：2direct方法没有相同的名称，因此在运行时，JVM没有根据类型选择其中一种方法的自由。出于同样的原因，它不能将对foo（）的调用替换为对bar（）的调用，而不是相同的名称。

间接法不知道T是什么。因此，它不可能调用direct（int），即使装箱的事情不是这样查找要选择的两个direct方法中的哪一个不是在运行时完成的。

鉴于：

public class Parent {
  void foo(int i) { System.out.println("Parent-int"); }
  void foo(Integer i) { System.out.println("Parent-Integer"); }
}

class Child extends Parent {
    void foo(int i) { System.out.println("Child-int"); }
}

...

Parent p = new Child();
p.foo(5); // prints Child-int
p.foo(Integer.valueOf(5)); // prints Parent-Integer

你在评论中写道：

“这告诉我，文本1在第一个实例中被隐式转换为int”

java中的整数字面值是int-java lang规范这样定义它们。您可以编写短x=5；，这仅仅是因为有一个特殊的豁免规则，声明您不需要强制转换，但是在语言方面，所有非十进制指向（和非0x0p形式）的数字AST节点都被视为int。如果需要long，它们将被隐式强制转换。

你可以让javac在末尾加一个大写字母L，让它把事情处理得一样长。鉴于：

void foo(byte i) {System.out.println("byte");
void foo(short i) {System.out.println("short");
void foo(int i) {System.out.println("int");
void foo(long i) {System.out.println("long");

foo(5); // prints 'int'
foo(5L); // prints 'long'

尽管“5”适合“byte”，但它是一个int，因此选择了int变量。