types - julia 获取类型参数的值

Question

我有一个参数类型。例如:

> Array([1 2;3 4])

它的类型是

> typeof(Array([1 2;3 4]))

Array{Int64,2}

我可以使用 eltype 获取第一个类型参数:

> eltype(typeof(Array([1 2;3 4])))

Int64

如何访问第二个和可能的其他类型参数？

Answer 1

如果你是专门说 (Abstract)Array类型，然后可以使用 ndims 检索维度:

julia> ndims(Array{Int64, 2})
2

另一方面，如果您想编写一个从参数类型中提取给定参数的自定义函数，您可以像这样使用 build one:

julia> second_param(::Type{Array{T, N}}) where {T, N} = N
second_param (generic function with 1 method)

julia> second_param(Array{Int64, 2})
2

(为了示例，我在这里使用 Array，但可以使用相同类型的构造从任何其他参数类型中提取参数)