逸出 java_Java-构造函数中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的现象.

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

class Sup{}

class Sub extends Sup{

final int i;

Sub(){i=1;}

void test(){new Sub();}

}

字节码为:

class Sup {

Sup();

0 aload_0 [this]

1 invokespecial java.lang.Object() [8]

4 return

}

class Sub extends Sup {

final int 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 new Sub [1]

3 invokespecial Sub() [19]

6 return

}

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

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

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

class Outter1{

private class Inner{}

Outter1(){}

}

字节码:

class Outter1 {

Outter1();

0 aload_0 [this]

1 invokespecial java.lang.Object() [8]

4 return

}

private class Outter1$Inner {

final synthetic Outter1 this$0;

private Outter1$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 表示这个是编译器 自己加上去的. 在内部类的初始化函数中此引用被 赋值.