为什么Set <？允许扩展Foo <？>>,但不设置Set <Foo <？>>

Question

我想知道泛型如何在这种情况下工作,为什么 Set<? extends Foo<?>> set3 = set1;允许但Set<Foo<?>> set2 = set1;不是？

import java.util.HashSet;
import java.util.Set;

public class TestGenerics {
    public static <T> void test() {
        Set<T> set1 = new HashSet<>();
        Set<?> set2 = set1;             // OK
    }

    public static <T> void test2() {
        Set<Foo<T>> set1 = new HashSet<>();
        Set<Foo<?>> set2 = set1;           // COMPILATION ERROR
        Set<? extends Foo<?>> set3 = set1; // OK
    }
}

class Foo<T> {}

Answer 1

简单地说,这是因为Set<? extends Foo<?>>是协变的(使用extends关键字).协变类型是只读的,编译器将拒绝任何写操作,如Set.add(..).

Set<Foo<?>>是不协变的.它不会阻止写入或读取操作.

这个...

Set<Foo<String>> set1 = new HashSet<>();
Set<Foo<?>> set2 = set1; // KO by compiler

...是非法的,因为否则我可能例如把Foo<Integer>成set1通过set2.

set2.add(new Foo<Integer>()); // Whoopsie

但...

Set<Foo<String>> set1 = new HashSet<>();
Set<? extends Foo<?>> set3 = set1; // OK

...是协变(extends关键字),所以它是合法的.例如,编译器将拒绝类似的写操作set3.add(new Foo<Integer>()),但接受类似的读操作set3.iterator().

Iterator<Foo<String>> fooIterator = set3.iterator(); // OK
set3.add(new Foo<String>()); // KO by compiler

请参阅这些帖子以获得更好的解释:

• /sf/answers/304048321/
• https://medium.freecodecamp.org/understanding-java-generic-types-covariance-and-contravariance-88f4c19763d2

Answer 2

如果您将 Foo 的通用参数排除在等式之外，也许问题会变得更清楚。

考虑

final Set<Foo> set1 = new HashSet<>();
Set<Object> set2 = set1;

这使得编译错误更加明显。如果这是有效的，则可以将对象插入到 set2 中，从而违反类型约束插入到 set1 中。

Set<? extends Foo> set3 = set1;

这是完全有效的，因为 set1 也接受从 Foo 派生的类型。