ジュリアマルチプルディスパッチでサブタイプが一致しない

Question

このジュリアの関数定義が、以下に示す私の使用方法と一致しない理由を理解できますか？

私の前提は、関数に渡されるArray{ASCIIString,1}は、関数定義Array{AbstractString,1}と一致しなければならないということです。

julia> function test(a::Array{AbstractString,1}, b::AbstractString, c::Any) end 
test (generic function with 1 method) 

julia> test([""],"","") 
ERROR: MethodError: `test` has no method matching test(::Array{ASCIIString,1}, ::ASCIIString, ::ASCIIString) 
Closest candidates are: 
    test(::Array{AbstractString,1}, ::AbstractString, ::Any) 

julia> 

Answer 1

上記の2つのコメントを回答にする価値はあると思います。

@DanGetzが示すように、ここで重要なフレーズは、不変です。この特定の場合、この原理は、ASCIIString <: AbstractStringがtrueと評価されることを意味するが、Array{ASCIIString, 1} <: Array{AbstractString, 1}は、falseと評価される。だからあなたの質問で働くように定義された関数の場合、配列aをeltype(a)とし、AbstractStringと評価する必要があります。 aをeltype(a)とするとASCIIStringと評価されますが、これはサブタイプがではないためです。

問題を解決するには、パラメータを入力する必要があります。

function test{T<:AbstractString}(a::Array{T}, b::T, c::Any) 

をあなたはbのタイプはeltype(a)異なるが、あることをbを強制できるようにする場合：あなただけbマッチeltype(a)のタイプは、あなたが使用する場合の関数を定義したい場合AbstractStringのサブタイプは、あなたが使用します。

function test{T<:AbstractString}(a::Array{T}, b::AbstractString, c::Any)