Collections.emptyList() 返回一个 List<Object>?

Question

我在使用 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() 比较合适？

Answer 1

您遇到的问题是，即使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>。

Answer 2

你想使用：

Collections.<String>emptyList();

如果您查看 emptyList 的源代码，您会发现它实际上只是做了一个

return (List<T>)EMPTY_LIST;

Answer 3

emptyList 方法有这个签名：

public static final <T> List<T> emptyList()

List 之前的<T> 表示它从分配结果的变量类型推断泛型参数 T 的值。所以在这种情况下：

List<String> stringList = Collections.emptyList();

然后返回值被List<String> 类型的变量显式引用，因此编译器可以计算出来。在这种情况下：

setList(Collections.emptyList());

编译器没有明确的返回变量来确定泛型类型，所以它默认为Object。

Answer 4

从 Java 8 开始，这种代码按预期编译，类型参数由编译器推断。

public Person(String name) {
    this(name, Collections.emptyList()); // Inferred to List<String> in Java 8
}

public Person(String name, List<String> nicknames) {
    this.name = name;
    this.nicknames = nicknames;
}

Java 8 中的新功能是表达式的target type 将用于推断其子表达式的类型参数。在 Java 8 之前，仅将分配和参数直接分配给用于类型参数推断的方法。

在这种情况下，构造函数的参数类型将是Collections.emptyList() 的目标类型，并且将选择返回值类型以匹配参数类型。

这个机制是在 Java 8 中添加的，主要是为了能够编译 lambda 表达式，但它总体上改进了类型推断。

Java 在每个版本中都越来越接近正确的Hindley–Milner 类型推断！