Julia 多次调度失败

v06 我想写一个需要 2 到 3 个参数的签名。第一个是整数或整数向量。第二个是整数向量或整数矩阵。第三个是整数向量或未指定。

我第一次尝试是这样的

function foo(
a::Union{Integer, Vector{Integer}},
b::Union{Vector{Integer}, Matrix{Integer}},
c::Union{Void, Vector{Integer}} = nothing)

当我这样称呼它时foo(3, [0o7, 0o5])我收到一条错误消息，告诉我它无法匹配。

ERROR: LoadError: MethodError: no method matching foo(::Int64, ::Array{UInt8,1})
Closest candidates are:
  foo(::Union{Array{Integer,1}, Integer}, !Matched::Union{Array{Integer,1}, Array{Integer,2}}) at ...
  foo(::Union{Array{Integer,1}, Integer}, !Matched::Union{Array{Integer,1}, Array{Integer,2}}, !Matched::Union{Array{Integer,1}, Void}) at ...

现在我明白为什么朱莉娅无法匹配这个Array{UInt8} <: Array{Integer} == false，但这似乎是朱莉娅不聪明的表现。

然后我尝试了这个

foo(a::Union{Z1, Vector{Z1}},
    b::Union{Vector{Z2}, Matrix{Z2}},
    c::Union{Void, Vector{Z3}} = nothing
    ) where {Z1 <: Integer, Z2 <: Integer, Z3 <: Integer}

现在朱莉娅甚至不告诉我什么不匹配！

ERROR: LoadError: MethodError: no method matching foo(::Int64, ::Array{UInt8,1}, ::Void)
Closest candidates are:
  foo(::Union{Array{Z1<:Integer,1}, Z1<:Integer}, ::Union{Array{Z2<:Integer,1}, Array{Z2<:Integer,2}}, ::Union{Array{Z3<:Integer,1}, Void}) where {Z1<:Integer, Z2<:Integer, Z3<:Integer} at ...
  foo(::Union{Array{Z1<:Integer,1}, Z1<:Integer}, ::Union{Array{Z2<:Integer,1}, Array{Z2<:Integer,2}}) where {Z1<:Integer, Z2<:Integer} at ...

Yes, Array{UInt8} <: Array{Integer} == false。这称为“参数不变性”。许多其他问题已经讨论了这个主题。

不过，您遇到的另一个问题是，当您使用静态函数参数时 - 也就是说，f(…) where T — the T must匹配某些东西，因为它可以在函数体内使用。这会导致麻烦Unions where T并非在每个选项中都可用。我相信关于更改此行为以允许匹配存在一个悬而未决的问题Union不包含的元素T，如果您尝试访问该绑定，则会将该绑定变成未定义的变量。

现在的解决方法是使用类型变量aren't函数的静态参数。例如。，

   foo(a::Union{Integer, Vector{<:Integer}},
       b::Union{Vector{<:Integer}, Matrix{<:Integer}},
       c::Union{Void, Vector{<:Integer}} = nothing) = 1