Python multipledispatch的Dispatch装饰器无法正确识别参数类型问题

测试multipledispatch多分派功能的代码如下：

from multipledispatch import dispatch


@dispatch(a=int,
          b=int,
          c=Optional[int])
def function(a, b, c=3):
    print(a+b+c)


@dispatch(a=str,
          b=str)
def function(a, b):
    print(a+b)


function(a=10, b=10, c=10)

运行代码抛出错误：
TypeError: function() got an unexpected keyword argument 'c'
注释掉第二个接收两个字符串参数的重载实现后，代码可以正常运行输出结果，但传入三个整数参数时，调度逻辑会错误尝试调用双参数的字符串版本，和预期的分派逻辑不符。

核心是@dispatch装饰器的使用方式不符合multipledispatch的设计规则：

• multipledispatch的dispatch装饰器接收的类型参数，必须和被装饰函数的形参按位置一一对应，以位置参数形式传入，不支持形参名=类型的关键字传参形式注册签名。
• 示例中@dispatch(a=int, b=int, c=Optional[int])属于无效签名注册，装饰器无法正确解析第一个三参数函数的形参列表，直接导致内部调度表的签名优先级错乱。传入a=10, b=10, c=10三个关键字参数时，调度器错误选中了后注册的双参数字符串版本，该版本未定义c形参，因此抛出意外关键字参数的错误。
• 注释掉第二个重载后，调度表内仅存一个注册项，调度逻辑直接回退到原函数执行，因此能碰巧得到正确结果，但这并非规范用法。
• 示例代码还缺少Optional的导入，使用前需要从typing模块引入，Python 3.10及以上版本也可以直接用int | None替代Optional[int]。

from typing import Optional
from multipledispatch import dispatch


# 按参数声明顺序传入对应类型，不要用关键字参数形式写类型映射
@dispatch(int, int, Optional[int])
def function(a, b, c=3):
    print(a+b+c)


@dispatch(str, str)
def function(a, b):
    print(a+b)


function(a=10, b=10, c=10)  # 输出30
function("hello", "world")  # 输出helloworld

修正后调度逻辑会正常匹配：传三个整数时走三参数的数值计算版本，传两个字符串时走字符串拼接版本，不会再出现参数匹配错误。

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