Jak wyodrębnić określony typ z instancji typu ogólnego w julia?

Question

Jak uzyskać podtyp instancji typu parametrycznego w julia? Na przykład:

immutable Dog{T <: Number} 
    snout::T 
end 

dog = Dog(5.) 
typeof(dog) 

... zwraca Dog{Float64}. Czy istnieje sposób uzyskania typu Float64 ze zmiennej dog bez bezpośredniego odwoływania się do pola snout?

Answer 1

Nie, ponieważ typ dog jest Dog{Float64}nieFloat64. Pomyśl o oczekiwanym wyjściu, jeśli parametryzujesz Dog przez więcej niż jeden typ.

Zalecanym sposobem jest użycie metody dostępu rodzajem Pola/niezmienne:

julia> type Foo{T <: Number, S <: AbstractString} 
      bar::T 
      baz::S 
     end 

julia> foo = Foo(5.5, "test") 
Foo{Float64,ASCIIString}(5.5,"test") 

julia> typeof(foo) 
Foo{Float64,ASCIIString} 

julia> typeof(foo.bar) 
Float64 

julia> typeof(foo.baz) 
ASCIIString 

julia> for field in names(Foo) 
      @eval $(field)(x::Foo) = x.$field 
     end 

julia> typeof(bar(foo)) 
Float64 

julia> typeof(baz(foo)) 
ASCIIString 

Answer 2

To zależy od przypadku użycia. Jeśli jesteś zainteresowany konkretnym przypadku jak ten, dobrym sposobem jest zdefiniować funkcję

dogtype{T}(::Dog{T}) = T 

Następnie dogtype(Dog(.5)) daje Float 64.

Jest to rodzaj wzoru używanego do implementacji funkcji eltype w bazie Julia.

Answer 3

Działa to dla mnie:

julia> VERSION 
v"0.4.0-dev+5733" 

julia> immutable Dog{T <: Number} 
      snout::T 
     end 

julia> dog = Dog(0.5) 
Dog{Float64}(0.5) 

julia> typeof(dog).parameters[1] 
Float64