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()是合适的?

当前回答

emptyList方法有这样的签名:

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

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

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

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

setList(Collections.emptyList());

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

2008-11-20 20:25:29

其他回答

你想要使用:

Collections.<String>emptyList();

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

return (List<T>)EMPTY_LIST;

2008-11-20 20:25:10

emptyList方法有这样的签名:

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

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

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

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

setList(Collections.emptyList());

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

2008-11-20 20:25:29

由于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()的目标类型，返回值类型将被选择以匹配参数类型。

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

Java在每个版本中都越来越接近正确的辛德雷-米尔纳类型推理!

2020-10-08 13:54:59

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

2008-11-20 20:34:46

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

推荐文章

最新文章

标签