Java泛型数组为何仍会导致类型错误？-小浪学习网

Java泛型数组的类型安全陷阱：深入剖析运行时错误

本文探讨Java泛型中一个易混淆的问题：即使经过类型转换，泛型数组仍可能导致运行时类型错误。我们将通过代码示例分析其根本原因。

下图展示了问题所在：

Java泛型数组为何仍会导致类型错误？

以下代码片段定义了一个名为Pair的泛型类，并通过main方法演示潜在的类型错误：

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]; // 声明一个Pair<String>数组      Object[] objPairs = pairs; // 将泛型数组赋值给Object数组      // 以下语句会抛出ArrayStoreException异常，因为实际数组类型为Pair<String>[]     // objPairs[0] = "123";      // 以下语句不会报错，因为编译器在运行时将Pair<String>视为Pair<Object>     objPairs[0] = new Pair<>(1);      // 以下语句会抛出ClassCastException异常，因为pairs[0]实际存储的是Pair<Integer>     Pair<String> pair = pairs[0];  }

关键在于Pair[] pairs = new Pair[10];以及随后将pairs数组赋值给Object类型的数组objPairs。虽然表面上合法，但由于Java的类型擦除机制，编译器在运行时将Pair视为Pair

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

这就是“仍会导致类型错误”的运行时错误的根源。尽管编译器在编译阶段无法检测到此错误，但数组的运行时类型仍然是Pair[]，而不是Pair

文章版权归作者所有，未经允许请勿转载。

THE END