【Java 每日一題】20170112：陣列共變與泛型不變的編譯陷阱

【Java 每日一題】20170112：陣列共變與泛型不變的編譯陷阱

題目程式碼

package Jan2017;
import java.util.ArrayList;
import java.util.List;

public class Ques0112 {
    public static void main(String[] args) {
        Number[] numbers = new Integer[10]; // 1
        List<Number> list = new ArrayList<Integer>(); // 2
    }
}

問題

請問主程式能否正常編譯通過？

解析

第 1 行：Number[] numbers = new Integer[10]; ✅ 編譯通過

Java 陣列具有共變性：Integer 是 Number 的子類，因此 Integer[] 可賦值給 Number[]。但執行期若存入非 Integer 的 Number 子類（如 Double），會拋出 ArrayStoreException。

第 2 行：List<Number> list = new ArrayList<Integer>(); ❌ 編譯失敗

泛型在 Java 中是不變的。List<Integer> 不是 List<Number> 的子型別，無法直接賦值。若允許此賦值，透過 list.add(new Double(1.0)) 即可破壞型別安全。正確寫法：

• List<Number> list = new ArrayList<Number>();
• 或使用上界通配符：List<? extends Number> list = new ArrayList<Integer>();（但無法透過 list 新增元素）

核心知識點總結

更多每日一題解析請關注公眾號 weknow619 或訪問簡書專輯。團隊已入駐分答，歡迎提問交流。