为何使用泛型参数时可强制转换，指定具体参数时却不行？

编译失败的代码 #

List<String> strings = new ArrayList<>();
List<Object> objs = (List<Object>)strings;

对应的报错信息 #

|  Error:  
|  incompatible types: java.util.List<java.lang.String> cannot be converted to java.util.List<java.lang.Object>  
|      List<Object> objs = (List<Object>)strings;  
|                                        ^-----^

可以正常编译的泛型方法 #

static <T, S extends T> List<T> castIt(List<S> list){
    return (List<T>)list;
}

泛型方法的使用示例 #

public static void main(String[] args){
    List<String> strings = new ArrayList<>();
    List<Object> objs = castIt(strings);
}

原因解释 #

Java的泛型是不变的，也就是说List<String>并不是List<Object>的子类——哪怕String继承自Object。直接强制转换时，编译器能明确检测到这种跨泛型类型的转换不安全，所以直接抛出编译错误。

而泛型方法里的<T, S extends T>给了编译器一个明确的类型约束：S是T的子类型。此时编译器会认为，把List<S>转换为List<T>是符合继承逻辑的合理操作，虽然运行时仍会产生"未经检查的转换"警告，但编译阶段会允许这种操作——因为泛型参数的上下界限定让编译器相信这个转换有合理性，而非完全无约束的强制转换。

内容的提问来源于stack exchange，提问作者matt