为何List<W> l1 = new ArrayList<String>()编译报错，方法调用却正常？

先看你给出的代码：

public class GenericsTest3 {

    public static <W> void main(String[] args) {
        List<W> l1 = new ArrayList<String>();       // 编译错误：Type mismatch: cannot convert from ArrayList<String> to List<W>
        doSomething1(new ArrayList<String>());      // 运行正常
    }
    
    public static <L> L doSomething1(List<L> list) {
        list.get(0);
        list.add(list.get(0));
        return list.get(1);
    }
    
}

第一行编译报错的原因 #

main方法声明了泛型参数<W>，这个W的具体类型是由调用main方法的上下文决定的，编译器无法提前确定W和String是同一类型。你试图把ArrayList<String>（本质是List<String>）赋值给List<W>，这相当于强制要求W必须等于String，但编译器没有任何依据能证明这一点——W可能是Integer、Object或者其他任意类型，所以必然出现类型不匹配的编译错误。

第二行能正常运行的原因 #

doSomething1方法有自己独立的泛型参数<L>，这里编译器会自动做类型推断：当你传入ArrayList<String>时，编译器会直接把L推断为String，此时方法签名里的List<L>就变成了List<String>，和传入的参数类型完全匹配，所以能顺利通过编译并运行。

核心区别总结 #

• 直接赋值场景：泛型参数W的类型不确定，无法和String建立必然的匹配关系
• 泛型方法调用场景：编译器可以根据传入的实际参数，自动推断出泛型参数L的具体类型，完成类型匹配

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