0

泛型类可以在其构造函数中要求匹配的泛型对象，例如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

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

  // 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几乎是一回事，但它不能在 JDK 7u25 中编译，无论是在 Eclipse 中还是在命令行中。为什么？

  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
4

1 回答 1

3

泛型系统在它可以做出的推论方面受到限制，并且赋值的处理方式与方法参数不同。您应该能够指定

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

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

于 2013-09-08T19:20:17.710 回答