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

我在使用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()是合适的?

222127 次浏览
小开

你想要使用:

Collections.<String>emptyList();

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

return (List<T>)EMPTY_LIST;
小开

emptyList方法有这样的签名:

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

单词List前面的<T>意味着它从赋值结果的变量类型推断出泛型参数T的值。在这种情况下:

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

返回值然后由类型为List<String>的变量显式引用，因此编译器可以找出它。在这种情况下:

setList(Collections.emptyList());

没有显式的返回变量供编译器用来找出泛型类型，因此它默认为Object。

小开
最佳答案

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

小开

由于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中的新事物是表达式的< em >目标类型< / em >将用于推断其子表达式的类型参数。在Java 8之前，只对用于类型参数推断的方法直接赋值和参数。

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

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

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


提交答案