Java 內部類別完整指南：四大類型、實作原理、適用場景與最佳實踐

Java 內部類別完整指南：四大類型、實作原理、適用場景與最佳實踐

內部類別是定義在另一個類別內部的類別。雖然編譯後仍會產生獨立的 .class 檔案（如 Outer$Inner.class），但內部類別提供了更強的封裝性、便於存取外部類別私有成員、且程式碼組織更緊湊。Java 提供四種內部類別，各有語法、生命週期與適用情境。

一、靜態內部類別

語法特徵

• 以 static 修飾，定義在外部類別成員位置。
• 可擁有靜態/實例欄位、方法、建構子。
• 無法直接存取外部類別實例成員（非 static 欄位/方法），僅能存取外部靜態成員。

public class Outer {
    private static int shared = 100;
    public static class StaticInner {
        public void innerMethod() {
            System.out.println("inner " + shared); // 僅能存取 static shared
        }
    }
    public void test() {
        StaticInner si = new StaticInner();
        si.innerMethod();
    }
}
// 外部使用：new Outer.StaticInner()

編譯器實作原理

• 產生兩個獨立類別：Outer、Outer$StaticInner。
• 內部類別存取外部 private static 欄位時，編譯器在外部類別生成 package-private 存取方法（如 static int access$0() { return shared; }），內部類別呼叫此方法。

適用場景

• 與外部類別關係緊密，但不依賴外部實例。
• 工具型輔助類別，如 Integer.IntegerCache、LinkedList.Node、Character.UnicodeBlock。
• 需對外公開（public）或完全隱藏（private）皆可。

二、成員內部類別

語法特徵

• 無 static 修飾，定義在外部類別成員位置。
• 可直接存取外部類別所有成員（含私有實例欄位/方法）。
• 透過 Outer.this.成員 明確引用外部實例（重名時必要）。
• 實例化需依附外部實例：Outer.Inner inner = new Outer().new Inner();
• 不可定義 static 成員（final 常數除外）。

public class Outer {
    private int a = 100;
    public class Inner {
        public void innerMethod() {
            System.out.println("outer a " + a); // 直接存取外部實例欄位
            Outer.this.action(); // 明確引用外部方法
        }
    }
    private void action() { System.out.println("action"); }
}
// 外部使用：Outer outer = new Outer(); Outer.Inner inner = outer.new Inner();

編譯器實作原理

• 產生 Outer、Outer$Inner。
• Outer$Inner 持有 final Outer outer 參照，建構子接收外部實例。
• 外部類別生成 access$0(Outer)、access$1(Outer) 等存取方法供內部類別呼叫私有成員。

適用場景

• 需要操作/依賴外部實例狀態。
• 實作介面並回傳，隱藏具體實作類別（如 LinkedList.ListItr 實作 Iterator）。
• 可設為 private 完全封裝。

三、方法內部類別

語法特徵

• 定義在方法內部，僅在該方法作用域可見。
• 若方法為實例方法，可存取外部實例成員；若為靜態方法，僅能存取靜態成員。
• 可存取方法參數與區域變數，但必須宣告為 final 或 effective final。

public class Outer {
    private int a = 100;
    public void test(final int param) {
        final String str = "hello";
        class Inner {
            public void innerMethod() {
                System.out.println(a + ", " + param + ", " + str);
            }
        }
        new Inner().innerMethod();
    }
}

為何要求 final？

編譯器將參數/區域變數值複製到內部類別實例欄位中（如 OuterInner(Outer outer, int param)）。若外部修改原變數，內部類別持有的副本不會更新，導致不一致。強制 final 確保值不會變更，消除困惑。

變通方案：若確需修改外部變數，改用單元素陣列 final String[] holder = {"hello"};，修改 holder[0] 內容。

適用場景

• 類別僅在單一方法內使用，追求極致封裝。
• 可用成員內部類別替代，但方法內部類別封裝性更強。

四、匿名內部類別

語法特徵

• 無名稱，在 new 運算子後直接定義並建立實例。
• 語法：new 父類別(參數) { ... } 或 new 介面() { ... }。
• 隱含繼承父類別或實作介面。
• 無建構子，但可有實例初始化區塊（{ ... }）達成建構邏輯。
• 可存取外部類別所有成員、方法的 final/effective final 參數與區域變數。
• 只能使用一次（建立單一實例）。

public class Outer {
    public void test(final int x, final int y) {
        Point p = new Point(2, 3) { // 匿名內部類別繼承 Point
            @Override public double distance() {
                return distance(new Point(x, y)); // 捕獲 x, y
            }
        };
        System.out.println(p.distance());
    }
}

編譯器實作原理

• 產生 Outer、Outer$1（編號遞增）。
• Outer$1 建構子接收外部實例、父類別建構子參數、捕獲的區域變數。

適用場景：回呼介面實作

• 策略/比較器：Arrays.sort(arr, new Comparator() { ... })
• 事件監聽器：button.addActionListener(new ActionListener() { ... })
• 執行緒/執行緒池任務：new Thread(new Runnable() { ... })

本質上是針對介面編程與回呼模式的輕量實作：將固定框架（排序演算法、事件分派）與可變邏輯（比較規則、事件處理）分離，透過匿名類別注入具體行為。

五、總結比較表

六、最佳實踐建議

1. 優先考慮 static 內部類別：若不需要外部實例，加上 static 避免隱含參照導致記憶體洩漏（外部實例無法被 GC）。
2. 匿名類別慎用於複雜邏輯：超過 10-15 行建議抽出為具名類別（內部或獨立），提升可讀性與可測試性。
3. Lambda 取代單一方法介面匿名類別：Java 8+ 應優先使用 Lambda，語法更簡潔，效能更好（invokedynamic）。
4. 注意序列化風險：非 static 內部類別實例隱含外部實例參照，序列化時會連帶序列化外部實例，可能導致 NotSerializableException 或資料洩漏。