Question

我正在尝试编写两个具有相同名称的函数，这些函数可以使用Julia的多个调度工具并涉及数组的数组和数组。

假设有这三个输入变量

# typeof(a) => Array{Array{T,N},1}
a=Array[[1,2,3],[4,5,6]]

# typeof(b) => Array{Int64,1}
b=[1,2,3]

# typeof(c) => Array{Array{Float64,1},1}
c=[rand(10) for i in 1:2]

我写了两个这样的函数

function test(x::Array{Array})
    println("received an array of array => $(typeof(x))")
end

function test{T<:Number}(x::Array{T,1})
    println("received a vector. converting.....")
    nx = Array[x]
    test(nx)
end

上述方法适用于a和b，但不适用于c。

test(a)
# received an array of array => Array{Array{T,N},1}

test(b)
# received a vector. converting.....
# received an array of array => Array{Array{T,N},1}

test(c)
# LoadError: MethodError: `test` has no method matching test(::Array{Array{Float64,1},1})
# while loading In[37], in expression starting on line 1

现在，如果我将函数定义更改为x::Array{Array{Float64,1},1}，这将起作用。但我的问题是Array{Array}不应该采用任何类型的阵列数组？

如何在数组数组中使用内部类型参数？

Answer 1

是不是Array {Array}应该采用任何类型的数组数组？

是和不......它应该但不是这样。

我猜你已经知道 Julia的类型参数是不变的。

请注意，Array本身是参数类型，因此您应该使用Array{T}而不是T<:Array而不是Array{Array}：

function test{T<:Array}(x::Array{T})
    println("received an array of array => $(typeof(x))")
end

具有多个调度的Array数组的Julia参数函数

1 个答案: