final 语义

我们都知道final修饰的成员是不可变。下面分析final在内部类的语义特征。

首先看一个简单的例子。

public class FinalExample {


    private String fis = "final-init";

    public void method1() {

        final String key = "key1";

        new Thread(new Runnable() {
            @Override
            public void run() {
                System.out.println(key);
                System.out.println(fis);
            }
        });

    }

    public void method2() {
        final String key = new String("key1");

        new Thread(new Runnable() {
            @Override
            public void run() {
                System.out.println(key);
                System.out.println(fis);
            }
        });
    }

    public void method3(final String key) {

        new Thread(new Runnable() {
            @Override
            public void run() {
                System.out.println(key);
                System.out.println(fis);
            }
        });
    }

}

编译器生成的代码：

FinalExample类：

public class FinalExample {
    private String fis = "final-init";

    public FinalExample() {
    }

    public void method1() {
        String key = "key1";
        new Thread(new Runnable() {
            public void run() {
                System.out.println("key1");
                System.out.println(FinalExample.this.fis);
            }
        });
    }

    public void method2() {
        final String key = new String("key1");
        new Thread(new Runnable() {
            public void run() {
                System.out.println(key);
                System.out.println(FinalExample.this.fis);
            }
        });
    }

    public void method3(final String key) {
        new Thread(new Runnable() {
            public void run() {
                System.out.println(key);
                System.out.println(FinalExample.this.fis);
            }
        });
    }
}

方法1的内部类：

class FinalExample$1 implements Runnable {
    FinalExample$1(FinalExample var1) {
        this.this$0 = var1;
    }

    public void run() {
        System.out.println("key1");
        System.out.println(FinalExample.access$000(this.this$0));
    }
}

方法2的内部类：

class FinalExample$2 implements Runnable {
    FinalExample$2(FinalExample var1, String var2) {
        this.this$0 = var1;
        this.val$key = var2;
    }

    public void run() {
        System.out.println(this.val$key);
        System.out.println(FinalExample.access$000(this.this$0));
    }
}

方法3的内部类：

class FinalExample$3 implements Runnable {
    FinalExample$3(FinalExample var1, String var2) {
        this.this$0 = var1;
        this.val$key = var2;
    }

    public void run() {
        System.out.println(this.val$key);
        System.out.println(FinalExample.access$000(this.this$0));
    }
}

以上可以看出，final修饰的局部变量。如果是引用类型的变量，内部类会生成一个有参构造方法，将此变量传入构造函数。然后通过外部类中的access$*()方法获取到外部类中的值（该方法是通过编译器生成的）。 如果是基本类型，值直接编译到class文件。

通过汇编指令，反编译暂未发现网上说的final内存屏障语义。