如何验证多态对象列表仅包含唯一类型的实例？

嘿，这个需求我之前也碰到过，刚好可以给你几个简洁又实用的实现方案，核心思路都是追踪已出现的类型，确保没有重复：

方法一：Stream + HashSet 提前终止（高效首选） #

这个方法的优势是一旦发现重复类型就立刻停止遍历，性能最优，代码也相当简洁：

import java.util.HashSet;
import java.util.List;
import java.util.Set;

public class AnimalValidator {
    public static boolean hasUniqueTypes(List<Animal> animals) {
        Set<Class<?>> encounteredTypes = new HashSet<>();
        // noneMatch 会在第一个匹配到重复元素时直接返回结果，不用遍历完整个列表
        return animals.stream()
            .noneMatch(animal -> !encounteredTypes.add(animal.getClass()));
    }
}

原理说明 #

HashSet 的add()方法会在元素已存在时返回false，所以当某个动物的类型已经被记录过，!encounteredTypes.add(...)就会变成true，noneMatch()会直接返回false（表示存在重复类型，列表无效）；反之所有类型都唯一的话，会返回true。

方法二：分组统计类型出现次数（直观易懂） #

如果你更看重可读性，可以用 Stream 的分组统计功能，算出每个类型的实例数量，再检查是否所有数量都不超过1：

import java.util.List;
import java.util.stream.Collectors;

public class AnimalValidator {
    public static boolean hasUniqueTypes(List<Animal> animals) {
        return animals.stream()
            // 按对象的实际类型分组，统计每个类型的实例数
            .collect(Collectors.groupingBy(Object::getClass, Collectors.counting()))
            // 检查所有分组的数量都≤1
            .values()
            .stream()
            .allMatch(count -> count <= 1);
    }
}

测试示例 #

用你给出的场景测试一下：

import java.util.Arrays;
import java.util.List;

public class Main {
    public static void main(String[] args) {
        // 有效列表：每个类型仅一个实例
        List<Animal> validAnimals = Arrays.asList(new Dog("Snoopy"), new Cat("Garfield"));
        System.out.println(AnimalValidator.hasUniqueTypes(validAnimals)); // 输出 true

        // 无效列表：存在两个Dog实例
        List<Animal> invalidAnimals = Arrays.asList(new Dog("Snoopy"), new Dog("Pluto"), new Cat("Garfield"));
        System.out.println(AnimalValidator.hasUniqueTypes(invalidAnimals)); // 输出 false
    }
}

// 假设的Animal、Dog、Cat基础定义
abstract class Animal {
    protected String name;
    public Animal(String name) { this.name = name; }
}
class Dog extends Animal { public Dog(String name) { super(name); } }
class Cat extends Animal { public Cat(String name) { super(name); } }

边界情况说明 #

• 空列表：会返回true（没有重复类型）
• 单个元素的列表：返回true
• 如果需要区分子类和父类（比如GoldenRetriever extends Dog是否算和Dog同一类型），只需要把animal.getClass()换成你需要的判断逻辑（比如animal.getClass().getSuperclass()或者自定义的类型标识）即可。

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