Kiedy używany jest konwerter Julii()?

Question

Na http://julia.readthedocs.org/en/latest/manual/conversion-and-promotion/, jest dyskusja na temat dodawania liczb całkowitych do pływaków i tak dalej, a i na koniec mówi

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.

Z tego wywnioskowałem, że przy określaniu własny typ liczbowy, ja po prostu potrzebne, aby określić, w jaki przekonwertować go do znanego typu, aby działał z funkcjami na nim. Ale próbowałem tego i nie wydaje się działać:

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

Istnieją dwa problemy z kodem:

• arytmetyczne operatory takie jak + promują tylko podtypy Number;
• Musisz zdefiniować regułę promocji oprócz funkcji konwersji.

Poniższy powinien robić to, co chcesz:

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