方法句柄調用時異常傳播規則取決于類型、調用方式及異常類型。1.invokeexact要求嚴格類型匹配，不匹配拋出wrongmethodtypeexception，直接傳播底層異常或包裝成undeclaredthrowableexception；2.invoke嘗試類型轉換，失敗拋出classcastexception，對未檢查異常可能直接拋出或包裝；3.處理undeclaredthrowableexception可通過修改方法句柄類型、捕獲并獲取原始異常或使用invokewitharguments；4.Lambda表達式受限于函數式接口，無法拋出未聲明的檢查異常，而方法句柄更靈活，可通過catchexception轉換異常；5.調用鏈中異常沿鏈傳播，可用filterreturnvalue和filterarguments插入處理器；6.實際案例中可將sqlexception轉換為運行時異常以實現優雅處理。
方法句柄（MethodHandle）調用時異常傳播規則比較微妙，簡單來說，它會根據方法句柄的類型和調用方式，決定異常是直接拋出還是包裝后拋出。這直接影響了我們如何處理方法句柄調用中可能出現的各種異常。
方法句柄調用時，異常的傳播方式取決于幾個關鍵因素：方法句柄的類型、調用方式（invokeExact, invoke, invokeWithArguments）以及異常本身的類型。
方法句柄調用異常的常見場景
方法句柄調用時可能遇到的異常類型有很多，理解這些場景有助于我們更好地處理異常。
-
類型不匹配異常： 這是最常見的異常之一。如果方法句柄的參數類型與調用時提供的參數類型不匹配，或者返回值類型不匹配，就會拋出WrongMethodTypeException。例如，你期望一個String參數，卻傳入了一個Integer。
-
訪問權限異常： 如果方法句柄嘗試訪問一個私有方法或字段，但沒有足夠的權限，就會拋出IllegalAccessException。這通常發生在嘗試通過方法句柄繞過訪問控制時。
-
空指針異常： 如果方法句柄的目標對象為NULL，或者在方法句柄內部解引用了一個null值，就會拋出NullPointerException。這在處理實例方法時尤其需要注意。
-
檢查型異常： 如果方法句柄調用的方法聲明拋出檢查型異常（Checked Exception），而方法句柄本身沒有聲明拋出該異常，那么在調用時會拋出UndeclaredThrowableException。這是因為方法句柄需要顯式地處理或聲明拋出這些異常。
-
動態鏈接異常： 在某些情況下，方法句柄可能無法找到要調用的方法，或者在運行時發生其他動態鏈接問題，這時會拋出LinkageError或其子類。這通常發生在類加載或方法解析過程中。
-
算術異常： 例如除以零，會導致ArithmeticException。
-
數組越界異常： 訪問數組時，如果索引超出數組的邊界，會拋出ArrayIndexOutOfBoundsException。
-
類轉型異常： 嘗試將一個對象強制轉換為不兼容的類型時，會拋出ClassCastException。
invokeExact vs. invoke：異常處理的區別
invokeExact和invoke是方法句柄最常用的兩個調用方法，它們在異常處理方面有著顯著的區別。invokeExact要求參數類型和返回值類型必須嚴格匹配，任何不匹配都會立即拋出WrongMethodTypeException。而invoke則會嘗試進行類型轉換，如果轉換失敗，同樣會拋出異常，但異常類型可能不同。例如，invoke可能會嘗試將Integer轉換為String，如果轉換失敗，會拋出ClassCastException。
更進一步，invokeExact的異常傳播更為直接，它會直接拋出底層方法拋出的異常，前提是方法句柄的類型聲明允許拋出該異常。如果沒有聲明，則會包裝成UndeclaredThrowableException。而invoke則會嘗試“適應”異常，例如，如果底層方法拋出一個未檢查異常（RuntimeException），invoke可能會直接拋出該異常，或者將其包裝成一個更通用的異常。
如何處理UndeclaredThrowableException
UndeclaredThrowableException是方法句柄異常處理中一個比較棘手的問題。當方法句柄調用的方法拋出一個檢查型異常，但方法句柄本身沒有聲明拋出該異常時，就會拋出UndeclaredThrowableException。解決這個問題的方法有幾種：
-
修改方法句柄的類型： 使用MethodHandles.catchException等方法，將檢查型異常轉換為運行時異常，或者將其重新拋出。
-
在調用處捕獲異常： 在調用方法句柄的地方，捕獲UndeclaredThrowableException，然后獲取其getCause()方法返回的原始異常，并進行處理。
-
使用invokeWithArguments： 這種方式允許你傳入一個對象數組作為參數，方法句柄會自動進行類型轉換和異常處理。
方法句柄與Lambda表達式的異常處理差異
方法句柄和Lambda表達式在異常處理方面也有一些差異。Lambda表達式通常會受到函數式接口的限制，如果函數式接口沒有聲明拋出異常，那么Lambda表達式內部就不能拋出檢查型異常。而方法句柄則更加靈活，可以通過調整方法句柄的類型來處理各種異常。
例如，如果一個函數式接口的apply方法沒有聲明拋出異常，那么下面的Lambda表達式是無法編譯通過的：
// 假設MyFunctionInterface的apply方法沒有聲明拋出IOException MyFunctionInterface func = () -> { throw new IOException("Example"); // 編譯錯誤 };
但是，使用方法句柄可以很容易地解決這個問題：
MethodHandle mh = MethodHandles.lookup().findVirtual(MyClass.class, "myMethod", MethodType.methodType(void.class)); mh = MethodHandles.catchException(mh, IOException.class, MethodHandles.throwException(void.class, IOException.class));
這段代碼使用catchException方法將IOException轉換為運行時異常，從而避免了編譯錯誤。
方法句柄調用鏈中的異常處理
在復雜的應用中，方法句柄可能會形成一個調用鏈，一個方法句柄調用另一個方法句柄。在這種情況下，異常的傳播會更加復雜。如果調用鏈中的某個方法句柄拋出異常，那么異常會沿著調用鏈向上傳播，直到被捕獲或到達頂層。
為了更好地處理這種情況，可以使用MethodHandles.filterReturnValue和MethodHandles.filterArguments等方法，在調用鏈中插入異常處理器。這些方法允許你在方法句柄調用前后執行一些額外的操作，例如記錄日志、轉換異常或重試操作。
實際案例分析：使用方法句柄處理數據庫連接異常
假設我們需要使用方法句柄來調用一個數據庫查詢方法，但是數據庫連接可能會失敗，拋出SQLException。為了優雅地處理這種情況，我們可以使用以下代碼：
MethodHandle dbQueryMH = MethodHandles.lookup().findVirtual(DatabaseHelper.class, "executeQuery", MethodType.methodType(ResultSet.class, String.class)); // 創建一個異常處理器，將SQLException轉換為運行時異常 MethodHandle exceptionHandler = MethodHandles.lookup().findStatic(MyUtils.class, "handleSQLException", MethodType.methodType(void.class, SQLException.class)); // 使用catchException方法將SQLException轉換為運行時異常 dbQueryMH = MethodHandles.catchException(dbQueryMH, SQLException.class, exceptionHandler); // 調用方法句柄 try { ResultSet rs = (ResultSet) dbQueryMH.invoke(databaseHelper, "SELECT * FROM users"); // 處理結果集 } catch (Throwable e) { // 處理其他異常 e.printStackTrace(); }
在這個例子中，我們首先獲取了數據庫查詢方法的MethodHandle，然后創建了一個異常處理器handleSQLException，用于將SQLException轉換為運行時異常。最后，我們使用catchException方法將SQLException轉換為運行時異常，并在調用方法句柄時捕獲其他可能的異常。
