Java 內部類訪問權限深度解析：編譯器生成合成建構子的隱藏機制

前言：一個看似簡單的編譯現象

當一個 private 內部類在外部類方法中被實例化時，javac 會悄悄生成一個**包可見的合成建構子**與一個**空的合成類**，這是為了繞過 JVM 存取驗證而進行的編譯器妥協。本文通過反編譯、位元組碼分析、JLS 規範解讀，深度揭示這一隱藏機制的原理、生成規則、安全影響與現代 Java 版本的演進。

一、現象重現：神秘的 Outer$1.class

public class Outer {
    private class Inner {} // 私有內部類

    private void createInner() {
        new Inner(); // 在外部類私有方法中實例化
    }

    public static void main(String[] args) {
        new Outer().createInner();
    }
}

編譯後生成三個類檔案：

• Outer.class
• Outer$Inner.class
• Outer$1.class ← **合成類，無任何欄位/方法**

二、反編譯還原編譯器意圖

使用 jad / CFR / Fernflower 反編譯 Outer.class：

public class Outer {
    private class Inner {
        private Inner() {} // 原始私有建構子

        // 合成建構子：包可見，接受合成類參數
        Inner(Outer$1 x) { this(); }
    }

    public Outer() {}

    private void createInner() {
        Inner inner = new Inner(null); // 傳遞 null 作為合成類實例
    }

    public static void main(String[] args) {
        new Outer().createInner();
    }
}

// 合成類：完全空殼
class Outer$1 {}

三、核心原理：JVM 存取驗證與編譯器妥協

3.1 JVM 存取驗證規則

• private 建構子：僅宣告該建構子的類 可調用 (invokespecial)。
• Outer$Inner 的 private Inner() 僅允許 Outer$Inner 內部調用。
• Outer.createInner() 屬於 Outer，**無權直接調用** Outer$Inner 的私有建構子。

3.2 編譯器解決方案：合成建構子 + 合成類

1. 在 Outer$Inner 生成**包可見 (default/package-private)** 合成建構子：Inner(Outer$1)。
2. 合成建構子內部委託調用原始 private Inner() (this())。
3. 生成**空的合成類 Outer$1** 作為參數類型，區別於無參建構子。
4. 外部類調用點改為 new Inner(null)，傳遞 null (類型為 Outer$1)，觸發合成建構子。

3.3 為什麼需要合成類 Outer$1？

• 若合成建構子無參 (Inner())，將與原始私有建構子**簽名衝突** (同名同參)。
• 引入獨特類型參數 (Outer$1)，實現**方法多載區分**。
• Outer$1 為包可見空類，**零運行時開銷**，僅作為編譯期類型標記。

四、擴展場景：多層巢狀、匿名類、Lambda

4.1 多層巢狀內部類

class A { class B { class C { private C() {} } } }

每一層 private 內部類在外層實例化時，都會生成對應的合成建構子與合成類 (A$B$1, A$B$C$1...)。

4.2 匿名類

new Runnable() { private void internal() {} }; // 匿名類本身可有私有成員

匿名類本質是非靜態內部類，同樣遵循合成機制。但匿名類通常不會在外部手動實例化 (由 new 表達式直接創建)，故較少觸發此現象。

4.3 Lambda 表達式 (Java 8+)

• Lambda **不生成 .class 檔案**，由 invokedynamic + LambdaMetafactory 運行時生成實現類。
• 捕獲區域變數的 Lambda 實現類為 private 合成類，**無合成建構子機制** (由 LambdaMetafactory 直接調用私有建構子，JVM 允許 invokedynamic bootstrap 方法繞過存取檢查)。

五、安全性與封裝性影響分析

5.1 封裝被削弱？

• 合成建構子為 **package-private**，同包其他類**理論上可調用** new Outer.Inner(new Outer$1())。
• 但 Outer$1 為合成類，**源碼層面不可引用** (命名含 $+數字，非合法標識符)。
• 惡意代碼可通過**反射** (Constructor.setAccessible(true)) 或**位元組碼操作** (ASM/ByteBuddy) 調用合成建構子，**繞過 private 限制**。

5.2 實際風險評估

• 源碼級安全：完整，開發者無法誤用。
• 運行時反射/代理：可繞過，但需 setAccessible(true) (模組化系統 java --add-opens 限制)。
• 結論：非安全邊界**，僅為編譯器實現細節。真正的封裝邊界在**模組系統**與**SecurityManager** (已棄用)。

# Java 8 編譯
javac -source 1.8 -target 1.8 Outer.java
ls Outer*.class 
# Outer.class  Outer$1.class  Outer$Inner.class

# Java 17 編譯 (預設 release 17)
javac Outer.java
ls Outer*.class
# Outer.class  Outer$Inner.class  (無 Outer$1.class!)

# 反編譯 Java 17 版 Outer$Inner.class
# 僅有 private Inner()，無合成建構子