将Array {Int64}转换为Array {Int32}时，有什么方法可以检查溢出？
julia> x = [0,100,2^50]
3-element Array{Int64,1}:
0
100
1125899906842624
julia> int32(x)
3-element Array{Int32,1}:
0
100
0
我知道一种简单的方法就是检查all(typemin(Int32) .< x .< typemax(Int32))。但我正在寻找一种更有效的方法。
编辑：
我试图比较一个专门但不那么优雅的功能g。
f(x::Array{Int64, 1}) = all(typemin(Int32) .< x .< typemax(Int32))
function g(x::Array{Int64, 1})
a = typemin(Int32)
b = typemax(Int32)
for z in x
if !(a<z<b)
return false
end
end
return true
end
x = convert(Array, (2^31-10000):(2^31));
@time for i in 1:1000; f(x); end
@time for i in 1:1000; g(x); end
事实证明，它g使用的内存更少，因此比f：
julia> @time for i in 1:1000; f(x); end
elapsed time: 0.046384046 seconds (13186456 bytes allocated)
julia> @time for i in 1:1000; g(x); end
elapsed time: 0.015128743 seconds (7824 bytes allocated)
我发现直接检查方法更快。就像您在上面发现的那样，内存使用可能是原因。因此，在这种情况下，您可以将便利性换成运行速度并获得更好的性能。
您只关心将Array {Int64}转换为Array {Int32}时是否会出错。当该数字> 2 ^ 32时显然就是这种情况。
julia> int32(2^42)
0
但是由于使用2的补码，试图表示大于2 ^ 31-1的任何内容也是一个问题。
julia> x = 2^31 - 1
2147483647
julia> int32(x) == x
true
julia> y = 2^31
2147483648
julia> int32(y) == y
false
我用于比较的2个函数是
function check1(x)
all(typemin(Int32) .< x .< typemax(Int32))
end
function check2(x)
ok = true;
const min = -2^31
const max = 2^31 - 1;
for i = 1:length(x)
v = x[i]
if v > max || v < min
ok = false;
break;
end
end
ok
end
check2会更快，因为一旦发现1个错误值，它将立即停止，但是即使在最坏的条件下，它也会更快
julia> z = convert(Array{Int64},ones(10000));
julia> @time for i = 1:1000 check2(z) end
elapsed time: 0.008574832 seconds (0 bytes allocated)
julia> @time for i = 1:1000 check1(z) end
elapsed time: 0.036393418 seconds (13184000 bytes allocated)
如果使用@inbounds宏，则速度会持续提高大约60％
@inbounds v = x[i]
新结果
julia> @time for i = 1:1000 check2(z) end
elapsed time: 0.005379673 seconds (0 bytes allocated)
在验证正确性的同时，我偶然发现了这一点
julia> u = [ 2^31 - 2; 2^31 - 1; 2^31 ]
3-element Array{Int64,1}:
2147483646
2147483647
2147483648
julia> for n in u println(check1([n])) end
true
false
false
julia> for n in u println(check2([n])) end
true
true
false
看来check1不正确，2 ^ 31-1可以用32位整数表示。相反，check1应该使用<=。
function check1(x)
all(typemin(Int32) .<= x .<= typemax(Int32))
end
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句