Java 繼承陷阱深度解析：字段隱藏 vs 方法覆寫，為什麼父子類同名字段不共享？

前言

Java 繼承機制中，「子類繼承父類所有非 private 成員」是常識，但**字段 (Field/成員變量) 不支持多態**，這導致經典的字段隱藏問題。本文通過代碼實驗、字節碼視角、JLS 規範解讀，徹底釐清父子類同名字段的訪問規則，避免生產 Bug。

一、現象重現：同名字段的「雙重身份」

public class FieldHidingDemo {
    int value = 100; // 父類字段
    
    public static void main(String[] args) {
        Child child = new Child();
        System.out.println("child.value = " + child.value);           // 200
        System.out.println("((Parent)child).value = " + ((Parent)child).value); // 100
    }
}

class Child extends FieldHidingDemo {
    int value = 200; // 子類字段：隱藏而非覆寫
}

輸出：

child.value = 200
((Parent)child).value = 100

二、核心結論：字段隱藏 ≠ 方法覆寫

三、字節碼層面鐵證

編譯後 Child.class 含兩個 value 字段：

Constant pool:
 #2 = Fieldref Parent.value:I
 #3 = Fieldref Child.value:I

// 訪問 child.value (Child 類型引用)
0: getfield #3 // Field Child.value:I

// 訪問 ((Parent)child).value (Parent 類型引用)
3: getfield #2 // Field Parent.value:I

關鍵證據：getfield 指令根據**引用的靜態類型** (編譯期已知) 解析常量池索引，直接訪問對應類別的字段偏移量，**無任何運行時查找**。

四、JLS (Java Language Specification) 規範解讀

• JLS §8.3：字段聲明若與繼承字段同名，則**隱藏**繼承字段。隱藏字段不可直接以簡單名稱訪問父類字段，需用 super.field 或強轉。
• JLS §15.11：字段訪問表達式 Primary.field 的類型為 Primary 的編譯時類型聲明的字段類型。
• 最佳實踐 (Effective Java Item 16)：在公共類中使用訪問器方法 (getter/setter) 而非公共字段，封裝內部表示，消除隱藏風險。

五、避免字段隱藏的工程規範

1. 嚴禁公共實例字段：改為 private + public getter/setter。子類若需擴展行為，覆寫方法而非重新聲明字段。
2. 啟用編譯器警告：javac -Xlint:hidden 或 IDE 設置 (IntelliJ: Inspection > Java > Inheritance > Field hides superclass field)。
3. 命名規範區分：父類字段 _field，子類擴展 _fieldEx，或統一前綴 mField 避免同名。
4. 測試驗證：單元測試覆蓋 Child 對象通過 Parent 引用訪問字段的場景。

六、正確示範：封裝消除隱藏

class Parent {
    private int value = 100;
    public int getValue() { return value; }
    public void setValue(int v) { value = v; }
}

class Child extends Parent {
    // 無字段聲明，繼承父類私有字段 (不可直接訪問)
    // 若需擴展邏輯，覆寫方法：
    @Override
    public int getValue() {
        return super.getValue() + 100; // 200
    }
}

// 使用
Parent obj = new Child();
System.out.println(obj.getValue()); // 200 - 多態生效！

結語

Java 字段隱藏是語言設計的歷史包袱 (為了 C++ 兼容性保留靜態綁定語義)。**鐵律：字段不參與多態，只有方法才有多態**。堅持封裝、私有化字段、提供訪問器、覆寫方法，從根源消除此類陷阱，寫出可維護、可擴展的面向對象代碼。