为何Java泛型方法method无类型限制？如何限制其仅接受同类型参数？

为什么method方法允许传入不同类型的参数？ #

在public static <T> void method(T t1, T t2)这个方法中，Java编译器会进行类型推断，自动寻找两个参数的最具体共同父类型作为T的实际类型。比如传入String和Integer时，它们的共同父类是Object，编译器会把T推断为Object，相当于调用了method<Object>(s, num)——这完全符合方法定义的类型要求，因此是合法的。

而第一个例子中的methodList方法要求两个参数都是List<T>，这里的泛型List是不变的：List<String>和List<Integer>无法对应同一个T（不存在某个T能让List<T>同时兼容这两个类型），因为泛型不支持协变（除非使用通配符? extends，但方法定义中没有），所以编译器找不到合法的T，因此报错。

如何修改method方法使其仅接受相同类型的参数？ #

要让方法在编译期就限制两个参数必须是完全相同的具体类型，可以通过以下两种方式实现：

方式一：调用时显式指定泛型类型 #

在调用方法时明确指定泛型类型，强制约束参数类型：

method<String>(s, num); // 编译报错：Integer无法转换为String
method<Integer>(s, num); // 编译报错：String无法转换为Integer

但这种方式依赖调用者的规范，不属于方法定义层面的强制约束。

方式二：方法定义层面强制类型一致 #

方案1：引入类型令牌（Type Token）

通过接收一个Class<T>类型参数，约束两个输入参数必须和令牌类型完全匹配：

public static <T> void method(T t1, T t2, Class<T> type) {
    // 可选：运行期额外校验类型
    if (!type.isInstance(t1) || !type.isInstance(t2)) {
        throw new IllegalArgumentException("参数类型不匹配");
    }
}

public static void main(String[] args) {
    String s = "a";
    Integer num = 1;
    
    method(s, "b", String.class); // 合法
    method(s, num, String.class); // 编译报错：Integer无法转换为String
}

如果要彻底禁止用Object作为共同父类的情况，可以在方法内添加运行期校验逻辑。

方案2：借助辅助类实现编译期约束

通过泛型辅助类的类型绑定，强制两个参数类型完全一致：

public class TypeChecker<T> {
    private TypeChecker() {}
    
    public static <T> TypeChecker<T> of(T t) {
        return new TypeChecker<>();
    }
    
    public void accept(T t2) {
        // t2必须和of方法传入的t类型完全一致
    }
}

// 使用示例
public static void main(String[] args) {
    String s = "a";
    Integer num = 1;
    
    TypeChecker.of(s).accept("b"); // 合法
    TypeChecker.of(s).accept(num); // 编译报错：Integer无法转换为String
}

这种方式通过辅助类的泛型捕获，在编译期就能拦截类型不匹配的调用。

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