final与Java的局部变量作用域提升

在Java中，final关键字有两个主要用途：修饰类、方法和变量。当final用于修饰局部变量时，它具有与普通局部变量不同的特性。

1. 不可变性：final修饰的局部变量在初始化后不能被修改。这意味着一旦为final变量分配了一个值，就不能再次为该变量分配新值。然而，这并不意味着final变量的引用不能改变。例如，你可以将final变量指向另一个对象，但不能更改该对象的引用。
2. 作用域提升：与普通局部变量一样，final变量的作用域仅限于定义它的代码块。这意味着在定义final变量的代码块之外，无法访问或修改该变量。这与类的成员变量不同，成员变量的作用域是整个类，而不仅仅是定义它们的代码块。

以下是一个关于final局部变量作用域提升的示例：

public class FinalLocalVariableExample {
    public static void main(String[] args) {
        final int a = 10; // 'final' local variable
        if (true) {
            final int b = 20; // another 'final' local variable
            System.out.println("a: " + a + ", b: " + b);
        }
        // The following line will cause a compile-time error because 'b' is not accessible outside the if block
        // System.out.println("b: " + b);
    }
}

在这个例子中，a和b都是final局部变量。它们的作用域仅限于定义它们的代码块（即if语句）。因此，在if语句之外尝试访问b将导致编译错误。