线程安全之可见性（三）

一：final的处理

1.1 经final修饰的变量或者对象，在其构造函数中初始化之后，其他线程一定可以获得正确的构造版本，即可以获得变量或者对象字段的最新值。

看下面的代码：

public class ThreadFinal1 {

    public final int i;
    public int j;

    public ThreadFinal1 final1;

    public ThreadFinal1() {
        this.i = 2; //一定可以得到正确的构造版本
        this.j = 3; //不一定得到正确的构造版本，可能得到默认值0
    }

    public void write() {
        final1 = new ThreadFinal1();
    }

    public void reader() {
        if (final1 != null) {
            System.out.println(final1.i);
            System.out.println(final1.j);
        }
    }
}

上述代码，定义了一个final修饰的i，和一个没用final修饰的j，在构造函数中赋值后，i在其他线程中一定可以获得正确的构造版本，即i=2，而j不一定可以获得正确的构造版本，可能获得j的默认值0。

1.2 经final修饰的变量或者对象，在其构造函数中初始化之后，其他线程一定可以获得正确的构造版本，而且字段若重新赋值与final修饰的字段，那么该字段也一定可以获得正确的构造版本。

public class ThreadFinal2 {

    public final int i;
    public int j;

    public ThreadFinal1 final1;

    public ThreadFinal2() {
        this.i = 2; //一定可以得到正确的构造版本
        this.j = this.i; //也一定可以得到正确的构造版本
    }

    public void write() {
        final1 = new ThreadFinal1();
    }

    public void reader() {
        if (final1 != null) {
            System.out.println(final1.i);
            System.out.println(final1.j);
        }
    }
}