该语句能编译通过，是因为Java数组具有历史遗留的协变性（covariance）设计，且编译器对数组类型转换仅做“宽泛检查”，将类型安全责任推迟至运行时；但执行时必然抛出ClassCastException，因其违反了数组组件类型的实质约束。
该语句能编译通过，是因为java数组具有历史遗留的协变性（covariance）设计，且编译器对数组类型转换仅做“宽泛检查”，将类型安全责任推迟至运行时；但执行时必然抛出`classcastexception`，因其违反了数组组件类型的实质约束。
在Java中，Integer[] x = (Integer[]) new Object[100]; 这行代码看似荒谬——将一个 Object[] 强转为 Integer[]，却能顺利通过编译。这背后并非设计合理，而是Java语言早期为兼容性和简化实现所作的历史妥协，核心在于数组的协变性（covariance） 与运行时类型检查机制的组合效应。
一、为什么能编译？——协变性 + 编译器“放行”策略
Java规定：所有数组类型都是协变的。这意味着：
✅ Integer[] 是 Object[] 的子类型（即 Integer[] 可赋值给 Object[] 变量）；
❌ 但反过来——Object[] 不是 Integer[] 的子类型（逻辑上不成立），然而Java编译器允许你显式强制转型，前提是目标类型是引用类型数组（非基本类型数组），且源类型也是某种引用类型数组（如 Object[]、Number[] 等）。
编译器在此处的检查极为宽松：它只验证
- 源表达式类型是否为 某个引用类型数组（
Object[]✅）， - 目标转型类型是否为 另一个引用类型数组（
Integer[]✅）， - 并不验证二者是否存在真实的继承关系（
Object[]和Integer[]在运行时无父子类关系）。
因此，编译器认为：“用户明确写了 (Integer[])，那我就信你”，从而放行。这是一种典型的编译期信任、运行期校验（fail-fast at runtime） 设计。
二、为什么运行失败？——ClassCastException 的必然性
尽管编译通过，但该语句在运行时必定崩溃：
public class ArrayCastDemo {
public static void main(String[] args) {
Integer[] x = (Integer[]) new Object[100]; // ← 编译通过，运行抛出 ClassCastException
}
}
输出：
Exception in thread "main" java.lang.ClassCastException:
[Ljava.lang.Object; cannot be cast to [Ljava.lang.Integer;
原因在于：JVM在执行数组强制转型时，会严格检查目标数组的实际运行时类型是否与声明的组件类型兼容。
-
new Object[100]创建的是Object[]类型的数组对象，其运行时类型描述符为[Ljava.lang.Object;； - 而
Integer[]的运行时类型描述符为[Ljava.lang.Integer;； - JVM判定二者不兼容（
Object不是Integer的父类，且数组类型不可逆协变），故立即抛出ClassCastException。
? 补充说明：若改为
Object[] src = new Integer[100]; Number[] dst = (Number[]) src;则运行成功——因为Integer是Number的子类，Integer[]协变地属于Number[]，此时转型合法。
三、对比：泛型为何更安全？——不变性（Invariance）的胜利
与数组不同，Java泛型是不变的（invariant）：
List<integer> list = new ArrayList(); // List<number> nums = list; // ❌ 编译错误！泛型拒绝协变赋值</number></integer>
这种设计从根本上杜绝了类似 ns[0] = 5.5; 导致 Integer[] 中混入 Double 的安全隐患。泛型通过类型擦除+编译期强校验，将错误拦截在开发阶段。
而数组的协变性虽在某些反射或通用工具方法中提供便利（如 Arrays.asList() 内部处理），但代价是牺牲了类型安全性，并引入 ArrayStoreException（写入非法类型时）和 ClassCastException（非法转型时）两类运行时异常。
四、最佳实践建议
- 避免数组强制转型：除非在极少数反射或底层框架场景中，并已充分验证运行时类型；
-
优先使用泛型集合：
List替代Integer[]，获得编译期类型保障； -
若必须用数组，请用正确方式初始化：
Integer[] arr = new Integer[100]; // ✅ 正确创建 // 或 Integer[] arr = {1, 2, 3}; // ✅ 字面量初始化 -
警惕
Object[]的滥用：它常是类型擦除的“兜底容器”，但失去所有类型信息，应尽量避免作为中间数据结构。
⚠️ 注意：该行为与
Integer缓存机制（如-128~127范围）完全无关——那是valueOf()和对象复用的优化，而本例涉及的是数组类型系统与JVM运行时模型，属于更底层的语言规范层面。
理解这一机制，不仅有助于规避隐蔽的 ClassCastException，更是深入掌握Java类型系统演进逻辑的关键一课：它提醒我们——语言特性常是权衡的结果，而现代Java开发的稳健之道，在于拥抱泛型、集合与不可变性，远离历史包袱下的危险捷径。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
