(转)构造函数中this引用逸出的问题

http://www.dewen.io/q/9229

(仍旧不清楚是怎么回事 ,转发只当作)

 

谈谈自己的理解, 权作 抛砖引玉.

为什么说 "构造函数中this引用逸出的问题"

在构造函数中, this引用逸出, 则此时 可能对象实例还没有完全初始化. 比如此对象实例有final int i=47; 因为i还没有初始化, 外部线程去 查看i, 可能会看到i==null的结果. 这就不对了

说仔细一点, 初始化一个对象, 比如代码new TestClass(), 完成了以下操作

1. 1).为TestClass对象实例分配内存空间;this指针指向此空间;
2. 2).调用TestClass的初始化函数;在TestClass的初始化函数中;
3. 2.1).首先调用TestClass的父类的初始化函数,这里是一个递归调用父类初始化函数的过程;
4. 2.2).执行TestClass自身的初始化逻辑,如给对象实例成员赋初值.

 

所以说, 在1) 和 2.2) 之间是有 "空窗期"的, 如果这是this被外部线程拿到, 则可以看到 对象实例 未初始化的实例成员. 比如上面说的final int i == null的现象.

上面这些可以参考下面的字节码:

1. classSup{}
3. classSubextendsSup{
4.     finalint i;
5.     Sub(){i=1;}
6.     void test(){newSub();}
7. }

 

字节码为:

1. classSup{
2.  
3.   Sup();
4.     0  aload_0 [this]
5.     1  invokespecial java.lang.Object()[8]
6.     4  return
7. }
9. classSubextendsSup{
11.   finalint i;
12.  
13.   Sub();
14.      0  aload_0 [this]
15.      1  invokespecial Sup()[10]
16.      4  aload_0 [this]
17.      5  iconst_1
18.      6  putfield Sub.i :int[12]
19.      9  return
21.   void test();
22.     0  newSub[1]
23.     3  invokespecial Sub()[19]
24.     6  return
25. }

 

这里的Sub对象实例 在 Sub.test()的0行就已经 生成了, 也就是说这里this已经指向了 新生成对象实例的内存空间. 但是Sub对象实例的 final成员i, 是在Sub初始化函数的第6行才被赋值.

再说一下 具体到 JCP 的代码, "注册listener监听器，或者start（）新的线程，为什么会存在this指针逸出的风险"

因为 内部类 隐式包含了 外部类的 this指针, 这个见下面的示例:

1. classOutter1{
2.     privateclassInner{}
3.     Outter1(){}
4. }

 

字节码:

1. classOutter1{
3.   Outter1();
4.     0  aload_0 [this]
5.     1  invokespecial java.lang.Object()[8]
6.     4  return
7.  }
9. privateclassOutter1$Inner{
11.   final synthetic Outter1this$0;
13.   privateOutter1$Inner(Outter1 arg0);
14.      0  aload_0 [this]
15.      1  aload_1 [arg0]
16.      2  putfield Outter1$Inner.this$0 :Outter1[10]
17.      5  aload_0 [this]
18.      6  invokespecial java.lang.Object()[12]
19.      9  return
20.  }

 

重点是 内部类里 有这个:
final synthetic Outter1 this$0;
synthetic 表示这个是编译器 自己加上去的. 在内部类的初始化函数中此引用被 赋值.