如何在参数类型上定义参数类型？

Question

假设我有类型

immutable X{T} 
    a::T 
end 

immutable Y{T} 
    a::T 
end 

我想这样做

type A{T, U} 
    x::U{T} 
    y::T 
end 

这样的情况下，可能是A(X(a), a)或A(Y(a), a)

它不能作为工作 LoadError: TypeError: Type{...} expression: expected Type{T}, got TypeVar

它的正确方法是什么？

Answer 1

正如错误所述，U是TypeVar，而不是Type。答案是使U成为一种真实类型：

julia> abstract U{T} 

julia> immutable X{T} <: U{T} 
      a::T 
     end 

julia> immutable Y{T} <: U{T} 
      a::T 
     end 

julia> type A{T} 
      x::U{T} 
      y::T 
     end 

julia> A(X(1),1) 
A{Int64}(X{Int64}(1),1) 

julia> A(X(1),1.) 
ERROR: MethodError: no method matching A{T}(::X{Int64}, ::Float64) 
Closest candidates are: 
    A{T}{T}(::U{T}, ::T) at REPL[4]:2 
    A{T}{T}(::Any) at sysimg.jl:53 

julia> A(Y(1),1) 
A{Int64}(Y{Int64}(1),1)