为什么我不能将类型参数显式传递给通用 Java 方法？

Question

我定义了一个 Java 函数：

static <T> List<T> createEmptyList() {
    return new ArrayList<T>();
}

调用它的一种方法是这样的：

List<Integer> myList = createEmptyList(); // Compiles

为什么我不能通过显式传递泛型类型参数来调用它？ ：

Object myObject = createEmtpyList<Integer>(); // Doesn't compile. Why?

我从编译器收到错误Illegal start of expression 。

Answer 1

当java编译器无法为静态方法自己推断参数类型时，您始终可以使用完全限定的方法名称传递它：Class。 <Type> method（）;

Object list = Collections.<String> emptyList();

Answer 2

如果将类型作为方法参数传入，则可以。

static <T> List<T> createEmptyList( Class<T> type ) {
  return new ArrayList<T>();
}

@Test
public void createStringList() {
  List<String> stringList = createEmptyList( String.class );
}

方法不能以与类型相同的方式进行泛化，因此具有动态类型泛型返回类型的方法的唯一选项 - phew是满口的:-) - 是将类型作为参数传递。

有关Java泛型的真正优秀常见问题， 请参阅Angelika Langer的泛型常见问题解答 。

。
。

跟进：

在此上下文中使用Collection.toArray( T[] )的数组参数是没有意义的。 在那里使用数组的唯一原因是因为使用相同的（预分配的）数组来包含结果（如果数组足够大以使它们全部适合）。 这节省了在运行时始终分配新阵列的过程。

但是，出于教育目的，如果您确实想要使用数组类型，则语法非常相似：

static <T> List<T> createEmptyList( T[] array ) {
  return new ArrayList<T>();
}

@Test
public void testThing() {
  List<Integer> integerList = createEmptyList( new Integer[ 1 ] );
}

Answer 3

自从我挖掘Java的那些部分以来已经有一段时间了，但......

为什么你不能这样做可能是语言开发人员的设计选择。 尽管如此，由于Java使用的类型擦除 ，泛型信息无论如何都会在编译时被删除，因此在您的示例中，无论您是否具有类型参数，它都将创建完全相同的字节代码。

Answer 4

@pauldoo是的，你是对的。 这是java泛型imho的弱点之一。

我对Cheekysoft的回应我想建议看一下Java人员自己如何做，比如T [] AbstractCollection＃toArray （T [] a）。 我认为Cheekysofts版本更优越，但Java版本具有熟悉的优势。

编辑：添加链接。 重新编辑：在SO上发现了一个bug :)

---

关于Cheekysoft的后续行动：嗯，因为它是应该返回的某种类型的列表，相应的示例应该类似于：

static <T> List<T> createEmptyList( List<T> a ) {
  return new ArrayList<T>();
}

但是，传递类对象显然是更好的。 我唯一的论点就是熟悉，而在这个确切的例子中它并不值得（事实上它很糟糕）。