如何向泛型同时继承类和实现接口的List中类型安全地添加元素

方法上声明的<T extends Animal & Quadruped>是方法级泛型，具体的类型由方法的调用方决定，而非方法内部自行决定。
举个例子：假设你后续新增了一个Dog类，同样继承Animal、实现Quadruped接口，那么调用方写以下代码是完全合法的：

List<Dog> dogList = example.getQuadrupedAnimals();

如果允许你在方法内部硬编码添加Cat实例，这个dogList里就会混入Cat类型的元素，调用方后续遍历取出元素当作Dog处理时，就会抛出运行时ClassCastException。编译器阻止add(cat)的操作，正是泛型类型安全校验在编译期提前拦截风险的体现。

根据你的业务诉求可以选以下两种方案：

方案1：返回集合只需保证元素符合边界，无需固定单一子类 #

如果你不需要调用方指定返回集合的具体子类类型，只需要保证所有元素同时满足「继承Animal、实现Quadruped」的要求，有两种实现方式：

• 方式A：新增合并边界的中间抽象类（兼容性最好，全Java版本支持）
  先定义一个同时满足两个边界的抽象父类：

  public abstract class QuadrupedAnimal extends Animal implements Quadruped {}
  

  调整Cat的继承结构：

  public static class Cat extends QuadrupedAnimal {}
  

  改造后的方法如下：

  public List<QuadrupedAnimal> getQuadrupedAnimals(){
      List<QuadrupedAnimal> result = new ArrayList<>();
      Cat cat = new Cat();
      result.add(cat); // 编译正常，完全类型安全
      return result;
  }
  

• 方式B：使用多边界通配符（Java 16+支持，无需调整原有类结构）
  如果你不想修改Cat的继承逻辑，可以直接用多边界通配符作为返回值：

  public List<? extends Animal & Quadruped> getQuadrupedAnimals(){
      List<Cat> result = new ArrayList<>();
      result.add(new Cat());
      return result;
  }
  

  这种方式返回的集合调用方可以正常读取元素，当作Animal或者Quadruped使用，只是不能往集合中新增元素。

方案2：需要支持调用方指定返回集合的具体子类 #

如果你需要保留方法的泛型能力，让调用方可以指定返回的具体子类类型，就把实例构造的逻辑交给调用方传入，方法内部不要硬编码具体类型：

public <T extends Animal & Quadruped> List<T> getQuadrupedAnimals(Supplier<T> animalSupplier){
    List<T> result = new ArrayList<>();
    T animal = animalSupplier.get();
    result.add(animal); // 编译正常，完全类型安全
    return result;
}

调用时传入对应子类的构造器即可：

// 获得全是Cat的集合
List<Cat> catList = getQuadrupedAnimals(Cat::new);
// 获得全是Dog的集合
List<Dog> dogList = getQuadrupedAnimals(Dog::new);

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