Java安全发布对象知识总结-0

发布对象：使一个对象能够被当前范围之外的代码所使用。

在类的外部线程都能访问到这个state，这样发布对象是不安全，我们无法保证外部的线程不去修改state，从而造成state状态的错误。

public class Publish {

    private String[] state = {"c", "m", "a", "z"};


    public String[] getStates() {
        return state;
    }

    public static void main(String[] args) {
        Publish publish = new Publish();
        publish.getStates()[0] = "a";
        publish.getStates()[0] = "b";
    }
}

对象逸出:一种错误的发布。当一个对象还没构造完成时，就使它被其他线程所见。

我们看下面对象逸出的例子，输出的结果是null。这是由于对象的逸出和多线程运行造成的。在我们引用Escape.this这个对象时，其实Escape这个对象还没有构造完成。

public class Escape {

    private String name = null;

    public Escape() {
        new Thread(new MyThread()).start();
        try {
            TimeUnit.SECONDS.sleep(1);
        } catch (InterruptedException ex) {

        }
        name = "cmazxiaoma";
    }

    private class MyThread implements Runnable {
        @Override
        public void run() {
            System.out.println(Escape.this.name);
        }
    }

    public static void main(String[] args) {
        new Escape();
    }
}

那我们怎么去安全发布对象呢？
1.在静态初始化函数中初始化一个对象引用。
2.将对象的引用保存到volatile类型中或者AtomicReference对象中。
3.将对象的引用保存到某个正确构造对象的final类型域中。
4.将对象的引用保存到由一个锁保护的域中。

说白了，就是用单例模式去安全发布对象。单例的实现方式有饿汉式、懒汉式、双重检验锁、静态内部类、枚举这几种。

在饿汉式中，会通过final关键字，使单例在多线程情况下安全，因为JVM会自动对final进行上锁同步。

重点提一下双重检验锁的单例，这里instance为什么要被volatile修饰呢？ volatile可以禁止指令重排，箭头指的地方其实包含3个步骤(1.分配对象的内存空间 2.初始化对象 3.将刚分配好的内存设置给instance)。如果没有加上volatile，JVM会自动优化进行指令重排，箭头的步骤会变成132，这样就会创建多个实例。