Java 方法多載限制：為什麼不能只靠回傳值區分多載？

Java 多載解析僅依據方法名稱 + 參數列表，回傳型別不參與多載解析。核心原因：呼叫端可能忽略回傳值（如獨立敘述 f();），編譯器無法根據上下文判斷呼叫哪個版本。

問題場景

void f() {}
int f() {}
f();  // 編譯器無法決定呼叫哪個版本

設計哲學

• 方法簽名 = 名稱 + 參數型別/順序/數量
• 回傳型別屬於方法契約的一部分，非識別特徵
• 避免呼叫端歧義，保證編譯期確定性

這限制雖減少某些表達力，但換取了呼叫端的清晰性與編譯器的可靠解析。