Jak uzyskać podtyp instancji typu parametrycznego w julia? Na przykład:Jak wyodrębnić określony typ z instancji typu ogólnego w julia?
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
?
nie jestem pewien, to znaczy używać słowa „biznes” tutaj. Typ abstrakcyjny jest po prostu węzłem w hierarchii typów i jest definiowany za pomocą 'abstract MyAbstractType'. Twój typ "Pies" wydaje się parametryczny, niezmienny i złożony, ale * nie * abstrakcyjny. –
Sądzę również, że najbliżej otrzymasz: 'fieldtype (pies, 1)' lub 'fieldtype (pies,: pysk)'. Nie znam metody zwracania parametru typu instancji typu parametrycznego (chociaż możliwe jest, że istnieje nieudokumentowana). –
Dziękuję, zamieniłem słowo "abstract" na "parametryczny". – user3271788