public class FinalArguments {
void with(final Gizmo g){
//! g = new Gizmo(); // 无法修改final修饰的引用,使它指向另一个对象
g.i++; // 但可以修改final对象所指向的内容
}
void without(Gizmo g){
g = new Gizmo();
g.spin();
}
final Gizmo g;的意思不是指明一个Gizmo类的一个引用吗?g = new Gizmo不是初始化吗?
为什么g = new Gizmo();就是修改了final修饰的引用,指向另一个对象呢?
with()
函数的入参final Gizmo g
的g
, g
是一个引用,该引用指向了堆里面的一块内存区域。
那g
是如何指向堆的内存区域呢?答案就是:g
的值是该内存区域的地址,例如是0X123
。
final Gizmo g
的意思就是g
所指向的内存不能变,必须是0X123
,也就是g
的值一定是0X123
,不能被改变。
但是你的代码g = new Gizmo()
,是值在堆内再开辟一块内存空间,假设地址是0X456
。然后把0X456
赋值给g。上面已经说到了g
的值不能变,只能是0X123
。所以就报错了。
final
只要g
的值不变即可,不关心g
所指向的内存区域内是如何变化的,所以不可以修改g
的引用,但是可以修改对象的值。
如果是final的话
g = new Gizmo();
引起
final parameter g may not be assigned
错误
作为参数来说,g相当于常数。
如果不是的话,可以修改,但是不会作用给调用者,也就是
new FinalArguments.without(g);
调用之后,g不会改变。
这相当于
void foo(int x) { x = 123; }
调用 foo(a); // 对于调用者来说。a并不会被修改为123