关于Javac对有效final变量缺失编译优化的技术问询

一、Javac对final/有效final变量的严格检测 #

Javac编译器专门设计了逻辑来检测变量是否是final修饰的，或者是否能被认定为有效final（也就是变量初始化后全程没有被重新赋值的情况）。这个检测在lambda表达式或者匿名内部类的场景下尤为关键，因为这些场景要求引用的外部变量必须是final或有效final的。

咱们来看个实际例子，这段代码会直接编译失败：

public static void finalCheck() { 
    String str1 = "hello"; 
    Runnable r = () -> { str1 = "hello"; }; 
}

原因很明确：编译器能精准检测到str1在lambda表达式里被重新赋值了——哪怕赋值内容和初始值完全一致也不行。这违反了final/有效final的规则，所以直接抛出编译错误。

二、Javac对final String实例的性能优化 #

当String实例被声明为final时，Javac会给出非常出色的针对性优化，最典型的就是避免创建StringBuilder以及相关的拼接操作。

举个直观的例子：

public class FinalStringDemo {
    public static void main(String[] args) {
        final String part1 = "Stack";
        final String part2 = "Overflow";
        String combined = part1 + part2;
    }
}

对于这段代码，编译器会直接把combined的结果优化为常量"StackOverflow"，而不会生成new StringBuilder().append(part1).append(part2).toString()这类冗余代码。这种优化能减少不必要的对象创建和方法调用，直接提升代码的运行效率。

内容的提问来源于stack exchange，提问作者Jigar Joshi