为何Julia中关键字参数函数重载失效，位置参数重载正常？

问题场景 #

先看两种函数重载的定义及运行结果：

1. 关键字参数重载（触发错误）

定义两个带关键字参数的重载函数：

function fun(; a::Real)
    return a
end

function fun(; a::Vector)
    return a
end

执行fun(a=1)（注：原问题中fun(1)属于错误调用方式，实际应为关键字传参，但无论哪种方式都会触发类型错误）时，会抛出：

TypeError: in keyword argument a, expected Vector, got a value of type Int64

2. 位置参数重载（正常运行）

定义两个带位置参数的重载函数：

function fun(a::Real)
    return a
end

function fun(a::Vector)
    return a
end

执行fun(1)返回1，fun([1, 2])返回[1, 2]，均正常工作。

核心原因 #

Julia的方法分派逻辑对位置参数和关键字参数的处理规则完全不同：

• 位置参数是方法签名的核心：
  Julia的多分派系统完全基于位置参数的类型来选择匹配的方法。每个位置参数重载的方法都有独立的签名，调用时会根据传入参数的具体类型自动匹配最合适的版本。比如Int64类型的1属于Real的子类型，会匹配fun(a::Real)；Vector类型的参数则匹配对应的重载方法，这是Julia多分派的核心逻辑。

• 关键字参数不属于方法签名：
  Julia不会把关键字参数的类型纳入方法重载的匹配依据。你定义的两个带关键字参数的fun并不是真正的重载——后定义的方法会直接覆盖前一个。也就是说，当你写完fun(; a::Vector)后，之前的fun(; a::Real)已经被替换了。此时所有调用都会使用最后定义的方法，要求a必须是Vector类型，传入Int64自然会触发类型错误。

替代方案 #

如果需要基于关键字参数的类型做不同处理，不能用方法重载，而是要在同一个函数内部转发到带位置参数的重载函数，比如：

function fun(; a)
    _fun(a)
end

# 内部用位置参数实现重载
_fun(a::Real) = a
_fun(a::Vector) = a

这样调用fun(a=1)或fun(a=[1,2])就能正常得到预期结果。

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