为何Java中函数返回的List<Subtype>可直接赋值给List<Supertype>？

首先明确核心差异：

• 直接创建泛型集合实例（如new ArrayList<Child>()）时，你明确指定了集合的泛型类型为Child，而Java泛型是不变的——List<Child>和List<Parent>属于完全不同的类型，不存在子类型关系，因此直接赋值给List<Parent>变量会触发编译错误，必须通过强制转换绕过检查（但会产生unchecked警告）。
• 而Collections.singletonList(child)这类泛型方法的情况，本质是编译器的目标类型推断在起作用，和你猜想的第一种情况逻辑接近，但不是隐式强制转换参数，而是推断方法的泛型参数类型。

具体原理拆解 #

Collections.singletonList的方法签名是：

public static <T> List<T> singletonList(T o)

这里的<T>是方法级别的泛型参数，它的类型不是固定的，编译器会根据代码上下文自动推断。当你写List<Parent> p = Collections.singletonList(child);时：

1. 编译器首先看赋值目标的类型是List<Parent>，因此推断泛型方法的T为Parent；
2. 由于child是Child类型（Child是Parent的子类），它可以向上转型为Parent类型，完全符合方法参数T o的要求；
3. 最终方法返回的是List<Parent>类型的实例，和变量p的类型完全匹配，因此不需要任何强制转换就能正常编译。

关于你的猜想的澄清 #

• 猜想一：不是把<Child>参数隐式转为Parent，而是编译器先确定方法的T为Parent，再允许Child类型的参数向上转型传入，这是合法的多态行为，不是强制转换。
• 猜想二：错误。方法返回的不是擦除后的原始List类型，编译期编译器已经明确了返回类型是List<Parent>，类型擦除只是JVM运行时的处理逻辑，编译期依然会做严格的类型检查，确保类型安全。

为什么泛型方法场景允许，普通赋值不行？ #

普通赋值场景中，你直接创建了一个泛型类型固定的实例（ArrayList<Child>），这个实例的泛型类型是编译期确定死的，而Java泛型的不变性决定了List<Child>不能赋值给List<Parent>——这是为了避免类型安全问题（比如如果允许的话，你可能会往List<Parent>里添加其他Parent子类的实例，而底层的ArrayList<Child>根本无法存储）。

而泛型方法的场景中，编译器通过目标类型推断，让方法返回的泛型类型和变量类型完全一致，从根源上避免了类型不匹配的问题，同时利用向上转型让参数适配方法的泛型要求，既保证了类型安全，又实现了代码的灵活性。

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