java - Java 中的 Varargs 和泛型

Question

考虑以下场景:

<T> void function(T...args){
   ...code...
}

然后我使用 Integer[] 调用它。编译器如何假定 T 是 Integer，而不是 Integer[]？ (请注意，我很高兴是这种情况，但我仍然觉得歧义很奇怪)。

此外，如果我希望 T 为 Integer[]，我是否可以这样做(假设装箱/拆箱不存在)？

Answer 1

Java 编译器足够聪明，知道这一点，因为你给它一个 Integer[]，你可能意味着 T 是 Integer，而不是 Integer[]。我假设这是将 ... 定义为可变参数的 Java 语言规范的一部分。

如果你想指定 T 是什么，你可以使用以下语法:

Integer[] ary = { 1, 2, 3 };
myObj.function(ary); // T is Integer
myObj.<Integer>function(ary); // T is Integer
myObj.<Integer[]>function(ary); // T is Integer[]


<Integer>function(ary); // this is invalid; instead you could do...
this.<Integer>function(ary); // this if it's an instance method
MyClass.<Integer>function(ary); // or this if it's static