# 一、This 引用逃逸

# 1 什么是 This 逃逸

在构造器还未彻底完成前 (即实例初始化阶段还未完成)，将自身 this 引用向外抛出并被其它线程复制 (访问) 了该引用，可能会访问到还未被初始化的变量，甚至可能会造成更大严重的问题。

代码

	/**
	* 模拟 this 逃逸
	* @author Lijian
	*
	*/
	public class ThisEscape {
	//final 常量会保证在构造器内完成初始化（但是仅限于未发生 this 逃逸的情况下，具体可以看多线程对 final 保证可见性的实现）
	final int i;
	// 尽管实例变量有初始值，但是还实例化完成
	int j = 0;
	static ThisEscape obj;
	public ThisEscape() {
	i=1;
	j=1;
	// 将 this 逃逸抛出给线程 B
	obj = this;
	}
	public static void main(String[] args) {
	// 线程 A：模拟构造器中 this 逃逸，将未构造完全对象引用抛出
	/*Thread threadA = new Thread(new Runnable() {
	@Override
	public void run() {
	//obj = new ThisEscape();
	}
	});*/
	// 线程 B：读取对象引用，访问 i/j 变量
	Thread threadB = new Thread(new Runnable() {
	@Override
	public void run() {
	31 // 可能会发生初始化失败的情况解释：实例变量 i 的初始化被重排序到构造器外，此时 1 还未被初始化
	ThisEscape objB = obj;
	try {
	System.out.println(objB.j);
	} catch (NullPointerException e) {
	System.out.println("发生空指针错误：普通变量j未被初始化");
	}
	try {
	System.out.println(objB.i);
	} catch (NullPointerException e) {
	System.out.println("发生空指针错误：final变量i未被初始化");
	}
	}
	});
	//threadA.start();
	threadB.start();
	}
	}

输出结果：

发生空指针错误：普通变量j未被初始化
发生空指针错误：final变量i未被初始化

这说明 ThisEscape 还未完成实例化，构造还未彻底结束。

另一种情况是利用线程 A 模拟 this 逃逸，但不一定会发生，线程 A 模拟构造器正在构造... 而线程 B 尝试访问变量，这是因为

所以尝试多次输出 (相信我一定会发生的，只是概率相对低)，也会发生类似 this 引用逃逸的情况

	/**
	* 模拟 this 逃逸
	* @author Lijian
	*
	*/
	public class ThisEscape {
	//final 常量会保证在构造器内完成初始化（但是仅限于未发送 this 逃逸的情况下）
	final int i;
	// 尽管实例变量有初始值，但是还实例化完成
	int j = 0;
	static ThisEscape obj;
	public ThisEscape() {
	i=1;
	j=1;
	//obj = this ;
	}
	public static void main(String[] args) {
	// 线程 A：模拟构造器中 this 逃逸，将未构造完全对象引用抛出
	Thread threadA = new Thread(new Runnable() {
	@Override
	public void run() {
	// 构造初始化中... 线程 B 可能获取到还未被初始化完成的变量
	// 类似于 this 逃逸，但并不定发生
	obj = new ThisEscape();
	}
	});
	// 线程 B：读取对象引用，访问 i/j 变量
	Thread threadB = new Thread(new Runnable() {
	@Override
	public void run() {
	// 可能会发生初始化失败的情况解释：实例变量 i 的初始化被重排序到构造器外，此时 1 还未被初始化
	ThisEscape objB = obj;
	try {
	System.out.println(objB.j);
	} catch (NullPointerException e) {
	System.out.println("发生空指针错误：普通变量j未被初始化");
	}
	try {
	System.out.println(objB.i);
	} catch (NullPointerException e) {
	System.out.println("发生空指针错误：final变量i未被初始化");
	}
	}
	});
	threadA.start();
	threadB.start();
	}
	}

在构造器中很明显的抛出 this 引用提供其它线程使用 (如上述的明显将 this 抛出)
在构造器中内部类使用外部情况：内部类访问外部类是没有任何条件的，也不要任何代价，也就造成了当外部类还未初始化完成的时候，内部类就尝试获取未初始化完成的变量
- 在构造器中启动线程：启动的线程任务是内部类，在内部类中 xxx.this 访问了外部类实例，就会发生访问到还未初始化完成的变量
- 在构造器中注册事件，这是因为在构造器中监听事件是有回调函数 (可能访问了操作实例变量)，而事件监听一般都是异步的。在还未初始化完成之前就可能发生会回调访问了未初始化的变量。

在构造器中启动线程代码实现：

	/**
	* 模拟 this 逃逸 2：构造器中启动线程
	* @author Lijian
	*
	*/
	public class ThisEscape2 {
	final int i;
	int j;
	public ThisEscape2() {
	i = 1;
	j = 1;
	new Thread(new RunablTest()).start();
	}
	// 内部类实现 Runnable：引用外部类
	private class RunablTest implements Runnable{
	@Override
	public void run() {
	try {
	System.out.println(ThisEscape2.this.j);
	} catch (NullPointerException e) {
	System.out.println("发生空指针错误：普通变量j未被初始化");
	}
	try {
	System.out.println(ThisEscape2.this.i);
	} catch (NullPointerException e) {
	System.out.println("发生空指针错误：final变量i未被初始化");
	}
	}

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

构造器中注册事件，引用网上的一段伪代码将以解释：

	public class ThisEscape3 {
	private final int var;

	public ThisEscape3(EventSource source) {
	// 注册事件，会一直监听，当发生事件 e 时，会执行回调函数 doSomething
	source.registerListener(
	// 匿名内部类实现
	new EventListener() {
	public void onEvent(Event e) {
	// 此时 ThisEscape3 可能还未初始化完成，var 可能还未被赋值，自然就发生严重错误
	doSomething(e);
	}
	}
	);
	var = 10;
	}
	// 在回调函数中访问变量
	int doSomething(Event e) {
	return var;
	}
	}

1 单独编写一个启动线程的方法，不要在构造器中启动线程，尝试在外部启动。

	private Thread t;
	public ThisEscape2() {
	t = new Thread(new EscapeRunnable());
	}

	public void initStart() {
	t.start();
	}

2 将事件监听放置于构造器外，比如 new Object () 的时候就启动事件监听，但是在构造器内不能使用事件监听，那可以在 static {} 中加事件监听，这样就跟构造器解耦了

this 引用逃逸问题实则是 Java 多线程编程中需要注意的问题，引起逃逸的原因无非就是在多线程的编程中 “滥用” 引用（往往涉及构造器中显式或隐式地滥用 this 引用），在使用到 this 引用的时候需要特别注意！

同时这会涉及到：final 的内存语义，即 final 域禁止重排序问题（2020.11.22 增加），包括写 final 域与读 final 域重排序两个规则（参考资料《Java 并发编程的艺术》）