Java泛型通配符异常行为：wrapper2实例化编译报错原因探究

问题现象 #

代码中实例化wrapper2时触发编译错误，而wrapper1可正常创建。

编译错误信息 #

java: incompatible types: inference variable V has incompatible bounds
    equality constraints: java.util.stream.Stream<EntityVersion<? extends BaseEntity>>
    lower bounds: java.util.stream.Stream<EntityVersion<Product>>

示例代码 #

import java.util.Map;
import java.util.UUID;
import java.util.stream.Stream;

import lombok.AllArgsConstructor;
import lombok.Data;
import lombok.val;

@Data
class BaseEntity {
    UUID id;
}

@Data
@AllArgsConstructor
class Product extends BaseEntity {
    String name;
};

@Data
@AllArgsConstructor
class EntityVersion<T extends BaseEntity> {
    String status;
    T entity;
}

record EntityVersions(Map<String, Stream<EntityVersion<? extends BaseEntity>>> entityVersions) {}

class Main {
    
    public static void main(String[]args){
        EntityVersion<Product> product = new EntityVersion<>("new", new Product("Product 1"));
                
        Stream<EntityVersion<? extends BaseEntity>> products1 = Stream.of(product);
        val wrapper1 = new EntityVersions(Map.of("products", products1));
        
        Stream<EntityVersion<Product>> products2 = Stream.of(product);
        val wrapper2 = new EntityVersions(Map.of("products", products2));
    }
}

原因解析 #

核心问题在于Java泛型的不变性和Map.of的类型推断逻辑：

• 泛型不变性：EntityVersion<Product>是EntityVersion<? extends BaseEntity>的子类型，但Stream<EntityVersion<Product>>并不是Stream<EntityVersion<? extends BaseEntity>>的子类型。Java容器类（如Stream）的泛型默认是不变的，只有通过通配符? extends声明协变关系，才能让子类型容器适配父类型容器要求。
• Map.of类型推断限制：Map.of的签名为static <K,V> Map<K,V> of(K k1, V v1)，当传入products2时，它会优先推断V的类型为Stream<EntityVersion<Product>>，但EntityVersions构造参数要求的V是Stream<EntityVersion<? extends BaseEntity>>，这两个类型无兼容关系，导致推断失败，触发编译错误。
• wrapper1成功的原因：products1被显式声明为Stream<EntityVersion<? extends BaseEntity>>，Map.of直接推断出符合要求的V类型，完全匹配构造参数，因此编译通过。

解决办法 #

可以通过以下方式修复编译错误：

• 显式指定Map.of的泛型参数：强制Map.of使用目标类型

  val wrapper2 = new EntityVersions(Map.<String, Stream<EntityVersion<? extends BaseEntity>>>of("products", products2));
  

• 类型转换：将products2转换为目标类型

  val wrapper2 = new EntityVersions(Map.of("products", (Stream<EntityVersion<? extends BaseEntity>>) products2));
  

• 修改EntityVersions的泛型定义：让其支持协变的容器类型

  record EntityVersions(Map<String, ? extends Stream<? extends EntityVersion<? extends BaseEntity>>> entityVersions) {}
  

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