List<?>[] 被允许是因为其擦除为原始类型 List[]，符合 JVM 数组规则；List<String>[] 被禁止是因泛型擦除后无法保证运行时类型安全，易引发 ClassCastException。

因为 List>[] 是合法的，而 List<string>[]</string> 不是——这不是语法偏好，而是 Java 类型系统为保障运行时安全做的精确区分。

无界通配符数组能创建，是因为它“不可具体化但可擦除”

无界通配符 ? 本身代表一个**未知但确定的类型**，List> 在编译后被擦除为原始类型 List，其数组形式 List>[] 实际等价于 List[]（原始类型数组）。JVM 允许创建原始类型数组，所以 new List>[5] 编译通过，底层生成的是 List[]，类型检查仅发生在元素赋值时（如只能存 List 实例，不能存 String）。

关键点：

• List>[] 的组件类型是 List（原始类型），不是参数化类型，符合 JVM 数组创建规则
• 它不承诺内部元素的泛型一致性（比如可以存 List<String> 和 List<Integer>），但也不会破坏类型安全——因为所有操作都受限于 List 接口，无法通过数组索引直接调用泛型方法

具体泛型数组被禁止，是为了堵住类型漏洞

List<string>[]</string> 要求数组每个元素都是 List<String>，但 Java 运行时无法验证这一点：泛型擦除后，JVM 只看到 List，无法阻止你把 List<Integer> 塞进去。一旦发生，后续强转取值就会触发 ClassCastException。

立即学习“Java免费学习笔记（深入）”；

JavaStoryDevelop

你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在

下载

典型风险链：

• List<string>[] arr = new List<string>[1];</string></string>（假设允许）
• Object[] objArr = arr;（数组协变，合法）
• objArr[0] = new ArrayList<integer>();</integer>（JVM 允许，因只认 List）
• String s = arr[0].get(0); → 运行时抛出异常

通配符数组的用途很有限，别误以为它是“安全替代”

List>[] 虽然能创建，但实际使用中约束极强：

• 声明后只能赋值 List 或 List<?> 实例，不能存 List<String> 等具体泛型对象（会警告或报错）
• 读取时每个元素是 List<?>，只能调用 size()、isEmpty() 等不依赖泛型的方法；调用 get(0) 得到的是 Object，无法安全转型
• 几乎无法用于需要统一元素类型的场景（比如批量处理字符串列表）

真正需要类似语义时，应优先用 List<List<?>> 或 List<List<String>> ——集合天然支持泛型，且类型检查在编译期完成。

一句话总结

List>[] 被允许，是因为它退化成了原始类型数组，牺牲了泛型精度换取了 JVM 层面的可行性；List<string>[]</string> 被禁止，是因为它试图在运行时维持本不存在的泛型契约，Java 宁可编译失败，也不让错误潜入运行时。