具有下限类型的Java类型推断

Question

为什么Java可以推断出多个上限类型的共同祖先，而不能推断出下限类型的共同祖先？

更具体地说，请考虑以下示例：

static class Test {

    static <T> T pick(T one, T two) {
        return two;
    }

    static void testUpperBound() {
        List<? extends Integer> extendsInteger = new ArrayList<>();

        // List<? extends Integer> is treated as a subclass of List<? extends Number>
        List<? extends Number> extendsNumber = extendsInteger;

        // List<? extends Number> is inferred as the common superclass
        extendsNumber = pick(extendsInteger, extendsNumber);
    }

    static void testLowerBound() {
        List<? super Number> superNumber = new ArrayList<>();

        // List<? super Number> is treated as a subclass of List<? super Integer>
        List<? super Integer> superInteger = superNumber;

        // The inferred common type should be List<? super Integer>,
        // but instead we get a compile error:
        superInteger = pick(superNumber, superInteger);

        // It only compiles with an explicit type argument:
        superInteger = Test.<List<? super Integer>>pick(superNumber, superInteger);
    }
}

Answer 1

我想我可以解释为什么Java区分下限类型和上限类型。

如果使用不兼容的界限，例如integer和long，则尝试推断公共下界可能会失败。当我们使用上界时，总是有可能找到一些共同的上界，在本例中是list<？扩展number>。但是列表<没有共同的下界？超级整数>和列表<？超长>。发生这种冲突时唯一安全的选择是返回list<？extends Object>，与列表<？>同义，意思是“未知类型的列表”。

现在，可以说，只有当实际存在冲突的界限时，我们才可以诉诸于此，与我的问题中的情况相反。但也许我们决定采取简单的方法，不假设有一个公共的下界，除非明确指定。