为何<T extends Map>可赋值给List？Java泛型编译问题咨询

问题代码与现象 #

public class MyTest {
    @Test
    public void test1() throws Exception {
        List<Integer> list = getMapInstance();
    }

    public static <T extends Map<Object, Object>> T getMapInstance() {
        T t = (T) new HashMap<>();
        return t;
    }
}

这段代码中，将声明为<T extends Map<Object, Object>>的对象赋值给List<Integer>，预期会被编译时类型检查拦截，但在JDK11和17环境下均能编译通过，运行时却直接抛出ClassCastException。

test1方法的字节码如下：

//the bytecode of test1  
0 invokestatic #10 <org/example/BugTest.getMapInstance : ()Ljava/util/Map;>
3 checkcast #11 <java/util/List>
6 astore_1
7 return

另外尝试创建同时实现List和Map接口的类时，发现两个接口的remove方法存在签名冲突：

// List中的remove方法
boolean remove(Object o);
// Map中的remove方法
V remove(Object key);

编译通过的核心原因 #

1. 泛型擦除机制：Java泛型是编译期特性，编译后泛型信息会被擦除，getMapInstance方法的返回类型会被擦除为Map，但编译阶段会基于泛型声明做形式化类型检查。
2. 编译器的形式化校验逻辑：编译器不会验证是否真的存在一个类型T，既满足T extends Map<Object, Object>，同时又是List<Integer>的实现类——它只会假设这种类型存在的可能性。虽然我们知道因为remove方法的签名冲突，根本无法合法定义这样的类，但编译器不会在编译阶段做这种实际存在性校验，仅做类型兼容性的形式判断。
3. 类型推断逻辑：编译时编译器会推断T为一个同时实现Map和List的类型，因此认为赋值操作合法，允许编译通过。

运行时抛异常的原因 #

从字节码可以看到，getMapInstance调用后返回的是HashMap实例（擦除后类型为Map），随后执行了checkcast List的强制类型转换操作。由于HashMap本身并未实现List接口，这个强制转换在运行时必然失败，抛出ClassCastException。

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