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>。您可以提供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>。

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开始，此类代码将按预期进行编译，并且编译器会推断出type参数。

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类型推断！

Collections.emptyList（）返回List <object>？</object>

4 个答案: