Java泛型：剖析“参数化类型数组”的运行时类型错误
Java泛型中，创建参数化类型数组看似可行，实则隐藏着运行时陷阱。本文将通过代码示例，深入探讨这种类型错误的根源。
Java泛型的类型擦除机制是问题的关键。编译器在编译时会移除泛型类型信息，只保留原始类型。例如，Pair<string></string>在运行时等同于Pair。 因此，虽然Pair<string>[] pairs = new Pair[10];</string>看似正确，但pairs数组的运行时类型仍然是Pair[]，而非Pair<string>[]</string>。
以下代码演示了这种类型错误：
AI 舌诊面诊问诊医疗系统 + 诊疗商城系统源码是一套结合 AI 辅助诊断与商品转化的健康类程序，基于浩创云、ThinkPHP（PHP）开发，支持微信服务号与 H5 端，适合做中医舌诊面诊问答、健康建议推送以及配套诊疗商品的运营。
立即学习“Java免费学习笔记（深入）”；
private static class Pair<T> {
public T t;
public Pair(T t) {
this.t = t;
}
}
public static void main(String[] args) {
Pair<String>[] pairs = new Pair[10];
Object[] objPairs = pairs; //看似合法，但实际类型仍然是Pair[]
// 这里抛出ArrayStoreException: java.lang.String，因为数组的实际类型是Pair[]
// objPairs[0] = "123";
// 这里不会报错，因为类型擦除后，检查的是Pair类型
objPairs[0] = new Pair<Integer>(1);
// 这里抛出ClassCastException: java.lang.Integer cannot be cast to java.lang.String
// Pair<String> pair = pairs[0];
}
代码中，将Pair<string>[]</string>赋值给Object[]看似合理，但尝试向objPairs中添加String对象时，会引发ArrayStoreException异常，因为数组的底层类型仍然是Pair[]。 而添加Pair<integer></integer>则不会报错，因为类型擦除后，只检查了Pair类型。 最后尝试将pairs[0]强制转换为Pair<string></string>，由于实际存储的是Pair<integer></integer>，则会抛出ClassCastException。
总结：Java泛型的类型擦除机制导致数组的运行时类型与编译时类型不一致，从而可能引发ArrayStoreException或ClassCastException。 因此，直接创建参数化类型的数组是不可靠的，可能导致运行时错误。 避免此类问题的最佳方法是使用集合类（如ArrayList<pair>></pair>），它们在运行时保留了泛型类型信息。
