Java 7 作為 Project Coin 計劃的重要交付版本，引入了多項語法糖與類型系統優化。其中「簡化可變參數方法調用」看似微小，卻精準解決了泛型與可變參數結合時的編譯器警告誤報問題，並引入 @SafeVarargs 註解將警告責任從調用者轉移給 API 設計者，體現了 Java 類型系統演進的謹慎哲學。
考慮如下常見 API 設計：
public static <T> Collection<T> doSomething(T... entries) { ... }
當調用 doSomething(hm1, hm2) 時（hm1、hm2 為 HashMap<String, String>），編譯器需創建 HashMap<String, String>[] 數組傳遞參數。但 Java 禁止創建具體泛型類型的數組，只能創建原始類型數組 HashMap[] 並強制轉型，導致「unchecked or unsafe operations」警告。
Java 6 及之前：警告發生在調用點，調用者無力解決，只能 @SuppressWarnings 壓制。
Java 7 認定：能夠保證類型安全的是 API 實現者，而非調用者。因此將警告遷移到方法聲明處，強制 API 設計者審視實現邏輯是否真正安全。
@SafeVarargs
public static <T> Collection<T> doSomething(T... entries) {
// 實現者承諾：不進行不安全操作（如將參數數組存入字段、暴露給外部修改等）
List<T> list = new ArrayList<>();
Collections.addAll(list, entries);
return list;
}
@SafeVarargs 後，編譯器抑制該方法聲明處的堆污染警告static、final 方法或構造方法（防止子類覆寫破坏契約）堆污染：變量的靜態類型比運行時類型更精確，導致運行時類型信息丟失或不一致。
// 危險示例：將泛型數組引用賦值給 Object[]，隨後塞入異類對象
@SafeVarargs // 錯誤使用！實際不安全
public static <T> void unsafe(T... args) {
Object[] objArray = args; // 堆污染發生點
objArray[0] = new Object(); // 運行時拋 ArrayStoreException，但泛型信息已污染
T t = args[0]; // ClassCastException：Object 無法轉為 T
}
安全模式：僅讀取參數、構建集合、流式處理、不洩露數組引用、不存儲到字段。
此特性雖小，卻揭示了語言演進的核心挑戰：
@SafeVarargs（若確安全）@SafeVarargs 方法體內是否存在數組逃逸、寫入、轉型等風險操作| 版本 | 警告位置 | 調用者處理 | API 設計者責任 |
|---|---|---|---|
| Java 6- | 調用點 | @SuppressWarnings("unchecked") | 無感知 |
| Java 7+ | 方法聲明 | 無警告（若 API 標註 @SafeVarargs） | 審視實現、標註 @SafeVarargs、承擔類型安全責任 |
這項特性雖不如 try-with-resources、鑽石操作符那般「改變寫代碼的感覺」，卻從根本上修復了泛型與可變參數共存時的類型系統缺陷，是 Java 向更嚴謹、更工程化類型系統邁出的關鍵一步。
參考資料：《The Well-Grounded Java Developer》讀書筆記
