为什么类型提升优先于重载方法的varargs
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); } }
上面代码的输出是“int”。 但它应该是“长”的,因为字节类型参数函数已经存在。 但是这里的程序正在将字节值提升为int,但情况并非如此。
有人可以澄清这里发生了什么吗?
在重载方法的情况下,变量参数方法将始终是编译器选择的最后一个方法。 将byte
提升为int
(扩展转换)将优先于采用var-arg参数的方法。
这背后的原因是语言需要向后兼容。 较旧的function将优先于较新的function。 理解JLS关于变量参数的说法的一种简单方法是扩大将击败拳击和拳击将击败var-args。
JLS 15.12.2是这里要看的规范的相关部分。 特别是 – 强调我的:
该过程的其余部分分为三个阶段,以确保与Java SE 5.0之前的Java编程语言版本兼容。 阶段是:
第一阶段(§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[])
更具体。第二阶段(第15.12.2.3节)执行重载解析,同时允许装箱和拆箱,但仍然排除使用变量arity方法调用。 如果在此阶段没有找到适用的方法,则处理继续到第三阶段。
这确保了如果通过固定的arity方法调用适用,则永远不会通过变量arity方法调用来选择方法。
第三阶段(§15.12.2.4)允许重载与变量arity方法,装箱和拆箱相结合。
在您的情况下,第一阶段找到匹配而不使用变量arity方法调用或装箱,因此这就是结果。 如规范中所述,这基本上是为了向后兼容。
- 对java属性文件位置感到困惑
- Maven通过systemPath / system添加jar,但不添加到war或其他任何地方
- 在maven / java项目中创建资源
- 使用MockMultipartHttpServletRequest进行unit testing(在ItemInputStream.makeAvailable中抛出NullPointerException)
- Java BlockingQueue take()vs poll()
- 在JSP中获取当前文件名
- 如何制作AWT Button()并使用ImageIcon(),Icon()?
- 是否有图像的java库?
- 类不是抽象的,并且不会覆盖Java中的错误