Julia 类型转换和类型提升.pdfVIP

Julia 类型转换和类型提升 类型转换和类型提升 Julia 可以将数学运算符的参数提升为同⼀个类型，这些参数的类型曾经在整数和浮点 数 ，数学运算和基本函数，类型， ⽅法中提到过。 在某种意义上，Julia 是“⾮⾃动类型提升”的：数学运算符只是有特殊语法的函数，函 数的参数不会被⾃动转换。但通过重载，仍能做到“ ⾃动”类型提升。 类型转换 convert 函数⽤于将值转换为各种类型。它有两个参数：第⼀个是类型对象，第⼆ 个是要转换的值；返回值是转换为指定类型的值： julia x = 12 12 julia typeof(x) Int64 julia convert(Uint8, x) 0x0c julia typeof(ans) Uint8 julia convert( loatingPoint, x) 12.0 julia typeof(ans) loat64 遇到不能转换时，convert 会引发 “no method” 错误： julia convert( loatingPoint, foo) ERROR: `convert` has no method matching convert(::Type{ loatin in convert at base.jl:13 Julia 不做字符串和数字之间的类型转换。 定义新类型转换 要定义新类型转换，只需给 convert 提供新⽅法即可。下例将数值转换为布尔值： convert(::Type{Bool}, x ::Number) = (x !=0) 此⽅法第⼀个参数的类型是单态类型， Bool 是 Type{Bool} 的唯⼀实例。此⽅法 仅在第⼀个参数是 Bool 才调⽤。注意第⼀个参数使⽤的语法：参数的名称在 :: 之 前是省略的，只给出了参数的类型。这是 Julia 中对于⼀个函数参数，如果其类型是 指定但该参数的值在函数体中从未使⽤过，那么语法会被使⽤，在这个例⼦中，因为 参数是单态类型，就永远不会有任何理由会在函数体中使⽤它的值。 转换时检查数值是否为 0 ： julia convert(Bool, 1) true julia convert(Bool, 0) false julia convert(Bool, 1im) ERROR: InexactError() in convert at complex .jl:18 julia convert(Bool, 0im) false 实际使⽤的类型转换都⽐较复杂，下例是 Julia 中的⼀个实现： convert{T:Real}(::Type{T}, z::Complex) = (imag(z)==0 ? conver throw(InexactError( julia convert(Bool, 1im) InexactError() in convert at complex .jl:40 案例：分数类型转换 继续 Julia 的 Rational 类型的案例研究， rational .jl 中类型转换的声明紧跟在类型声 明和构造函数之后： convert{T:Integer}(::Type{Rational{T}}, x ::Rational) = Ration convert{T:Integer}(::Type{Rational{T}}, x ::Integer) = Rationa function convert{T:Integer}(::Type{Rational{T}}, x :: loatingP if isnan(x); return zero(T)//zero(T); end if isinf(x); return sign(x)//zero(T); end y = x a = d = one(T) b = c = zero(T) while true f = convert(T,round(y)); y -= f