java - 强制 Java 编译器假定所有变量都是最终的

Question

如果在未标记为可变关键字(Java 中尚不存在)时重新分配变量，是否有可能通过编译器开关或常用工具(我不知道)中断编译)?

例子:

Contract a; // compile error
Contract b = getContract(id); // ok
b.doSomething(); // ok
b = getContract(otherId); // compile error
mutable int i = 1;
i++; // ok

我知道有些语言是这样的，但是在公司被迫写java，使用这样的工具是唯一的选择。

您好，JG。

Answer 1

看看CheckStyle静态代码分析工具。您也可以将它集成到您​​的 IDE 中。FinalLocalVariable 检查看起来像你的情况:

Checks that local variables that never have their values changed are declared final. The check can be configured to also check that unchanged parameters are declared final.

还有PMD源代码分析器。但我从未使用过它，因此无法提供任何建议。