我在使用Java推断泛型类型参数的规则时遇到了一些问题。考虑下面的类,它有一个可选的list参数:
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();
}谁能解释一下我在这里遇到了什么类型检查规则,以及解决它的最好方法?在这个示例中,最后的代码示例是令人满意的,但是对于更大的类,我希望能够在不重复代码的情况下编写遵循这个“可选参数”模式的方法。
额外的奖励:相对于emptyList(),什么时候使用EMPTY_LIST是合适的
发布于 2008-11-20 20:34:46
您遇到的问题是,即使方法emptyList()返回List<T>,但您没有为其提供类型,因此它默认返回List<Object>。您可以提供type参数,并让您的代码按预期行为,如下所示:
public Person(String name) {
this(name,Collections.<String>emptyList());
}现在,当您直接进行赋值时,编译器可以为您找出泛型类型参数。这叫做类型推断。例如,如果您这样做:
public Person(String name) {
List<String> emptyList = Collections.emptyList();
this(name, emptyList);
}那么emptyList()调用将正确地返回一个List<String>。
发布于 2008-11-20 20:25:10
您想要使用:
Collections.<String>emptyList();如果你查看emptyList的源代码,你会发现它实际上只是做了一个
return (List<T>)EMPTY_LIST;发布于 2008-11-20 20:25:30
emptyList方法具有以下签名:
public static final <T> List<T> emptyList()单词列表前的<T>意味着它从结果被赋值的变量类型推断出泛型参数T的值。因此,在这种情况下:
List<String> stringList = Collections.emptyList();然后,返回值被List<String>类型的变量显式引用,因此编译器可以确定返回值。在这种情况下:
setList(Collections.emptyList());没有显式的返回变量可供编译器用来确定泛型类型,因此它缺省为Object。
https://stackoverflow.com/questions/306713
复制相似问题