Quando viene utilizzato il convert() di Julia?

Question

A http://julia.readthedocs.org/en/latest/manual/conversion-and-promotion/, v'è una discussione circa l'aggiunta di numeri interi per galleggianti e così via, e e alla fine si dice

User-defined types can easily participate in this promotion system by defining methods for conversion to and from other types, and providing a handful of promotion rules defining what types they should promote to when mixed with other types.

Da questo ho dedotto che, nel definire il mio tipo numerico, ho semplicemente bisogno di definire come per convertirlo in un tipo noto affinché funzioni con funzioni su di esso. Ma ho provato questo e non sembra funzionare:

julia> type MyType 
      n::Int 
     end 

julia> convert(::Type{Int}, x::MyType) = x.n 
convert (generic function with 1 method) 

julia> convert(Int, MyType(1)) 
1 

julia> MyType(1) + 1 
ERROR: `+` has no method matching +(::MyType, ::Int64) 

Answer 1

Ci sono due problemi con il tuo codice:

• operatori aritmetici come + solo promuovere sottotipi di Number;
• è necessario definire una regola di promozione oltre alla funzione di conversione.

Il seguente dovrebbe fare ciò che si vuole:

module Test 

import Base: convert, promote_rule 

type MyType <: Number 
    n :: Int 
end 

convert(::Type{Int}, x::MyType) = x.n 

promote_rule(::Type{MyType}, ::Type{Int}) = Int 

end