Collections.emptyList()返回一个List <Object>?
我在浏览Java规则推断泛型类型参数时遇到了一些麻烦。 考虑下面的类,它有一个可选的列表参数:
import java.util.Collections;
import java.util.List;
public class Person {
private String name;
private List<String> nicknames;
public Person(String name) {
this(name,Collections.emptyList());
}
public Person(String name,List<String> nicknames) {
this.name = name;
this.nicknames = nicknames;
}
}
我的Java编译器提供了以下错误:
Person.java:9: The constructor Person(String, List<Object>) is undefined
但Collections.emptyList()
返回类型<T> List<T>
,而不是List<Object>
。 添加演员阵容并不会帮助
public Person(String name) {
this(name,(List<String>)Collections.emptyList());
}
产量
Person.java:9: inconvertible types
使用EMPTY_LIST
而不是emptyList()
public Person(String name) {
this(name,Collections.EMPTY_LIST);
}
产量
Person.java:9: warning: [unchecked] unchecked conversion
而以下更改会导致错误消失:
public Person(String name) {
this.name = name;
this.nicknames = Collections.emptyList();
}
任何人都可以解释我在这里遇到的类型检查规则,以及解决它的最佳方法吗? 在这个例子中,最终的代码示例是令人满意的,但是对于更大的类,我希望能够在这个“可选参数”模式下编写方法,而不需要重复代码。
额外的功劳:什么时候适合使用EMPTY_LIST
而不是emptyList()
?
你遇到的问题是即使方法emptyList()
返回List<T>
,你没有提供它的类型,所以它默认返回List<Object>
。 您可以提供类型参数,并让您的代码按预期行事,如下所示:
public Person(String name) {
this(name,Collections.<String>emptyList());
}
现在,当您进行直接分配时,编译器可以为您找出泛型类型参数。 这就是所谓的类型推断。 例如,如果你这样做了:
public Person(String name) {
List<String> emptyList = Collections.emptyList();
this(name, emptyList);
}
那么emptyList()
调用将正确地返回一个List<String>
。
你想要使用:
Collections.<String>emptyList();
如果你看一下emptyList的源代码,你会发现它实际上只是做了一个
return (List<T>)EMPTY_LIST;
emptyList方法有这个签名:
public static final <T> List<T> emptyList()
List之前的<T>
表示它从结果分配给变量的类型推断通用参数T的值。 所以在这种情况下:
List<String> stringList = Collections.emptyList();
然后,返回值由List<String>
类型的变量显式引用,因此编译器可以将其计算出来。 在这种情况下:
setList(Collections.emptyList());
编译器没有明确的返回变量来确定泛型类型,所以它默认为Object
。