Question

假设：

public class Testcase {

    public static <E> List<List<E>> transform(List<List<E>> list) {
        return list;
    }

    public static <E> List<List<? extends E>> transform2(List<List<? extends E>> list) {
        return list;
    }

    public static void main(String[] args) {
        List<List<Integer>> known = new ArrayList<>();
        List<List<? extends Number>> unknown = new ArrayList<>();

        transform(known);    // works
        transform(unknown);  // fails

        transform2(known);   // fails
        transform2(unknown); // works
    }
}

编译器接受transform(known)但抱怨：

cannot infer type-variable(s) E
    (argument mismatch; List<List<? extends Number>> cannot be converted to List<List<E>>)
  where E is a type-variable:
    E extends Object declared in method <E>transform(List<List<E>>)

代表transform(unknown)。我遇到transform2()的相反问题。我已经咨询过PECS，我相信transform()是正确的方法声明，但我不知道如何使用单一方法来处理这两种情况。

请注意，此问题仅发生在多级泛型中。 List<? extends Number>工作得很好。问题并非特定于列表。您将获得Future<Task<X>>等等。

什么方法声明将处理有界和无界泛型？如果不可能，为什么？

Answer 1

其最有效的类型似乎是? extends List<? extends ?>：

class Testcase {

    public <E> List<List<E>> transform(List<List<E>> list) {
        return list;
    }

    public <E> List<List<? extends E>> transform2(List<List<? extends E>> list) {
        return list;
    }

    public <E> List<? extends List<? extends E>> transform3(List<? extends List<? extends E>> list) {
        return list;
    }    

    public void test(String[] args) {
        List<List<Integer>> known = new ArrayList<>();
        List<List<? extends Number>> unknown = new ArrayList<>();

        transform(known);    // works
        // transform(unknown);  // fails

        // transform2(known);   // fails
        transform2(unknown); // works

        transform3(known);
        transform3(unknown);
    }
}

以下是为什么这是有道理的解释。

对于任何List<? extends Number>，List<E>显然不是E，因为它不必能够插入最通用E的实例，因此第一个定义失败。

List<Integer>符合List<? extends Number>，但这没有帮助，因为这些类型仍然不相等，因此类型List<List<Integer>>和List<List<? extends Number>>完全无关。因此，第二个定义也失败了。

您想要的是List<List<Integer>>和List<List<? extends Number>>的使用地点最小上限。您可以使用以下规则获取它：List<A>和List<B>的use-site-LUB是：

USLUB(List<A>, List<B>) = List<? extends USLUB(A, B)>

现在，一步一步：

对于A = Integer和B = ? extends Number，最小上限为? extends Number，因为Integer符合? extends Number。
对于List<Integer>和List<? extends Number>，最小上限变为? extends List<? extends Number>
因此最终结果为List<? extends List<? extends Number>>。

Hurray for use-site variance;）

什么方法声明接受有界和无界多级泛型？

1 个答案: