Question

泛型类可能需要在其构造函数中使用匹配的泛型对象，如sscce：

import java.util.ArrayList;
import java.util.List;

public class GenericsIssue<K> {
  public List<K> inner; 

  public GenericsIssue(List<K> input) {
    if(input == null) throw new NullPointerException();
    this.inner = input;
  }

  public K getFirst() {
    if(inner.isEmpty()) return null;
    return inner.get(0);
  }
  // Snip, code continues below

此外，工厂方法不会在其参数中指定泛型类型。例如，我们可能会这样做。请注意，没有任何警告，甚至没有＆＃34;未经检查的演员＆＃34;。

  // Code borrowed from Guava source
  public static <E> ArrayList<E> newArrayList() {
    return new ArrayList<E>();
  }
  // End Guava borrow      

  public static void main(String... args) {
    ArrayList<String> list = newArrayList();
    GenericsIssue<String> gi = new GenericsIssue<String>(list);
    System.out.println(gi.getFirst()); // (Always null. Not relevant.)
  }
}

但是，这个main几乎是一样的，但它不能在Eclipse或命令行中在JDK 7u25中编译。为什么呢？

  public static void main(String... args) {
    GenericsIssue<String> gi = new GenericsIssue<String>(newArrayList());
    System.out.println(gi.getFirst());
  }

这是编译器错误：

$ javac -d . -Xlint:unchecked GenericsIssue.java
GenericsIssue.java:23: error: constructor GenericsIssue in class GenericsIssue<K> cannot be applied to given types;
        GenericsIssue<String> gi = new GenericsIssue<String>(newArrayList());
                               ^
  required: List<String>
  found: ArrayList<Object>
  reason: actual argument ArrayList<Object> cannot be converted to List<String> by method invocation conversion
  where K is a type-variable:
    K extends Object declared in class GenericsIssue
1 error

Answer 1

泛型系统为limited in the inferences it can make，分配的处理方式与方法参数不同。您应该能够指定

new GenericsIssue<String>(GenericsIssue.<String>newArrayList());

（从理论上讲，这种推断应该是可能的，但这种分析水平还没有实现。）

泛型无法做出正确的推论

1 个答案: