如何通过泛型类的多重边界限制实现面向对象参数的多重能力要求？

本文共计1018个文字，预计阅读时间需要5分钟。

%E2%80%9C%E6%9C%89%E9%99%90%E7%B1%BB%E5%9E%8B%E7%9A%84%E5%A4%9A%E9%87%8D%E8%BE%B9%E7%95%8C%EF%BC%88Multiple+Bounds%EF%BC%89%E6%8E%A5%E5%8F%A3%E8%AE%A9%E4%BD%A0%E5%8F%AF%E4%BB%A5%E7%BA%A6%E6%9D%9F%E7%B1%BB%E5%9E%8B%E5%8F%82%E6%95%B0%E5%BF%85%E9%A1%BB%E6%BB%A1%E8%B6%B3%E5%A4%9A%E4%B8%AA%E6%9D%A1%E4%BB%B6%EF%BC%8C%E6%8A%BD%E8%B1%A1%E7%9A%84%E5%A4%9A%E7%A7%8D%E8%83%BD%E5%8A%9B%E9%9D%9E%E5%B8%B8%E5%AE%9E%E7%94%A8%EF%BC%8C%E6%97%A0%E9%9C%80%E8%AF%95%E5%9B%BE%E8%A7%A3%E7%AD%94%E9%97%AE%E9%A2%98%EF%BC%8C%E4%B8%8D%E8%B6%85%E8%BF%87100%E4%B8%AA%E5%AD%97%E3%80%82%E2%80%9D

什么是多重边界

多重边界指用 & 连接多个上界，语法为 <T extends A & B & C>。其中：

• A 必须是类或抽象类（且只能有一个，必须写在最前面）
• B、C 等必须是接口（数量不限）
• 编译器会把擦除后的原始类型设为第一个类型（即 A），确保类型安全

为什么需要多重边界

单一边界只能保证一种能力，但真实业务中常需组合能力。例如：

• 一个缓存项既要可比较（用于排序），又要可序列化（用于网络传输或磁盘持久化）
• 一个配置实体既要实现 Cloneable，又要提供 toString() 的规范行为（通过某接口约定）
• 一个领域对象既要继承 Entity 基类，又要实现 Validatable 和 Auditable 接口

如何正确声明和使用多重边界

以 Java 为例，定义一个要求类型同时继承 Number 并实现 Comparable 和 Serializable 的泛型工具类：

public class SafeNumberProcessor<T extends Number & Comparable<T> & java.io.Serializable> {

    private T value;

    public SafeNumberProcessor(T value) {

        this.value = value;

    }

    // 可安全调用 compareTo，因 T 实现 Comparable

    public int compareWith(T other) {

        return this.value.compareTo(other);

    }

}

使用时，只有同时满足三项的类型才能实例化：

• SafeNumberProcessor<BigDecimal> processor = new SafeNumberProcessor<>(new BigDecimal("1.5")); ✅（BigDecimal 继承 Number，实现 Comparable<BigDecimal> 和 Serializable）
• SafeNumberProcessor<String> invalid = new SafeNumberProcessor<>("abc"); ❌ 编译失败（String 不继承 Number）
• SafeNumberProcessor<AtomicInteger> alsoInvalid = ... ❌ 编译失败（AtomicInteger 继承 Number、实现 Serializable，但未实现 Comparable）

常见陷阱与注意事项

多重边界不是“或”关系，而是“且”关系，所有条件必须同时成立。实际开发中要注意：

• 接口顺序不影响语义，但 类必须排在最前；写成 <T extends Comparable<T> & Number> 会编译报错
• 不能用 class 或 final 类作为边界（因其无法被继承），除非该类本身满足全部边界——但此时泛型意义已弱化
• 若某接口方法签名存在冲突（如两个接口都定义了同名同参但不同返回值的方法），则该组合边界不可用，编译器会拒绝
• 运行时仍受类型擦除影响：反射获取不到完整边界信息，只能拿到第一个类型（Number.class）