Groovy多方法调用解析疑问：强制类型转换为何改变匹配结果？

你遇到的这个现象其实是Groovy中运行时多方法分派与显式类型转换交互的正常行为，并非什么例外规则，我来给你拆解清楚：

1. Groovy多方法的基础逻辑 #

Groovy默认采用运行时多分派（Runtime Multi-Dispatch），简单来说就是：方法的选择是在程序运行时，根据参数的实际运行时类型来匹配最合适的重载方法。

看你代码里的第一个调用：

Number n = 1
method n // 输出1

虽然变量n的静态类型是Number，但它的实际运行时类型是Integer（Groovy会把字面量1自动装箱为Integer对象）。这时候Groovy会在运行时找到最匹配的重载方法——method(int)（因为Integer可以自动拆箱为int类型），所以输出1，这和你的预期一致。

2. 显式类型转换对方法分派的影响 #

当你显式地把参数转换为某个类型时，比如method((Number) n)，你其实是在给Groovy一个明确的静态类型提示：“请把这个参数当作Number类型来处理”。

这时候Groovy的方法分派逻辑会切换为优先参考这个静态类型，而不是参数的实际运行时类型。因为你明确指定了参数的类型为Number，所以它会匹配接受Number参数的method(Number)方法，因此输出2。

3. 验证示例 #

你可以用下面的代码验证这个逻辑：

def method(Integer i) { println 3 }
def method(Number n) { println 2 }
Number n = 1
method((Number) n) // 依然输出2

即使实际运行时类型是Integer，但因为你显式转换为Number，Groovy还是会选择method(Number)方法，这就进一步印证了静态类型提示的作用。

总结 #

这不是Groovy的例外规则，而是它为了支持开发者显式控制方法分派而设计的行为：

• 默认情况下，方法调用基于参数的实际运行时类型选择重载
• 当你显式转换参数类型时，方法调用会基于你指定的静态类型选择重载

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