4

我有一些返回通配符参数化类型的代码。我正在尝试将其传递给参数方法，但出现编译器错误。有人可以向我解释为什么类型不匹配，以及解决这个问题的最佳方法是什么？

static <L extends List<T>,T extends Number>
void useList(List<L> list) {}

public static void main(String[] args) {
    List<List<? extends Number>> list = null;
    useList(list);
}

编译错误：

demo/GenericsHell.java:75: error: method useList in class GenericsHell cannot be applied to given types;
        useList(list);
        ^
  required: List<L>
  found: List<List<? extends Number>>
  reason: inference variable L has incompatible bounds
    equality constraints: List<? extends Number>
    upper bounds: List<CAP#1>
  where L,T are type-variables:
    L extends List<T> declared in method <L,T>useList(List<L>)
    T extends Number declared in method <L,T>useList(List<L>)
  where CAP#1 is a fresh type-variable:
    CAP#1 extends Number from capture of ? extends Number
1 error

在我的真实代码list中，是由一个复杂的方法生成的，该方法可以返回多种类型的“列表”（实际上是一个自定义泛型类）。是否有另一种方法来参数化 useList 函数，以便它以类型安全的方式接受它？

编辑 1

我试图将一大段代码简化为一个简洁、连贯的问题。从答案中我可以看到上面的代码过度简化了我遇到的确切问题。我将尝试用一个更复杂的例子来重申，同时更好地指定我的约束。

首先，我实际上并没有使用 List，而是使用双参数化的更复杂的类。我想不出任何标准类可以做到这一点，所以我将定义一个用于示例：

static class NumberLists<L extends List<T>,T extends Number> extends ArrayList<L> {}

我会避免多次重复使用一个类型，这样更容易保持水平。useList() 方法确实需要双重参数化，因为它在内部使用这两种类型：

static <L extends List<T>,T extends Number>
Set<NumberLists<L,T>> useList(L list) {
    NumberLists<L,T> nl = new NumberLists<L, T>();
    nl.add(list);
    return Collections.singleton(nl);
}

只要你有一个具体的类，这个框架就很好用：

    // Everything works with a concrete class
    List<Integer> intList = new ArrayList<Integer>();

    // Use with parametric functions
    Set<NumberLists<List<Integer>,Integer>> concreteSet = useList(intList);
    // Access & use elements
    NumberLists<List<Integer>,Integer> concreteNL = concreteSet.iterator().next();
    concreteNL.add(intList);

问题是我有一个可以是几种不同类型的输入列表：

static List<? extends Number> makeList() {
    if(Math.random()<.5) {
        return new ArrayList<Integer>();
    } else {
        return new ArrayList<Double>();
    }
}

List<? extends Number> numList = makeList();

这打破了上述许多可能的模式。

    // What is the type here? This is obviously an error
    Set<NumberLists<? extends List<? extends Number>>,? extends Number> paramSet = useList(numList);
    // Type should ideally be compatible with numList still
    NumberLists<?,?> paraNL1 = paramSet.iterator().next();
    // Captures don't match
    paraNL1.add(numList);

所以问题是我在编译时无法知道 numList 的具体类。而且我不觉得我在做任何实际上类型不安全的事情，因为我知道 numList 的类型必须与 useList 返回的类型相匹配，依此类推。

我确实可以控制大部分代码的类型签名。但是，我更喜欢以下内容：

  • 它应该与具体类（例如 intList）很好地并以类型安全的方式工作
  • 它还将接收其类型直到运行时才能明确知道的输入
  • 如果执行强制转换或其他未经检查的操作，它们应该发生在输入的构造附近。应检查以下操作。

有关完整（但非编译）的 java 文件，请参阅https://gist.github.com/sbliven/f7babb729e0b1bee8d2dabe5ee979431。由于我对这个问题感兴趣，请参阅https://github.com/biojava/biojava/issues/354。

4

2 回答 2

2

对于第一个编译问题，您的问题来自您尝试将其分配给某个类型不匹配的变量的事实。

最简单的方法是从useList()调用开始，确保这个简单的代码可以编译：

List<? extends Number> numList = makeList();
useList(numList);

如果您检查此代码，它已经编译。

现在让您的 IDE 将结果分配给局部变量。IDE 将为您计算表达式的类型以声明变量，然后瞧：

Set<? extends NumberLists<? extends List<? extends Number>, ? extends Number>> paramSet =
    useList(numList);

（如果可能的话，去掉Lon 的类型NumbersList，这会简化很多事情）

对于paraNL1.add(numList);调用，由于通配符，它​​无法工作：编译器无法检查是否paraNL1接受您未知类型的列表。

即使您按照相同的过程修复声明：

NumberLists<? extends List<? extends Number>, ? extends Number> paraNL1 =
    paramSet.iterator().next();

paraNL1.add(numList); // will still not compile

您看到您正在尝试paraNL1用作消费者（它消耗numList），并且PECS告诉您必须声明它super才能使其正常工作。

L extends List<? extends Number>确实，编译器知道您的必须存在某种类型NumberLists，但它不知道并且无法检查它是否与 的类型匹配numList。L例如，可能是，LinkedList<Float>而numList可能是ArrayList<Integer>。

编辑：为了使它工作，您可以使用这样的通配符捕获辅助方法：

private static <T extends Number, L extends List<T>> void helper(L numList) {
    Set<NumberLists<L, T>> paramSet = useList(numList);
    NumberLists<L, T> paraNL1 = paramSet.iterator().next();
    paraNL1.add(numList);
}

（这甚至可以让你摆脱声明? extends NumerLists中的）Set

并调用它

List<? extends Number> numList = makeList();
helper(numList);
于 2016-11-15T13:16:01.093 回答
2

问题是编译器想要为T. 在您的声明T中需要? extends Number按照 的声明list，这并不具体。

您可以更改useList为以下声明之一，编译器会很高兴：

static <L extends List<? extends Number>> void useList(List<L> list) {
}

（不T，没问题）或

static <L extends List<? extends T>, T extends Number> void useList(List<L> list) {
}

（这里T会变成Number）。

如果您可以? extends Number在变量声明中替换，那么一切都会好起来的：

public static <T extends Number> void main(String[] args) {
    List<List<T>> list = null;
    useList(list);
}
于 2016-11-14T23:01:03.457 回答