如何传递类名到抽象超类构造函数？

Question

这是基于我的最后一个问题，为什么我会得到一个类强制转换异常（与泛型类似）？

这又是我的设计。我有一个抽象的超类AbstractArrayList和两个扩展它的具体子类sorted和UnsortedArrayList。

这里的AbstractArrayList管理实际数据，因为它需要为已经实现的方法。

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

下面是ArrayListSorted的声明，它扩展了AbstractArrayMyList

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)

ArrayListSorted-java第38行在这个方法中

public int getIndex(E value) {
      ....
     line 38 - if      (value.compareTo(elementData[mid]) < 0)  hi = mid - 1;

我从问题中得到的回答澄清了异常是由什么引起的。当我试着打这个电话的时候

value.compareTo(elementData[mid]) < 0

值的类型正确，因为“扩展”部分会将类型对象缩小为可比较的类型。然而，运行java字节码的JVM只会将elementData数组识别为对象数组，因此当我试图将elementData[mid]转换为Comparable时，它实际上不是Comparable类型。

chrylis在另一个问题中给我的解决方案是在AbstractArrayList中有一个构造函数来构造正确的类型化数组

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

我试图在我的排序数组列表子类中调用这个构造函数

public class ArrayListSorted<E extends Comparable<E>> extends AbstractArrayMyList<E> 
       public ArrayListSorted() {
             super(Class.forName(("E"));
        }
   ...

我从这个线程得到的语法——在java中将一个类作为参数传递给一个方法

但是我得到一个编译器错误-构造函数AbstractArrayMyList（类）未定义。有人知道问题是什么吗？我在AbstractArrayList的问题中定义了chrylis在类实例中提供的同一个构造函数。

Answer 1

您会得到错误构造函数AbstractArrayMyList（Class）是未定义的，因为您没有这样的构造函数。

public AbstractArrayMyList(Class<E> clazz)
{
    elementData=(E[])Array.newInstance(clazz);
}

Answer 2

不，不是字面上的E，而是您用于E的类。请参见EnumMap的构造函数：

new EnumMap<>(KeyEnum.class)

Answer 3

如果需要参数的具体类，则必须指定它。无法从类型参数E派生它。

这适用于ArrayListSorted（）构造函数。如果要保持ArrayListSorted为泛型（使用类型参数），则只能传递类对象。如果要使其具体化，只需指定参数和类即可。

在这种情况下，我会使用一个具体类名称，如：

public class ArrayListSorted<E extends Comparable<E>>
  extends AbstractArrayMyList<E> {
   public ArrayListSorted(Class<E> cls) {
         super(cls);
    }
...

public IntArrayListSorted extends ArrayListSorted<Integer> {
  public IntArrayListSorted() {
    super(Integer.class);
  }
...

如您所见，当您指定类型参数（...扩展ArrayListSorted

一种选择是，使用通用接口作为实现，这样您就可以：

public class ArrayListSorted<E extends Comparable<E>> extends AbstractArrayMyList<Comparable>
{
    public ArrayListSorted()
    {
        super(Comparable.class);
    }
}