隱式引用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() {} 

}