我在浏览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();
}
谁能解释我在这里遇到什么类型检查规则,以及解决该问题的最佳方法?在此示例中,最终的代码示例令人满意,但是对于较大的类,我希望能够按照这种“可选参数”模式编写方法,而无需复制代码。为了获得额外的荣誉:何时使用
EMPTY_LIST
而不是emptyList()
? 最佳答案
您遇到的问题是,即使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>
。