final引用问题,对于final参数列表的问题

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修饰的引用,指向另一个对象呢?

先说为什么g = new Gizmo()会报错

with()函数的入参final Gizmo gg, g是一个引用,该引用指向了堆里面的一块内存区域。

g是如何指向堆的内存区域呢?答案就是:g的值是该内存区域的地址,例如是0X123

final Gizmo g的意思就是g所指向的内存不能变,必须是0X123,也就是g的值一定是0X123,不能被改变。

但是你的代码g = new Gizmo(),是值在堆内再开辟一块内存空间,假设地址是0X456。然后把0X456赋值给g。上面已经说到了g的值不能变,只能是0X123。所以就报错了。

再说为什么可以修改g.i++

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