Wie extrahiert man den spezifischen Typ aus einer Instanz eines generischen Typs in Julia?

Question

Wie bekomme ich den Subtyp einer Instanz eines parametrischen Typs in Julia? Zum Beispiel:

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

dog = Dog(5.) 
typeof(dog) 

... gibt Dog{Float64} zurück. Gibt es eine Möglichkeit, vom Typ aus der Variablen dog ohne explizite Bezugnahme auf das Feld snout zu kommen?

Answer 1

Nein, weil die Art der dogDog{Float64} ist nichtFloat64. Stellen Sie sich vor, welche Ausgabe erwartet wird, wenn Sie Dog durch mehr als einen Typ parametrisieren.

Der empfohlene Weg ist, ein Verfahren zu verwenden, um eine Art/unveränderlichen Felder zuzugreifen:

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

Es auf Ihren Anwendungsfall abhängt. Wenn Sie in einem konkreten Fall so interessiert sind, ist ein guter Weg, um eine Funktion

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

Dann wird dogtype(Dog(.5)) Sie Float 64 geben zu definieren.

Dies ist die Art von Muster, das verwendet wird, um die eltype-Funktion in Base Julia zu implementieren.

Answer 3

Dies funktioniert für mich:

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