我在浏览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>

10-02 02:59