Julia：接受多种数组类型的模板函数

Question

我试图在使用 Array 类型时保持代码的可重用性，但我不确定如何在不允许 "illegal" 类型通过的情况下继续进行。示例功能：

foo = function(x::Array{Number,2})
    print(x)
end

foo([1 2 3; 4 5 6; 7 8 9])
# 15

foo([1 2 3])
# MethodError: no method matching (::Array{Int64,1})
# Closest candidate is (::Array{Number,2})

foo(["alpha" "beta"; "pi" "rho"])
# MethodError: no method matching (::Array{String,2})
# Closest candidate is (::Array{Number,2})

然而，第一个示例 foo([1 2 3; 4 5 6; 7 8 9]) 返回 MethodError: no method matching (::Array{Int64,2})，尽管 (::Array{Number,2}) 理论上是有效的促销。我不想为每个函数调用都手动转换；我也不想将所有数组都声明为 Array{Number,2} 类型。我知道我可以将函数调用替换为：

foo = function(x::Array)
    print(x)
end

但是，这允许任何维度和类型的数组进入函数。我能想到的唯一其他选择是在我最初允许任何和所有数组进入的地方添加样板代码，手动检查它们的类型和大小，然后从那里开始，但这感觉不雅。

有什么建议吗？提前致谢。（注意：我使用的是 Julia 0.6.3）

Answer 1

使用 Matrix{<:Number} 而不是 Array{Number, 2} 作为类型限制，所有都可以工作（Array{<:Number, 2} 也可以）。

简而言之Matrix{Int64}不是Matrix{Number}的子类型，而是Matrix{T} where {T<:Number}的子类型，不使用[=17可以表示为Matrix{<:Number} =] 在函数体中。

此处的 Julia 手册 https://docs.julialang.org/en/v0.6.4/manual/types/#Parametric-Abstract-Types-1 and here https://docs.julialang.org/en/v0.6.4/manual/methods/#Parametric-Methods-1 describes in detail how subtyping in parametric types works in Julia 0.6. Then I think that you can check out this recent SO question Julia: creating a method for Any vector with missing values 可了解如何处理更复杂的子类型化情况。

Julia：接受多种数组类型的模板函数

Julia: Template functions to accept multiple array types

arrays

templates

function

julia

type-promotion