数组协变是语言级强制行为，导致运行时arraystoreexception；通配符协变是编译期安全读取机制，禁止写入从而规避运行时风险。
Java 中通配符的协变性和数组的协变性，表面都涉及“子类型数组可赋给父类型引用”，但本质不同：数组协变是语言级强制行为，直接导致运行时 ArrayStoreException；而通配符协变是泛型系统在编译期设计的**安全读取机制**，不引入运行时类型风险。
数组协变：编译放行，运行崩溃
Java 规定：若 B extends A，则 B[] 是 A[] 的子类型。这使得以下代码合法通过编译：
String[] strs = new String[2];-
Object[] objs = strs;✅ 编译成功
但 objs 底层仍是 String[]，JVM 在每次写入时检查实际组件类型。一旦存入非 String 实例（如 new Integer(1)），立即抛出 ArrayStoreException——错误被推迟到运行时，且无法静态预防。
通配符协变：只读安全，不开放写入
泛型本身不变，但通配符 ? extends T 显式启用协变语义，仅允许安全读取：
Java JDK 25 来自 OpenJDK 官方归档，版本为 JDK 25，本条下载地址已指向官方 Windows x64 zip 安装包直链，适合调试旧项目或兼容旧版 Java 运行环境。
-
List extends Number> nums = new ArrayList<integer>();</integer>✅ 编译通过 -
Number n = nums.get(0);✅ 安全（返回类型上限为Number） -
nums.add(new Double(1.0));❌ 编译失败（add方法形参是capture of ? extends Number，不可接受任何具体类型）
它不改变底层容器的实际类型，也不允许向结构中插入任意值——协变仅服务于“生产者”（Producer）场景，从设计上就规避了 ArrayStoreException 类似的写入风险。
关键差异：是否保留运行时类型信息 & 是否开放写操作
数组协变依赖运行时具体化类型（reified type），写操作触发动态检查；通配符协变基于编译期类型约束，写操作被语法禁止。前者是历史妥协带来的隐患，后者是泛型为类型安全做的主动防御。
为什么泛型数组仍可能出错？
注意：虽然泛型本身不变，但若强行创建泛型数组（如 List<string>[] arr = new ArrayList<string>[2]</string></string>），JVM 会因类型擦除生成原始类型数组（ArrayList[]），此时若用 Object[] 引用赋值并写入不兼容对象，仍可能引发 ArrayStoreException。这不是通配符的问题，而是泛型数组本身不被推荐使用的体现——应优先用 List<list>></list> 替代。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
