Java 反射機制核心原理與實戰：動態獲取類資訊、呼叫方法、繞過封裝

Java 反射機制核心原理與實戰：動態獲取類資訊、呼叫方法、繞過封裝

反射是 Java 動態性的基石，讓程式在**執行期**檢查、修改類結構與行為。框架 (Spring、Hibernate、MyBatis)、註解處理器、動態代理、熱插拔外掛均建立於此。本文系統整理反射核心 API、常見操作模式、效能考量與安全風險。

一、核心概念：Class 物件是入口

JVM 為每個載入的類建立一個 java.lang.Class<T> 實例，包含該類的完整元數據：

• 類名、包名、修飾符、父類、介面、註解
• 所有欄位 (Field)：名稱、類型、修飾符、註解
• 所有方法 (Method)：名稱、回傳類型、參數列表、修飾符、註解、異常宣告
• 所有建構子 (Constructor)：參數列表、修飾符、註解

二、獲取 Class 物件的三種方式

// 1. 類字面常量 (編譯期已知類)
Class<User> clazz1 = User.class;

// 2. 實例 .getClass() (運行期物件)
User user = new User();
Class<?> clazz2 = user.getClass();

// 3. 字串全限定名動態載入 (最常用於框架)
Class<?> clazz3 = Class.forName("com.example.User"); // 可能拋 ClassNotFoundException

// 驗證三者同一
assert clazz1 == clazz2 && clazz2 == clazz3; // JVM 保證同一類載入器下單例

三、核心操作實戰範本

1. 實例化物件

// 無參建構子
User user = (User) clazz.getDeclaredConstructor().newInstance();

// 帶參建構子
Constructor<User> ctor = clazz.getDeclaredConstructor(String.class, int.class);
User user2 = ctor.newInstance("Alice", 25);

// 繞過 private 建構子 (單例模式破壞)
ctor.setAccessible(true);

2. 存取欄位 (含 private)

Field nameField = clazz.getDeclaredField("name"); // 獲取宣告欄位 (含私有)
nameField.setAccessible(true); // 關鍵：暴力反射，繞過封裝檢查
nameField.set(user, "Bob");    // 相當於 user.name = "Bob"
String name = (String) nameField.get(user); // 讀取

// 靜態欄位
Field staticField = clazz.getDeclaredField("COUNT");
staticField.setAccessible(true);
staticField.set(null, 100); // 靜態欄位傳 null

3. 呼叫方法 (含 private、靜態)

// 實例方法
Method toString = clazz.getDeclaredMethod("toString");
toString.setAccessible(true);
String result = (String) toString.invoke(user); // user.toString()

// 帶參方法
Method setAge = clazz.getDeclaredMethod("setAge", int.class);
setAge.invoke(user, 30); // user.setAge(30)

// 靜態方法
Method staticMethod = clazz.getDeclaredMethod("staticFactory", String.class);
staticMethod.invoke(null, "param"); // 靜態方法傳 null

4. 獲取類結構資訊

// 所有 public 方法 (含繼承)
Method[] pubMethods = clazz.getMethods();

// 所有宣告方法 (不含繼承、含私有)
Method[] declaredMethods = clazz.getDeclaredMethods();

// 註解處理
if (clazz.isAnnotationPresent(Entity.class)) {
    Entity entity = clazz.getAnnotation(Entity.class);
    System.out.println("Table: " + entity.name());
}

// 泛型資訊 (ParameterizedType)
Field listField = clazz.getDeclaredField("items");
Type genericType = listField.getGenericType(); // List
if (genericType instanceof ParameterizedType) {
    Type[] args = ((ParameterizedType) genericType).getActualTypeArguments();
    System.out.println("泛型參數: " + args[0]); // class java.lang.String
}

四、反射效能優化關鍵

五、進階應用場景

1. 動態代理 (JDK Proxy / CGLib)：InvocationHandler + 反射呼叫目標方法，實現 AOP。
2. JSON 序列化 (Jackson/Gson)：反射掃描欄位/Getter、處理註解 (@JsonProperty)。
3. ORM 映射 (Hibernate/MyBatis)：反射設定實體欄位、呼叫建構子、檢測髒資料。
4. 依賴注入 (Spring)：反射解析 @Autowired、@Value、建構子注入參數解析。
5. 測試框架 (JUnit/TestNG)：反射發現 @Test 方法、執行生命週期回調。
6. 熱插拔/模組系統：自定義 ClassLoader 載入外部 JAR，反射實例化擴充點。

六、安全風險與防範

• 破壞封裝：setAccessible(true) 可存取/修改 private 狀態，導致不變性失效 (如 String 內部 value 陣列被修改)。
• SecurityManager 限制：舊版 JVM 可透過 SecurityManager 禁止 suppressAccessChecks 權限；JDK 17+ 移除 SecurityManager，改用 --add-opens 模組系統控制。
• 模組化封裝 (JDK 9+)：module-info.java 未 opens 封包時，反射存取非 public 成員會拋 InaccessibleObjectException。解決：--add-opens java.base/java.lang=ALL-UNNAMED 或模組宣告 opens com.yourpkg to java.base。

七、現代替代方案：MethodHandle / VarHandle

// MethodHandle: 直接方法引用，JIT 可內聯，效能接近直接呼叫
MethodHandles.Lookup lookup = MethodHandles.lookup();
MethodHandle mh = lookup.findVirtual(User.class, "getName", MethodType.methodType(String.class));
String name = (String) mh.invokeExact(user); // 無裝箱、無陣列、可內聯

// VarHandle: 直接欄位/陣列元素存取，支援原子操作 (CAS)
VarHandle nameHandle = MethodHandles.lookup()
    .in(User.class)
    .findVarHandle(User.class, "name", String.class);
String name = (String) nameHandle.get(user); // 讀取
nameHandle.set(user, "New"); // 寫入
nameHandle.compareAndSet(user, "Old", "New"); // CAS

建議：框架開發、高頻熱點路徑優先考慮 MethodHandle/VarHandle；一般業務動態化需求反射足夠且可讀性更好。