Java 数组的类型安全：为什么不能存不同类型-java教程-PHP中文网

java数组是类型安全的容器，编译期强制元素为声明类型或其子类型，运行时通过arraystoreexception兜底校验；协变性允许string[]赋值给object[]，但存入非string对象会抛出该异常。

java 数组的类型安全：为什么不能存不同类型

Java 数组是类型安全的容器，它在编译期就强制要求所有元素必须是声明时指定的同一类型（或其子类型），这是由 Java 的数组协变性（covariance）和运行时类型检查共同决定的。

数组的类型声明决定了元素的合法类型

当你写 String[] arr = new String[3];，JVM 在堆中创建了一个专门存放 String 引用的数组对象。此时：

你可以存 arr[0] = "hello";
但不能存 arr[1] = 123;（编译报错：类型不匹配）
也不能存 arr[2] = new Object();（编译报错）

因为编译器会检查赋值表达式的类型是否与数组声明类型兼容。

OpenJDK 24

OpenJDK 24 Windows x64 官方参考实现（24+36），适合 Windows 环境进行 Java 开发、编译、运行和版本兼容性验证。

下载

协变性带来的“看似能存不同类”，实则受 runtime 检查约束

Java 数组是协变的：String[] 是 Object[] 的子类型。所以以下代码能通过编译：

Object[] objArr = new String[2];
objArr[0] = "ok";        // ✅ 合法：String 是 Object 子类
objArr[1] = new Integer(1); // ❌ 运行时报 ArrayStoreException

注意：这行 objArr[1] = new Integer(1); 编译通过，但运行时抛出 ArrayStoreException。
原因：JVM 在运行时会检查实际数组对象的真实类型（这里是 String[]），发现要存入的是 Integer，违反了底层数组的实际元素类型约束。

为什么设计成这样？

编译期类型安全：防止明显错误（如直接往 int[] 存 String）。
运行时兜底保护：协变场景下靠 ArrayStoreException 避免破坏类型一致性。
与泛型对比：泛型是类型擦除的，不支持运行时类型检查；而数组保留完整类型信息（getClass().getComponentType() 可查），所以能做 runtime 校验。

基本类型数组更严格

int[]、double[] 等原始类型数组完全不接受任何引用类型，也不接受其他基本类型：

int[] nums = new int[2];
nums[0] = 42;        // ✅
nums[1] = 'a';       // ✅ 自动提升为 int（字符转 ASCII 值）
nums[1] = "123";     // ❌ 编译失败：String 无法转 int
nums[1] = 3.14;      // ❌ 编译失败：double 不能隐式转 int（需显式强转）