Java 反射核心：Field 與 Method 類深度解析與實戰應用

前言

java.lang.reflect.Field 與 Method 是 Java 反射 API 的核心，提供了在執行期檢查、修改類別結構與動態呼叫的能力。本文詳細解析兩者關鍵方法、泛型型別處理、存取控制繞過、效能考量與典型應用場景。

一、Field 類：動態存取欄位

1.1 核心方法速查

1.2 型別系統：Class vs Type

• getType()：型別擦除後的 Class。List → List.class；型別變數 T → 擦除邊界（預設 Object.class）。
• getGenericType()：保留泛型資訊的 Type 介面實例（ParameterizedType, TypeVariable, GenericArrayType, WildcardType）。

1.3 讀寫範例

public static void printField(Object target, String fieldName) 
        throws NoSuchFieldException, IllegalAccessException {
    Field field = target.getClass().getDeclaredField(fieldName);
    field.setAccessible(true); // 繞過 private
    Object value = field.get(target);
    System.out.println(fieldName + " = " + value);
}

public static void setField(Object target, String fieldName, Object newValue)
        throws NoSuchFieldException, IllegalAccessException {
    Field field = target.getClass().getDeclaredField(fieldName);
    field.setAccessible(true);
    field.set(target, newValue);
}

1.4 final 欄位特殊規則

• 一般情況下對 final 欄位 set 會拋出 IllegalAccessException。
• 唯一例外：非靜態實例欄位，且已呼叫 setAccessible(true)，在反序列化等特定場景下可修改。
• 強烈不建議 修改 final 常數（static final 基本型別/字串），JVM 會內聯優化，修改不可見且行為未定義。

二、Method 類：動態呼叫方法

2.1 核心方法速查

2.2 invoke 關鍵規則與異常

• 參數匹配：實參型別必須可賦值給形參型別（支援多態、基本型別自動裝箱、介面實作）。
• 可變參數：呼叫時最後一個參數必須是陣列（invoke(obj, "arg1", new String[]{"a","b"})）。
• 常見異常：
  • IllegalAccessException：存取權限不足（未 setAccessible）。
  • IllegalArgumentException：參數數量/型別不匹配、接收者型別錯誤。
  • NullPointerException：非靜態方法傳 null 接收者。
  • InvocationTargetException：底層方法拋出的異常被包裹，真實異常在 getCause() 中。
  • ExceptionInInitializerError：靜態方法觸發類別初始化失敗。

2.3 動態呼叫範例

// 等同於 str.indexOf(".", 8)
public static int dynamicIndexOf(String str, String substr, int fromIndex) {
    try {
        Method m = String.class.getMethod("indexOf", String.class, int.class);
        return (Integer) m.invoke(str, substr, fromIndex);
    } catch (InvocationTargetException e) {
        throw new RuntimeException(e.getCause());
    } catch (ReflectiveOperationException e) {
        throw new IllegalStateException(e);
    }
}

三、效能與安全考量

3.1 效能開銷來源

1. 存取檢查：每次 get/set/invoke 皆檢查權限，setAccessible(true) 可關閉（但需 ReflectPermission）。
2. 裝箱/拆箱：基本型別參數/回傳值產生包裝物件。
3. JIT 難以優化：反射呼叫為黑盒，難以內聯、逃逸分析。
4. Method/Field 查找：getDeclaredMethod 需遍歷方法表，建議快取 反射物件。