Java泛型方法中约束两参数具相同上界的核心是用单个类型变量T统一表示其共同父类，使两参数均为T或其子类型；可显式限定T的上界（如Number、Comparable），或用双类型参数（T extends U）支持不同但兼容的具体类型。
在 Java 泛型方法中，要约束两个参数具有相同的类型（或至少共享同一个父类/上界），核心思路是：**用一个类型变量统一表示它们的共同上界，并让两个参数都声明为该类型的子类型**。这不是强制“完全相同”，而是确保它们能被安全地视为同一父类下的实例——这在实际开发中更常见、更合理。
用单个类型变量约束共同上界
最直接有效的方式是只声明一个类型参数 T，并让两个参数都声明为 T 或其子类型。Java 会自动推断出二者最具体的公共父类（即最小上界）。
- 如果传入
String和Integer，编译失败（无共同子类型） - 如果传入
ArrayList<String>和LinkedList<String>，T 推断为List<String> - 如果传入
FileInputStream和BufferedInputStream，T 推断为InputStream
示例：
public static <T> void process(T a, T b) {
// a 和 b 至少可视为同一类型 T 的实例
System.out.println("Same upper bound: " + a.getClass() + ", " + b.getClass());
}
显式限定为某个父类或接口
若你希望两个参数必须是某个特定类（如 Number）或接口（如 Comparable）的子类型，可用 extends 对类型变量加界：
立即学习“Java免费学习笔记（深入）”；
-
<T extends Number>：两个参数都必须是Number或其子类（Integer、Double等） -
<T extends Comparable<T>>：两个参数都必须实现Comparable，且可相互比较
示例：
public static <T extends Number> double sum(T a, T b) {
return a.doubleValue() + b.doubleValue();
}
// ✅ 合法调用
sum(10, 2.5); // T 推断为 Number
sum(new BigDecimal("1"), new BigInteger("2")); // T 推断为 Number
// ❌ 编译错误：String 不是 Number 子类
// sum("a", "b");
支持不同具体类型但共享上界（推荐用于灵活场景）
有时你需要接受不同类型但有明确公共父类的参数（比如 Exception 子类），又不想丢失原始类型信息，可用双类型参数 + 上界约束：
public static <T extends Throwable, U extends T> void handle(T primary, U fallback) {
// fallback 是 primary 的子类或同类型，可安全向上转型
primary.addSuppressed(fallback);
}
-
T是公共上界（如IOException） -
U extends T表示第二个参数是T的子类型（如FileNotFoundException） - 这样既保留了类型关系，又允许传入不同但兼容的具体类型
避免常见误区
不要试图用 Comparable 或其他接口强行“绑定相等性”——Java 泛型不支持运行时类型相等校验；也不要依赖 instanceof 在泛型方法里做类型判断，因为类型擦除后无法获取真实泛型信息。
真正起作用的是编译期类型推导与上界检查。只要两个参数能被统一归入同一个可表达的上界类型，就满足“具有相同类型父类”的约束目标。
