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()

那个 <T> 在单词List之前的意思是从结果所分配的变量类型推断泛型参数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中的新特性是：目标类型将用于推断其子表达式的类型参数。在Java 8之前，只有直接赋值和方法参数用于类型参数推断。

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

这种机制主要是为了能够编译 lambda 表达式而在 Java 8 中添加，但它一般会改善类型推断。

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

友情链接