줄리아가 다중 발송에 실패했습니다

Question

v06 2 ~ 3 개의 인수가 필요한 서명을 작성하고 싶습니다. 첫 번째 것은 정수 또는 정수의 벡터입니다. 두 번째 것은 Integer of Vector 또는 Integer of Matrix입니다. 세 번째는 Integer의 벡터이거나 지정되지 않은 벡터입니다. 나는 일치 할 수없는 것을 말해 오류가 발생이 foo(3, [0o7, 0o5]) 같은이를 호출 할 때

는 내가 처음이

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

처럼 시도했다. 줄리아이 Array{UInt8} <: Array{Integer} == false 일치 할 수없는 이유

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 ... 

는 지금은 이해하지만 이것은 단지 줄리아의 스마트없는 것 같다.

은 그 때 나는 줄리아도 일치하지 않는 것을 말하지 않는 지금이

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 ... 

Answer 1

예, Array{UInt8} <: Array{Integer} == false. 이것을 "파라 메트릭 불변성"이라고합니다. 다른 많은 질문이이 주제에 대해 논의했습니다.

당신이로 실행중인 다른 문제는, 그래도입니다 당신은 정적 함수 매개 변수를 사용할 때 - 즉, f(…) where T - 그것은 함수의 본문에 사용 가능한부터 T해야 일치 무엇인가. 이로 인해 Union에 문제가 발생합니다. 여기서 모든 옵션에서 T을 사용할 수 없습니다. 이 동작을 변경하여 T이 포함되지 않은 요소 인 Union과 일치하도록 허용하는 공개 문제가 있다고 생각합니다.이 요소에 액세스하려고 시도하면 정의되지 않은 변수로 바인딩됩니다.

지금 해결 방법은 이 함수의 정적 매개 변수가 아닌이 아닌 유형 vars를 사용하는 것입니다. 예 :

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