看到《Java并发编程实战》的3.2章节,对构造函数的this逸出理解不是很透彻,下面这篇文章很好的解答了。
为什么说 "构造函数中this引用逸出的问题"
在构造函数中, this引用逸出, 则此时 可能对象实例还没有完全初始化. 比如此对象实例有final int i=47; 因为i还没有初始化, 外部线程去 查看i, 可能会看到i==null的结果. 这就不对了
说仔细一点, 初始化一个对象, 比如代码new TestClass(), 完成了以下操作
- 1).为TestClass对象实例分配内存空间;this指针指向此空间;
- 2).调用TestClass的初始化函数;在TestClass的初始化函数中;
- 2.1).首先调用TestClass的父类的初始化函数,这里是一个递归调用父类初始化函数的过程;
- 2.2).执行TestClass自身的初始化逻辑,如给对象实例成员赋初值.
所以说, 在1) 和 2.2) 之间是有 "空窗期"的, 如果这是this被外部线程拿到, 则可以看到 对象实例 未初始化的实例成员. 比如上面说的final int i == null的现象.
上面这些可以参考下面的字节码:
- classSup{}
- classSubextendsSup{
- finalint i;
- Sub(){i=1;}
- void test(){newSub();}
- }
字节码为:
- classSup{
- Sup();
- 0 aload_0 [this]
- 1 invokespecial java.lang.Object()[8]
- 4 return
- }
- classSubextendsSup{
- finalint i;
- Sub();
- 0 aload_0 [this]
- 1 invokespecial Sup()[10]
- 4 aload_0 [this]
- 5 iconst_1
- 6 putfield Sub.i :int[12]
- 9 return
- void test();
- 0 newSub[1]
- 3 invokespecial Sub()[19]
- 6 return
- }
这里的Sub对象实例 在 Sub.test()的0行就已经 生成了, 也就是说这里this已经指向了 新生成对象实例的内存空间. 但是Sub对象实例的 final成员i, 是在Sub初始化函数的第6行才被赋值.
再说一下 具体到 JCP 的代码, "注册listener监听器,或者start()新的线程,为什么会存在this指针逸出的风险"
因为 内部类 隐式包含了 外部类的 this指针, 这个见下面的示例:
- classOutter1{
- privateclassInner{}
- Outter1(){}
- }
字节码:
- classOutter1{
- Outter1();
- 0 aload_0 [this]
- 1 invokespecial java.lang.Object()[8]
- 4 return
- }
- privateclassOutter1$Inner{
- final synthetic Outter1this$0;
- privateOutter1$Inner(Outter1 arg0);
- 0 aload_0 [this]
- 1 aload_1 [arg0]
- 2 putfield Outter1$Inner.this$0 :Outter1[10]
- 5 aload_0 [this]
- 6 invokespecial java.lang.Object()[12]
- 9 return
- }
重点是 内部类里 有这个:
final synthetic Outter1 this$0;
synthetic 表示这个是编译器 自己加上去的. 在内部类的初始化函数中此引用被 赋值.