变量可以被声明为final类型。一个final类的变量只能被赋值一次。如果一个final变量被赋值会在编译期报错。(除非这个变量在之前没有赋值)
一旦一个final变量被赋值了,它就永远包含这个值。如果final变量保存的是一个对象的引用,之后即使这个对象的状态改变,这个变量也总是会引用同一个对象。数组也同样适用,因为数组也是对象;如果一个final对象保存的是一个数组的引用,即使之后数组的组件改变,这个final变量也会引用同一个数组。
空final就是一个还没有初始化的final变量。
常量就是基础数据类型或者是用常量表达式初始化的String类型的final变量。一个变量是否是常量和类的初始化,二进制兼容性和是否明确赋值有关。
译者注:常量表达式就是表示基础数据类型的表达式或者是一个没有马上赋值完整并且由操作符组成的字符串。常量表达式例子:
true (short)(12345*6)
Integer.MAX_VALUE / 2
2.0 * Math.PI
"The integer " + Long.MAX_VALUE + " is mighty big."
这三种变量默认被声明为final:接口里的属性,try-with-resources 声明,复合catch分句里的异常参数。唯一catch分句的异常参数从来没有默认声明为final,但实际上却可能是final的。
译者注:
try-with-resources语句使用变量(称为资源)进行参数化,这些变量在执行try块之前初始化并在执行try块后以与它们初始化的相反顺序自动关闭。 当资源自动关闭时,通常不需要catch子句和finally子句。