获取参数类型的参数

Question

假设我定义了类似的类型

type Point{Tx, Ty} end

然后我创建一个这种类型的变量，例如，

a = Point{Int64, :something}()

现在，我只知道我能得到的类型， a由typeof(a) 。 也就是说， Point{Int64, :something} 。 但是，我需要的只是参数Tx和Ty 。

我有办法获得这些参数Tx和Ty吗？

Answer 1

您可以按如下方式定义函数

eltypes{Tx,Ty}(::Type{Point{Tx, Ty}}) = (Tx, Ty)
eltypes(p) = eltypes(typeof(p))

（此处::Type{Point{Tx, Ty}}匹配Point{Tx, Ty}类型的参数并使用它

julia> eltypes(Point{Int, Float64}())
(Int64,Float64)

这是一种常用的习语，例如在Base中有类似的功能

eltype{T}(::Type{Set{T}}) = T
eltype(x) = eltype(typeof(x))

Answer 2

typeof(a)是一个包含许多字段的DataType 。 你可以通过以下方式获得这些

julia> fieldnames(DataType)
10-element Array{Symbol,1}:
 :name        
 :super       
 :parameters  
 :types       
 :instance    
 :size        
 :abstract    
 :mutable     
 :pointerfree 
 :ninitialized

所以，如果您需要这些参数，请运行

julia> collect(typeof(a).parameters)
2-element Array{Any,1}:
 Int64     
 :something