在原语或原始包装类中使用带有文字结果的var吗？

Question

在阅读并讨论Java 10s新保留类型名称var (JEP 286:局部变量类型推断)之后,讨论中出现了一个问题.

与文字一起使用时,如:

var number = 42;

是number现在的int还是一个Integer？如果您只是将它与比较运算符一起使用或作为参数使用它通常无关紧要,这要归功于自动装箱和开箱.但由于Integer成员职能,它可能很重要.

那么哪个类型是由原var语int或类创建的Integer？

Answer 1

var要求编译器根据初始化程序的类型和42is 的自然类型推断变量的类型int.所以number将是一个int.这就是JLS示例所说的:

var a = 1;  // a has type 'int' 

如果它以任何其他方式工作,我会感到惊讶,当我写这样的东西时,我绝对期待一个原始的.

如果你需要一个var盒装原语,你可以这样做:

var x = (Integer) 10;  // x is now an Integer

Answer 2

根据14.4.1 局部变量声明符和类型中提出的规范更改:

如果LocalVariableType是var,那么让T作为初始化表达式的类型,当它被视为没有出现在赋值上下文中时,因此是一个独立的表达式(15.2).局部变量的类型是T相对于T(4.10.5)提到的所有合成类型变量的向上投影.

换句话说,局部变量的推断类型是初始化表达式在用作独立表达式时将具有的类型.42作为一个独立的表达式有类型int,ergo,变量number是类型int.

向上投影是规范更改中定义的术语,不适用于此类简单情况.

Answer 3

我们来试试吧.使用jshell:

jshell> Integer boxed1 = 42000;
boxed1 ==> 42000

jshell> Integer boxed2 = 42000;
boxed2 ==> 42000

jshell> System.out.println(boxed1 == boxed2);
false

jshell> var infered1 = 42000;
infered1 ==> 42000

jshell> var infered2 = 42000;
infered2 ==> 42000

jshell> System.out.println(infered1 == infered2);
true

在第一次比较中,两个变量不一样; 他们是不同的例子.然而,第二个比较是正确的,因此必须在这里引入一个int.

注意:要在家中尝试,请使用<-128,128之外的值.缓存该范围内的整数实例.