Julia中的UnitRange类型是什么意思？

Question

我尝试阅读具有OOP强类型背景的Julia代码 。 我得到了大部分，但是UnitRange{Int}; 它的使用方式对我来说并不清楚：它是一个数组还是一个整数？ 任何人都可以在一些强类型语言中UnitRange类型的模拟吗？

Answer 1

我们来看看吧。 我们可以通过调用它的构造函数显式创建一个UnitRange{Int}

julia> UnitRange{Int}(3,5) # equivalent to just saying 3:5
3:5

julia> typeof(ans)
UnitRange{Int64}

使用@which宏，我们可以找出构造函数和类型的定义位置：

julia> @which UnitRange{Int}(3,5)
(::Type{UnitRange{T}})(start, stop) where T<:Real in Base at range.jl:255

即在range.jl第255行。我们发现（ @edit可能有用）：

struct UnitRange{T<:Real} <: AbstractUnitRange{T}
    start::T
    stop::T
    UnitRange{T}(start, stop) where {T<:Real} = new(start, unitrange_last(start,stop))
end

因此，对于T = Int64它实际上是两个整数。 使用相同的技术，我们可以发现UnitRange的迭代和索引是在第563行的同一文件中定义的。 因此， UnitRange{Int}是一个具有两个整数字段的类型，它定义了索引和迭代器接口。 有关接口的更多信息，请参阅https://docs.julialang.org/en/stable/manual/interfaces/index.html 。