Java原始拓宽访谈

Question

你能解释一下为什么结果是"int"吗？如果变量是一个字节,我希望它是"长"的.

public class Test{
      public static void printValue(int i, int j, int k){
            System.out.println("int");
      }

      public static void printValue(byte...b){
            System.out.println("long");
      }

      public static void main(String... args){
            byte b = 9;
            printValue(b,b,b);
      }
}

Answer 1

Java编译器必须在两种匹配方法之间进行选择.它总会选择一种不使用变量arity(varargs)的方法而不是使用它的方法.它宁愿促使所有3个参数int匹配第一个而printValue不是使用varargs.

JLS第15.12.2节规定:

该过程的其余部分分为三个阶段,以确保与Java SE 5.0之前的Java编程语言版本兼容.阶段是:

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

这保证了在Java SE 5.0之前在Java编程语言中有效的任何调用都不会因为引入变量arity方法,隐式装箱和/或取消装箱而被认为是不明确的.但是,变量arity方法(第8.4.1节)的声明可以更改为给定方法方法调用表达式选择的方法,因为变量arity方法在第一阶段被视为固定arity方法.例如,在已声明m(Object)的类中声明m(Object ...)会导致不再为某些调用表达式(例如m(null))选择m(Object),因为m(Object [] )更具体.

2. 第二阶段(§15.12.2.3)执行重载解析,同时允许装箱和拆箱,但仍然排除使用变量arity方法调用.如果在此阶段没有找到适用的方法,则处理继续到第三阶段.

这确保了如果通过固定的arity方法调用适用,则永远不会通过变量arity方法调用来选择方法.

3. 第三阶段(§15.12.2.4)允许重载与变量arity方法,装箱和拆箱相结合.

(大胆强调我的)

在第一阶段找到匹配方法(第一个重载),因此编译器甚至不考虑第三个阶段 - 允许变量arity方法 - 因此int打印.

选择第二个重载(反直觉打印long)的一种方法是显式创建一个数组,以便第一个重载不匹配.

printValue(new byte[]{b,b,b});