如何在參數類型上定義參數類型？

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)