为什么在Java中将局部变量和方法参数标记为“final”？

在Java中，您可以使用final关键字限定局部变量和方法参数。为什么在Java中将局部变量和方法参数标记为“final”？

public static void foo(final int x) { 
    final String qwerty = "bar"; 
}

这样做会导致无法在方法主体中重新分配x和qwerty。

这种做法将您的代码推向通常被认为是加号的不变性方向。但是，它也往往会在各处出现“最终”的代码。对Java中局部变量和方法参数的最终关键字有什么看法？

来源

2008-11-25 Julien Chastang

请参阅http://stackoverflow.com/questions/266806/is-there-any-performance-reason-to-declare-method-parameters-final-in-java#266981和http://stackoverflow.com/ questions/137868/using-final-modifier-whenever-applicable-in-java and http://stackoverflow.com/questions/154314/when-to-use-final – Robin 2008-11-25 14:36:21

你应该尽量做到这一点，只要它是适当的。除了用于在您“意外”尝试修改值时发出警告，它还会向编译器提供信息，以便更好地优化类文件。这是Robert Simmons，Jr所着的书“Hardcore Java”中的一个要点。实际上，本书的第二章全面介绍了使用final来促进优化并防止逻辑错误。静态分析工具，如PMD和Eclipse的内置SA标记这些种情况出于这个原因。

来源

2008-11-25 09:15:10 rjray

我个人认为，这是浪费时间。我相信视觉混乱和增加冗长是不值得的。

我从来没有遇到过我已经重新分配（记住，这不会使对象不可变，所有这些都意味着您不能重新分配变量的另一个引用）错误的变量。

但是，当然，这全是个人喜好;-)

来源

2008-11-25 04:22:47 SCdF

+1因为我认为它不仅仅是方法身体和逻辑错误（我从来没有跑过，因为非最终变量，FWIW），但也关于可读的方法签名。我无法看到声明为final的参数如何使签名更具可读性。简单类型通过值传递，所以不可修改。复杂类型是按引用传递的，但引用是按值传递的，因此不可修改。最后只是签名的读者的噪音。 – Matthias 2010-07-18 11:17:04

为什么你想要？您编写了该方法，因此修改该方法的任何人都可以始终从qwerty中删除最终的关键字并重新分配它。至于方法签名，同样的推理，尽管我不确定它会对你的类的子类做些什么......他们可能会继承最后一个参数，即使他们重写了方法，也无法去定义x。试试看看它是否可行。

那么，唯一真正的好处是如果你使参数不可变并且它传递给了孩子。否则，你只是混乱你的代码没有特别好的理由。如果它不会强迫任何人遵守你的规则，那么你最好留下一个好评，因为你为什么不应该改变该参数或变量，而不是给出最终修饰符。

编辑

在回应评论，我会补充一点，如果你看到的性能问题，让你的局部变量和参数可以最终让编译器来优化你的代码更好。但是，从您的代码不可变性的角度来看，我支持我的原始声明。

来源

2008-11-25 04:23:39 Elie

如果JRE或编译器知道该对象已完成，则可以执行更多优化。 – paxdiablo 2008-11-25 04:25:46

当然，但这不是问题。在使你的代码不可变的方面，它并不真正起作用。但是，您的判断非常正确，因为它可能比不使用它稍快，并且在性能成为问题时应予以考虑。 – Elie 2008-11-25 04:27:30

正如我在Pax的回答中所评论的那样，我相当肯定，通过局部变量的最终结果，没有改进性能，因为JVM可以为你猜出。 – SCdF 2008-11-25 04:31:00

由于Java的“pass by reference”行为（偶尔）混淆本质，我绝对同意最终确定参数var's。

完成本地var的似乎有点矫枉过正IMO。

来源