泛型方法上界未被检查？不符合约束的调用为何可编译？

你的问题核心是对泛型方法的类型推断逻辑理解有误——你默认认为T会直接绑定到第一个参数的类型，但实际上Java编译器会全局匹配所有参数的约束，自动推导出符合所有条件的类型。

具体分析你的调用场景 #

先看你的泛型方法定义：

static <T, V extends T> boolean testMethod(T t, V[] v) {
    return true;
}

当你调用testMethod("text", new Integer[]{1, 2});时，编译器不会死板地把T定为String，而是会寻找一个同时满足以下两个条件的T：

1. 第一个参数"text"（类型String）可以赋值给T；
2. 第二个参数的元素类型Integer，必须满足V extends T（这里V=Integer）。

String和Integer的共同父类是Object，所以编译器会自动推断T=Object，V=Integer。此时：

• Integer确实是Object的子类，满足V extends T；
• String也是Object的子类，可以赋值给类型为Object的参数t。

完全符合方法的泛型约束，所以代码能正常编译运行。

验证你的假设的方法 #

如果你强制指定T为String，比如显式调用：

testMethod<String, Integer>("text", new Integer[]{1, 2});

这时编译器才会报错，因为Integer并不继承自String，违反了V extends T的约束——这才是你原本预期的场景。

总结 #

泛型方法的类型推断是全局统筹所有参数的约束条件，而非逐个参数绑定类型。编译器会自动寻找能满足所有约束的最具体类型（这里是Object），让方法调用尽可能合法，这是Java泛型设计的灵活性体现。

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