隐式引用Java中的封闭类

Question

假设我有一个Outer类。可以说有一个非静态成员类Inner。因此，如果Outer类声明类型为Inner的字段并且按照定义，则Outer实例将引用Inner的实例。但是Inner实例如何也有一个隐含参考Outer？这个关联何时创建？

Answer 1

从Java language Spec

一类的O的直接内类C的我一个实例为O的一个实例，被称为 立即封闭实例1相关的 。对象的立即封闭实例（如果有的话）是 ，在创建对象时（第15.9.2节）确定。

Answer 2

代码

class Outer { 

    class Inner { 
     void printOuterThis() { 
      System.out.println(Outer.this); 
     } 
    } 

} 

Outer.Inner oi = new Outer().new Inner(); 

大多是等效于这样的：

class Outer { 

    static class Inner { 
     Outer outerThis; 

     public Inner(Outer outerThis) { 
      this.outerThis = outerThis; 
     } 

     void printOuterThis() { 
      System.out.println(outerThis); 
     } 
    } 
} 

public class Scratch { 
    public static void main(String[] args) { 
     Outer.Inner oi = new Outer.Inner(new Outer()); 
    } 
} 

编译器自动发出代码，不会在第二发生的情况：其保持的值的字段（this$0Outer.this）用于隐式引用，并转换Inner的所有构造函数，并调用它们以添加此字段的初始化。

Answer 3

你有它周围的其他方法：

public class Outer { 

    void foo() { 
     // In this Outer method, we have no implicit instance of Inner. 
     innerbar(); // Compiler error: The method bar() is undefined for the type Outer 
     Inner.this.innerbar();// Compiler error: No enclosing instance of the type Outer.Inner is accessible in scope 

     // instead, one has to create explicitly instance of Inner: 

     Inner inner1 = new Inner(); 
     Inner inner2 = new Inner(); 

     inner1.innerbar(); // fine! 
    } 


    class Inner { 
     void innerbar() {}; 

     void callOuter() { 
      // But Inner has an implicit reference to Outer. 
      callMe(); 
      // it works also through Outer.this 
      Outer.this.callMe(); 
     } 
    } 

    void callMe() {} 

}