Java 限定传入的两个泛型参数的类型相同

Java 限定传入的两个泛型参数的类型相同

定义一个泛型方法，同时限制传入的两个泛型参数的类型要相同，整理了一下思路。

1、定义泛型方法

Java 定义泛型方法的格式大致如下：

/**
* 泛型方法
* @param a 泛型参数a
* @param b 泛型参数b
* @param <T> 声明此方法持有一个类型T,也可以理解为声明此方法为泛型方法
* @return 此方法的返回值为类型T
*/
public static <T> T test(T a, T b) {
    return a;
}

现在要限定泛型参数 a 与 泛型参数 b 传入的类型相同，怎么办呢？

2、超类型限定

既然要限定泛型参数 a 与 b 的类型相同，那么可不可以让 b 作为 a 的子类去实现类型限定呢？

思路如下：

1、声明 参数 a 的类型，直接让 a 继承泛型 T就可以了。

//声明参数a的类型为S,S继承于T
public static <T, S extends T> T test(S a, T b) {
    return a;
}

2、声明参数 b 的类型， 继承 Comparable<a>的类型。 Comparable 是一个泛型接口，实现类必须都重写 compareTo() 方法，因此可以用来限定 b 的类型只能是 a 的 类型，即超类型限定。（如果参数只是包装类，到这里就可以了）

public static void main(String[] args) {
    //包装类、当两个参数的类型不同，直接报错
    test(1, 2);
}

public static <T, S extends T, W extends Comparable<S>> T test(S a, W b) {
    return a;
}

3、传入的是实体类型参数，必须重写 compareTo() 方法 ，因为上文的包装类都默认实现了 compareTo() 方法。

如 User 实体类：

public static void main(String[] args) {
    //实体类型，必须重写compareTo()方法
    User user1 = new User();
    User user2 = new User();
    test(user1, user2);
}

public static <T, S extends T, W extends Comparable<S>> T test(S a, W b) {
    return a;
}

到这里，就限定了传入的两个泛型参数的类型必须一致，否则报错。