java - Collections.emptyList() はリストを返します

Question

I'm having some trouble navigating Java's rule for inferring generic type parameters. Consider the following class, which has an optional list parameter:

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;
  }
}

My Java compiler gives the following error:

Person.java:9: The constructor Person(String, List<Object>) is undefined

But Collections.emptyList() returns type <T> List<T>, not List<Object>. Adding a cast doesn't help

public Person(String name) {
  this(name,(List<String>)Collections.emptyList());
}

yields

Person.java:9: inconvertible types

Using EMPTY_LIST instead of emptyList()

public Person(String name) {
  this(name, Collections.EMPTY_LIST);
}

yields

Person.java:9: warning: [unchecked] unchecked conversion

Whereas the following change makes the error go away:

public Person(String name) {
  this.name = name;
  this.nicknames = Collections.emptyList();
}

Can anyone explain what type-checking rule I'm running up against here, and the best way to work around it? In this example, the final code example is satisfactory, but with larger classes, I'd like to be able to write methods following this "optional parameter" pattern without duplicating code.

For extra credit: when is it appropriate to use EMPTY_LIST as opposed to emptyList()?

score 465 · Accepted Answer

発生している問題は、メソッドがを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>。

score 106 · Accepted Answer

使用したい：

Collections.<String>emptyList();

emptyListのソースを見ると、実際には

return (List<T>)EMPTY_LIST;

score 27 · Accepted Answer

emptyListメソッドには次のシグネチャがあります。

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

Listという<T>単語の前にあるということは、結果が割り当てられている変数の型からジェネリックパラメーターTの値を推測することを意味します。したがって、この場合：

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

次に、戻り値は型の変数によって明示的に参照されるList<String>ため、コンパイラーはそれを把握できます。この場合：

setList(Collections.emptyList());

コンパイラーがジェネリック型を理解するために使用する明示的な戻り変数がないため、デフォルトで。になりObjectます。

4 に答える 4

Related

Reference