获取的参数类型的参数

Question

假设我定义类型一样，

type Point{Tx, Ty} end 

然后，我创建这种类型的变量，例如，现在

a = Point{Int64, :something}() 

，我只知道我可以通过typeof(a)得到a的类型。那就是，Point{Int64, :something}。 但是，我需要的仅仅是参数Tx和Ty。

有什么方法可以得到这些参数Tx和Ty？

Answer 1

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 

Answer 2

您可以定义一个函数如下

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))