如何向泛型扩展类并实现接口的列表添加类型安全的元素？

Question

我正在寻找一个类型安全的，选中的解决方案，以添加一个元素到一个列表，它的泛型需要一个类和一个接口。该示例说明了我想要做的事情--将一个对象添加到一个列表中，该对象的类型cat扩展了Animal并实现了quadruped，其中t扩展了Animal&quadruped。

class Example {
    public interface Quadruped { };
    public static class Animal { };
    public static class Cat extends Animal implements Quadruped { };

    public <T extends Animal & Quadruped> List<T> getQuadrupedAnimals(){
        List<T> result = new ArrayList<>();
        Cat cat = new Cat();
        result.add(cat); // compile error
        return result;
    }
}

当然，将cat转换为b会解决编译错误，但这将被取消检查。

有什么办法解决这个问题吗？如果没有，有没有人知道编译器不允许这样做的原因？

Answer 1

有人知道编译器不允许这样做的原因吗？

T是一种特定的动物，在GetQuadrupedAnimals()的调用站点选择，并被四次强奸。

对该方法的合法引用包括：

List<Dog> listOfDogs = getQuadrupedAnimals();
List<Hamster> listOfHamsters = getQuadrupedAnimals();

因此，您不能将猫放入该列表（也不能将狗或仓鼠放入该列表）。

如果要返回列表 ,则解决方案是将返回类型声明为列表 。

交集类型只有在参数中使用时才真正有用，例如。

public <T extends Animal & Quadruped> List<T> getQuadrupedAnimals(T animal){
  return List.of(animal);
}

或

public <T extends Animal & Quadruped> int countLegs(List<T> animals){
  return 4 * animals.size();
}