Java泛型参数类型不匹配问题：为何无法传入接口实例？

核心问题出在上界通配符? extends Pet的使用限制：

• ? extends Pet表示这个PetService是针对某个具体的Pet子类（比如Dog）实现的，但编译器无法确定这个具体子类到底是什么。
• 对于这种通配符类型，你只能安全地读取数据（比如loadPetById返回的T可以向上转型为Pet），但不能写入数据——因为你无法确保传入的Pet实例正好是该服务对应的具体子类类型。

举个实际例子：如果petService是DogService，它的feed方法只接受Dog类型，但你传入的Pet对象可能是另一个子类（比如Cat），这会导致运行时类型转换异常，所以编译器提前阻止了这种不安全操作。

解决方案1：使用泛型方法绑定具体类型 #

把feedPet和instantiatePetServiceByType都改成泛型方法，让编译器明确绑定具体的Pet子类类型：

interface Pet {}

interface PetService<T extends Pet> {
  T loadPetById(int petId);
  void feed(T pet, int amount);
}

class Dog implements Pet {}

class DogService implements PetService<Dog> {
  @Override
  public Dog loadPetById(int petId) {
    return new Dog();
  }
  @Override
  public void feed(Dog pet, int amount) {
    // 喂狗逻辑
  }
}

class RestApi {
    <T extends Pet> void feedPet(String petType, int petId, int amount) {
        PetService<T> petService = instantiatePetServiceByType(petType);
        T pet = petService.loadPetById(petId);
        petService.feed(pet, amount);
    }
    
    @SuppressWarnings("unchecked")
    <T extends Pet> PetService<T> instantiatePetServiceByType(String petType) {
        // 根据petType返回对应类型的PetService，比如"dog"返回new DogService()
        return (PetService<T>) new DogService();
    }
}

注意：instantiatePetServiceByType的类型转换需要确保运行时类型安全，避免ClassCastException。

解决方案2：用辅助方法捕获通配符类型 #

如果无法修改instantiatePetServiceByType的返回类型，可以通过泛型辅助方法捕获通配符的具体类型：

class RestApi {
    void feedPet(String petType, int petId, int amount) {
        PetService<? extends Pet> petService = instantiatePetServiceByType(petType);
        feedPetHelper(petService, petId, amount);
    }
    
    // 辅助方法捕获具体的T类型，消除通配符歧义
    private <T extends Pet> void feedPetHelper(PetService<T> petService, int petId, int amount) {
        T pet = petService.loadPetById(petId);
        petService.feed(pet, amount);
    }
    
    PetService<? extends Pet> instantiatePetServiceByType(String petType) {
        // 超出讨论范围
        return new DogService();
    }
}

辅助方法的作用是让编译器把通配符? extends Pet转换为具体的泛型参数T，此时loadPetById返回的T和feed要求的参数类型完全匹配，就能安全调用方法。

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