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

pau*_*doo 24 java generics syntax

我已经定义了一个Java函数:

static <T> List<T> createEmptyList() {
    return new ArrayList<T>();
}
Run Code Online (Sandbox Code Playgroud)

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

List<Integer> myList = createEmptyList(); // Compiles
Run Code Online (Sandbox Code Playgroud)

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

Object myObject = createEmtpyList<Integer>(); // Doesn't compile. Why?
Run Code Online (Sandbox Code Playgroud)

Illegal start of expression从编译器中得到错误.

小智 36

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

Object list = Collections.<String> emptyList();
Run Code Online (Sandbox Code Playgroud)

  • 对于非静态方法,可以使用this关键字:`Object list = this.<String> emptyList();` (8认同)

Che*_*oft 25

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

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

@Test
public void createStringList() {
  List<String> stringList = createEmptyList( String.class );
}
Run Code Online (Sandbox Code Playgroud)

方法不能以与类型相同的方式进行泛化,因此具有动态类型泛型返回类型的方法的唯一选项 - 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 ] );
}
Run Code Online (Sandbox Code Playgroud)

  • -1 这是一个常见的误解,即当没有其他参数让编译器推断泛型类型时,需要将类文字传递给泛型方法。真正需要的是 [Xavier 的回答](http://stackoverflow.com/a/25877) 中提到的语法。无论如何,正如 [Henrik 的回答](http://stackoverflow.com/a/24996) 所提到的,当一个新的泛型对象被立即分配给一个变量时,没有真正的用例来指定它的类型参数 - 只有类型从那时起,即使在编译时,该变量也很重要。这就是 Java 7 的 `&lt;&gt;` 语法背后的原因。 (2认同)