java - 泛型和类，在构造函数中决定子类

Question

我希望能够让我的构造函数（其中一个）决定它想要使用的列表的实现。我想出的代码在没有警告的情况下编译得很好，但是 IDE（eclipse）在注释行上抱怨，为什么以及如何推断类型？

public class GenericClassTest<T> {

private List<T> list;

//stuff...

public GenericClassTest(Class<? extends List> listCreator)
        throws InstantiationException, IllegalAccessException {
    this.list = listCreator.newInstance(); // how to infer type T? where
                                            // does diamondoperator go?
}

public static void main(String[] args) throws InstantiationException,
        IllegalAccessException {
    GenericClassTest<Integer> one = new GenericClassTest<>(ArrayList.class);
    GenericClassTest<String> two = new GenericClassTest<>(LinkedList.class);
    one.list.add(13);
    two.list.add("Hello");
    System.out.println(one.list);
    System.out.println(two.list);
}


}

Answer 1

你真的不需要。请记住，无论如何type-erasure都会在运行时替换Twith 。Object因此，在运行时，您将始终拥有一个List<Object>. T因此，它是否是构造调用的一部分并不重要，因为它无论如何都会被忽略。泛型是编译时的便利，它们在运行时不会做很多事情。

Answer 2

如果您想在代码中使用泛型，请尝试以下操作：

class Sample {
    static <T,L extends List<T>> L newList(Class<L> clazz) 
        throws InstantiationException, IllegalAccessException {
        return clazz.newInstance();
    }

    static <T> void mainCode() throws InstantiationException, IllegalAccessException {
        List<T> list;
        list = Sample.<String, ArrayList<String>>newList(ArrayList.class);      
    }