Lambda表達式在Java中的類型推斷主要依賴于上下文。編譯器會根據Lambda表達式所在的上下文來推斷出參數類型和目標類型。這種推斷過程被稱為“類型推斷”。
類型推斷的過程可以分為以下幾個步驟：
確定目標類型：首先，編譯器會查找Lambda表達式所在的上下文，以確定其目標類型。目標類型通常是一個接口或者一個方法的參數類型。例如，如果Lambda表達式被賦值給一個函數式接口類型，那么目標類型就是這個函數式接口。
檢查函數描述符：接下來，編譯器會檢查目標類型的函數描述符（function descriptor），這是一個描述接口方法簽名的元素。函數描述符包括方法的參數類型、返回類型以及拋出的異常類型。
類型推斷：根據函數描述符，編譯器會嘗試推斷Lambda表達式的參數類型。如果Lambda表達式的參數類型已經明確指定了，那么編譯器會直接使用這些類型。如果沒有明確指定，編譯器會嘗試根據上下文推斷出參數類型。
類型兼容性檢查：最后，編譯器會檢查推斷出的參數類型是否與目標類型的函數描述符兼容。如果兼容，那么類型推斷成功；否則，編譯器會報錯。
需要注意的是，類型推斷并不總是成功的。在某些情況下，編譯器可能無法推斷出正確的參數類型，這時候需要顯式地指定參數類型。此外，類型推斷也可能導致歧義，例如當兩個接口方法具有相同的函數描述符時。在這種情況下，需要顯式地指定目標類型，以消除歧義。
