IntelliJ未识别泛型方法错误返回类型，求原因排查

为什么第一种写法报错、第二种不报错 #

你遇到的是Java泛型约束检查和IntelliJ默认检查等级共同作用的结果：

• 第一种赋值User user = spxCacheManager.get(...)：泛型方法的返回类型T被推断为普通实体类User，类型系统直接判定User不满足T extends CacheResult的上界约束，属于明确的类型不兼容编译错误，所以IDE会直接标红报错。
• 第二种赋值List<User> usersFromCache = spxCacheManager.get(...)：
  1. 泛型擦除后你的get方法实际返回类型是CacheResult，把CacheResult赋值给带泛型参数的List<User>，编译器不会直接判定为类型不兼容：如果CacheResult是接口，理论上可以存在同时实现List<User>和CacheResult的自定义类，符合泛型上界约束；就算CacheResult是类，泛型参数User会在编译后擦除，仅保留原始类型List，这时候赋值只会被判定为未检查转换，不属于编译错误。
  2. IntelliJ默认配置下，「未检查的泛型赋值」属于警告级别，不会标记为错误，所以你看不到标红提示。

修复方案 #

配置IDE提示等级 #

打开IntelliJ设置路径：Settings > Editor > Inspections > Java > Generic type issues > Unchecked assignment，将该检查项的严重等级从Warning调整为Error，后续这类错误写法就会被标红提示。

代码层面提前校验 #

给CacheDefinition类增加泛型参数<T extends CacheResult>，并将typeReference的泛型和类的泛型绑定，修改get方法的定义为：

public <T extends CacheResult> T get(Object key, CacheDefinition<T> cacheDefinition) {
    return load(key, cacheDefinition.name(), cacheDefinition.getTypeReference());
}

这样返回类型会和传入的CacheDefinition的泛型直接绑定，不需要编译器做自动推断，就能在编译期提前发现类型不匹配的问题。

涉及的核心知识点 #

• Java泛型擦除规则：编译后所有泛型参数都会被擦除，仅保留上界类型，涉及参数化类型的转换只要原始类型没有明确不兼容，就只会触发未检查警告，不会直接判定为编译错误。
• 泛型上界约束的检查逻辑：对于非参数化的普通类型，会直接校验是否满足上界约束；对于参数化类型，只要存在理论上符合约束的实现可能，就不会直接判定为错误。

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