julia - Julia 中的 (x:y) 运算符

Question

我试图理解这段代码：

  r = (1:10) - (4/1)
    println(r)

输出：

-3.0:1.0:6.0

我明白为什么我得到-3and 6。但是为什么我在中间得到那个值(1.0)？Julia 是如何计算的？或者我怎么能谷歌它？

Answer 1

(first:step:last)语法表示RangeJulia 中的类型

typeof(1:10) # => UnitRange{Int32}

如果省略 step 部分，则默认假定为1

1:10 == 1:1:10 # => true

ARange是一系列的紧凑视图

collect(1:10) # => 10-element Array{Int32,1}:
#  1
#  2
#  3
#  4
#  5
#  6
#  7
#  8
#  9
# 10

因此，预计Range类型和 aVector遵循相同的规则，例如，当您添加这样的常量值时：

collect(1+(1:10))==collect(1:10)+1 # => true

甚至添加两个向量会给您添加它们的范围表示的相同结果，如下所示：

collect((1:10)+(1:10))==collect(1:10)+collect(1:10) # => true

Answer 2

中的除法运算符4/1返回 a Float64。虽然原来的 Range 是一个大小为 1Int步长的 Range，但在两边加上一个浮点数后，它就变成了一个Float64Range。因此，通过转换隐式整数步长来创建 1.0 的步长（浮点数是非均匀分布的，因此均匀步进有点棘手 - 有时会出现舍入问题）。

Answer 3

float应用于区间时，您可以看到这一点：

julia> 1:10
1:10

julia> float(1:10)
1.0:1.0:10.0

并且在添加到 Float64 4/1( 4.0) 之前需要进行此提升。

同样，当将整数添加到浮点数时，朱莉娅在加/减之前将整数“提升”为浮点数：

julia> 1 + 2.0
3.0

julia> @which 1 + 2.0
+(x::Number, y::Number) at promotion.jl:172

查看促销规则：

+(x::Number, y::Number) = +(promote(x,y)...)

您可以@which一直跟踪函数调用以了解发生了什么（一直到以下）：

julia> @which +(1:10, 2.0)
+(A::AbstractArray{T,N}, x::Number) at arraymath.jl

julia> @which .+(1:10, 2.0)
.+(r::Range{T}, x::Real) at range.jl

julia> @which .+(2.0, 1:10)
.+(x::Real, r::UnitRange{T<:Real}) at range.jl

# which is defined as
.+(x::Real, r::UnitRange)  = range(x + r.start, length(r))

因此，Int64 和 Float64 的提升加法。

---

请注意，在 master 中，间隔的显示稍微不那么令人困惑/模棱两可：

julia> float(1:10)
10-element FloatRange{Float64}:
 1.0,2.0,3.0,4.0,5.0,6.0,7.0,8.0,9.0,10.0

julia> 1:10
10-element UnitRange{Int64}:
 1,2,3,4,5,6,7,8,9,10