1. 概述
JDK 10中最明显的增强功能之一是使用初始化器对局部变量进行类型推断。
本教程通过示例提供了此功能的详细信息。
2. 简介
在Java 9之前,我们必须明确提及局部变量的类型,并确保它与用于初始化它的初始化值兼容:
String message = "Good bye,Java9";
在Java 10中,我们可以这样声明一个局部变量:
@Test
void whenVarInitWithString_thenGetStringTypeVar() {
var message = "Hello,Java10";
assertTrue(message instanceof String);
}
我们不提供message的数据类型。相反,我们将message标记为var,编译器根据右侧的初始值设定项类型推断message的类型。
在上面的例子中,message的类型将是String。
请注意,此功能仅适用于具有初始化值的局部变量。它不能用于成员变量、方法参数、返回类型等-初始值设定项是必需的,因为没有它编译器将无法推断类型。
这种增强有助于减少样板代码;例如:
Map<Integer, String> map = new HashMap<>();
现在可以将其重写为:
var idToNameMap = new HashMap<Integer, String>();
这也有助于我们将重点放在变量名上,而不是变量类型。
另一点需要注意的是var不是关键字,这确保了使用var作为函数或变量名的程序的向后兼容性。var是保留的类型名称,就像int一样。
最后,请注意,使用var没有运行时开销,也不会使Java成为动态类型语言。变量的类型仍然在编译时推断,以后无法更改。
3. 非法使用var
如前所述,如果没有初始值设定项,var将无法工作:
var n; // error: cannot use 'var' on variable without initializer
如果使用null初始化,它也不会起作用:
var emptyList = null; // error: variable initializer is 'null'
它不适用于非局部变量:
public var = "hello"; // error: 'var' is not allowed here
Lambda表达式需要明确的目标类型,因此不能使用var:
var p = (String s) -> s.length() > 10; // error: lambda expression needs an explicit target-type
数组初始值设定项也是如此:
var arr = { 1, 2, 3 }; // error: array initializer needs an explicit target-type
4. var使用指南
在某些情况下var可以合法使用,但这样做可能不是一个好主意。
例如,在代码可能变得不那么可读的情况下:
var result = obj.prcoess();
在这里,虽然var的使用是合法的,但是很难理解process()返回的类型,这使得代码的可读性降低。
java.net有一篇关于Java中局部变量类型推断的样式指南的专门文章,其中讨论了我们在使用此功能时应该如何使用判断。
最好避免使用var的另一种情况是在具有长管道的流中:
var x = emp.getProjects.stream()
.findFirst()
.map(String::length)
.orElse(0);
使用var也可能会产生意想不到的结果。
例如,如果我们将它与Java 7中引入的钻石运算符一起使用:
var empList = new ArrayList<>();
empList的类型将是ArrayList<Object>而不是List<Object>。如果我们希望它是ArrayList<Employee>,我们必须明确指定:
var empList = new ArrayList<Employee>();
将var与不可表示的类型一起使用可能会导致意外错误。
例如,如果我们将var与匿名类实例一起使用:
@Test
void whenVarInitWithAnonymous_thenGetAnonymousType() {
var obj = new Object() {};
assertFalse(obj.getClass().equals(Object.class));
}
现在,如果我们尝试将另一个Object分配给obj,我们会得到一个编译错误:
obj = new Object(); // error: Object cannot be converted to <anonymous Object>
这是因为obj的推断类型不是Object。
5. 总结
在本文中,我们通过几个实例介绍了新的Java 10局部变量类型推断功能。
与往常一样,本教程的完整源代码可在GitHub上获得。