ArrayStoreException是JVM在array[i] = obj赋值时，依据数组运行时组件类型强制校验元素类型兼容性而抛出的运行时异常；其根源在于数组协变导致编译期类型宽松与运行时类型严格检查的冲突，如Object[] arr = new String[5]; arr[0] = new Integer(1)即触发。
Java 中多态在数组存储中触发类型检查异常，本质是 JVM 运行时对数组元素类型的**强制校验机制**与多态带来的**编译期类型宽松性**之间的冲突。它不发生在声明或赋值语句本身，而是在执行 array[i] = obj 这类赋值操作时，JVM 检查实际对象类型是否兼容数组的**运行时组件类型（runtime component type）**。
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
为什么多态会让数组类型检查“失效”？
多态允许父类引用指向子类对象，比如：Object[] arr = new String[5];
这行代码合法——因为 String[] 是 Object[] 的子类型（数组协变），编译器允许向上转型。但此时数组的**真实类型仍是 String[]**，JVM 在运行时会记住这个信息。
当你随后写：arr[0] = new Integer(42);
虽然 arr 声明为 Object[]，但 JVM 实际检查的是：能否把 Integer 存进一个 String[]？答案是否定的，于是抛出 ArrayStoreException（不是 ClassCastException）。
哪些多态场景容易触发 ArrayStoreException？
-
父类数组引用指向子类数组实例：如
Number[] nums = new Integer[3];，再尝试nums[0] = new Double(1.0);—— 合法（Double是Number子类）；但若写nums[0] = new String("x");就会失败。 -
接口数组引用指向具体实现类数组：如
Runnable[] tasks = new Thread[2];，再赋tasks[0] = () -> {}; // Lambda 实现 Runnable—— 失败，因为Thread[]不接受任意Runnable实例。 -
泛型擦除 + 多态混用原始数组：如方法接收
Object[]参数，内部误以为可存任意对象，却传入了String[]实例，后续赋值就可能崩。
如何避免这类异常？
-
优先使用泛型集合代替数组：
List<String>在编译期就禁止插入Integer，比运行时崩溃更安全。 -
避免用父类引用操作子类数组：如果必须多态，尽量只读不写；写操作前确认元素类型，例如：
if (arr instanceof String[]) { /* 安全赋值 */ } -
明确数组的实际类型：不要依赖变量声明类型判断存储能力，要以
new Xxx[...]创建时的类型为准。 -
用
instanceof预检再赋值（谨慎）：适用于动态场景，但注意instanceof对数组类型也有效，如if (arr instanceof String[]) {...}。
ArrayStoreException 和 ClassCastException 的区别
ArrayStoreException 专用于**向数组写入不兼容类型元素**；ClassCastException 发生在**显式强制转型失败**（如 (String)obj）。两者都属运行时异常，但触发点不同：前者在数组赋值时，后者在转型表达式求值时。多态让它们都更容易出现，但根源不同——一个是容器类型约束，一个是引用类型转换约束。
