将方法参数声明为 final 的目的是什么？ [复制]

Question

所以我完全可以理解你为什么要让你的班级final。想象一下 String 类不是最终的，并且您有一个库，其中您有一个将 String 作为参数并依赖于 length() 方法进行某些操作的方法，但是有人扩展了 String 类并覆盖了返回的长度-1 总是..

但我不明白为什么有人会声明方法 final 的参数。 Java 无论如何都是按值传递的，所以如果参数是一个原始参数，它已经是最终的（在某种意义上）。如果你传递一个引用类型，它对方法的调用者有什么保证吗？我不这么认为..

void foo(final List<Object> o) {
    o.add(new Object());
} // oops?

所以final 可以防止以下情况：

void foo(final List<Object> o) {
    o = new ArrayList();
}

但是我为什么要这样做呢？我总是可以创建一个新变量，并且它不会将新 Object 分配给 caller 的变量吗？ （我的意思是，无论如何我都无法更改调用者引用所指的内容，即使该参数未声明为 final ..）

我的问题是，方法声明中的最终参数的目的是什么？是给来电者的吗？它有什么保证吗？

我也觉得奇怪的是，以下内容可以正常编译：

public interface MyInterface {
    void foo(final Object o);
}

class MyImpl implements MyInterface {
    @Override
    public void foo(Object o) { // final in interface, not final in impl..
    }
}

但也许一旦我理解了我的主要问题，它就会变得有意义。

Answer 1

有时，它有助于其他程序员或维护人员不要更改该变量的值。

例如：想象一个采用字符串参数的方法。想象一下，这是一个非常长的方法，有 1000 行代码。如果参数未标记为最终参数，则第二个程序员会看到更改其中值的机会。第一个程序员在不知道变量被分配了一个新值的情况下恢复了该方法的工作。 将其定为最终版本将充分确保第一个程序员的意图被传递给第二个。

除此之外，如果你需要在该方法中的任何匿名类中使用这个变量，除非它是final的，否则你不能使用它。

希望这会有所帮助。

Answer 2

无论哪种方式，它都不向调用者保证任何事情（无论参数是原始类型还是引用类型）。

方法参数是一个局部变量，其值由方法的调用者初始化。使其成为 final 意味着 方法的主体不能在本地为该变量分配新值，因此它只会在方法的主体中产生不同（因为在方法体对方法的调用者没有什么不同）。

它确保方法体中使用参数值的任何代码都将使用调用者传递的原始值，而不是在方法体中分配给它的其他值。