关于泛型不可变

问题 

以下代码可执行（CC继承BB，BB继承AA）

public class TTT2 {
    public static void main(String[] args) {
        BB bb = new BB();
        printCollection2(bb);
    }
    public static void printCollection2(AA c) {
            System.out.println(c);
}
    static class AA {
    }

    static class BB extends AA {
    }

    class CC extends BB {
    }
}

 以下代码不可执行

public class TTT {
    public static void main(String[] args) {
        List<BB> list4 = new ArrayList<>();
        printCollection2(list4);
    }
    public static void printCollection2(List<AA> c) {
        for (Object object : c) {
            System.out.println(object);
        }
    }
    class AA {
    }

    class BB extends AA {
    }

    class CC extends BB {
    }
}

问题分析

在第一个代码片段中，`BB`类继承了`AA`类，所以`BB`对象可以向上转型为`AA`类型，而且`AA`类型是参数类型为`AA`的`printCollection2`方法的有效参数类型，所以代码可以正常运行。

而在第二个代码片段中，`BB`类也继承了`AA`类，但在`printCollection2`方法中，参数类型为`List<AA>`，而不是`AA`，意味着只能传入参数类型为`AA`的集合，而不能传入参数类型为`BB`的集合。而`List<BB>`并不是`List<AA>`的子类型，因此编译器会报错。

由于Java的泛型是不可变的，即使`BB`是`AA`的子类，`List<BB>`也不是`List<AA>`的子类型。这是为了在类型安全的同时，防止在集合中添加错误类型的元素。

如果你想编写一个能够接受`List<BB>`参数的方法，可以使用通配符类型`? extends AA`来表示`List`中的元素可以是`AA`的子类型，例如`List<? extends AA>`。这样就可以使`printCollection2`方法接受`List<BB>`类型的参数。
 

import java.util.ArrayList;
import java.util.List;

public class TTT {
    public static void main(String[] args) {
        List<BB> list4 = new ArrayList<>();
        printCollection2(list4);
    }

    public static void printCollection2(List<? extends AA> c) {
        for (Object object : c) {
            System.out.println(object);
        }
    }

    class AA {
    }

    class BB extends AA {
    }

    class CC extends BB {
    }
}

通过使用通配符类型`<? extends AA>`，可以使方法接受`AA`的子类型作为参数传递，从而避免了编译错误。