为什么我得到一个类强制转换异常（与泛型，可比）？

Question

我试图实现一个排序和未排序的数组列表。两者都扩展了一个名为AbstractArrayMyList的类，该类包含常见的操作/实现——toString、clear等。。。。

下面是我的AbstractArrayMyList代码（它实现了我定义的通用接口）

public abstract class AbstractArrayMyList<E> implements MyList<E> {
        protected E[] elementData;
       .....
}

我选择对elementData进行保护，以便排序和未排序的专用数组列表可以访问并对其执行操作。这是我对排序数组列表的声明/代码

public class ArrayListSorted<E extends Comparable<E>> extends AbstractArrayMyList<E> 

这一切都很好。然而，当我测试代码时，使用这些行

ArrayListSorted<Integer> toTestInteger = new ArrayListSorted<Integer>()
toTestInteger.insert(0);
assertEquals(toTestInteger.get(0).intValue(), 0);

我得到了班级演员特例

java.lang.ClassCastException: [Ljava.lang.Object; cannot be cast to [Ljava.lang.Comparable;
    at myarraylist.ArrayListSorted.getIndex(ArrayListSorted.java:38)

发生在这里

@Override
public int getIndex(E value) {
     int lo = 0;
     int hi = size;
     while (lo <= hi) {
         // Key is in a[lo..hi] or not present.
         int mid = lo + (hi - lo) / 2;
         if      (value.compareTo(elementData[mid]) < 0)  hi = mid - 1;

异常与comareTo发生在同一行。有人知道问题是什么吗？我定义了有界通配符，E扩展了可比，这意味着任何希望使用ArrayListSorted的类都必须实现可比接口...

我的意思是我甚至有正确的语法，从http://docs.oracle.com/javase/tutorial/java/generics/upperBounded.html，类型扩展类/接口

Answer 1

问题是您正在使用泛型类型作为数组的类型。数组类型在运行时是具体化的（实际上存在于JVM中），但泛型类型不是。这意味着你的new E[]实际上是一个对象[]，而不是你想要的类型的数组。

标准集合通过不提供对数组的直接访问来处理这个问题，并在像get（）这样的操作上转换到E。如果您真的认为使用类型化数组是最好的选择，那么您需要通过类

protected AbstractArrayMyList(Class<E> clazz) {
    this.elementClass = clazz;
    this.elementData = Array.newInstance(clazz, INITIAL_SIZE);
}

得到ClassCastException的原因是编译器用方法签名的擦除来替换方法签名，这基本上是可接受类型的最大公分母。由于在子类中将E从Object缩小为Comparable，因此该方法上的签名最终是Comparable[]而不是Object[]。