• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

JuliaLang / julia / #37666

04 Nov 2023 02:27AM UTC coverage: 87.924% (+0.09%) from 87.831%
#37666

push

local

web-flow
Simplify, 16bit PDP-11 isn't going to be supported (#45763)

PDP_ENDIAN isn't used.

Co-authored-by: Viral B. Shah <ViralBShah@users.noreply.github.com>

74550 of 84789 relevant lines covered (87.92%)

15319904.67 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

92.16
/base/subarray.jl
1
# This file is a part of Julia. License is MIT: https://julialang.org/license
2

3
abstract type AbstractCartesianIndex{N} end # This is a hacky forward declaration for CartesianIndex
4
const ViewIndex = Union{Real, AbstractArray}
5
const ScalarIndex = Real
6

7
"""
8
    SubArray{T,N,P,I,L} <: AbstractArray{T,N}
9

10
`N`-dimensional view into a parent array (of type `P`) with an element type `T`, restricted by a tuple of indices (of type `I`). `L` is true for types that support fast linear indexing, and `false` otherwise.
11

12
Construct `SubArray`s using the [`view`](@ref) function.
13
"""
14
struct SubArray{T,N,P,I,L} <: AbstractArray{T,N}
15
    parent::P
16
    indices::I
17
    offset1::Int       # for linear indexing and pointer, only valid when L==true
18
    stride1::Int       # used only for linear indexing
19
    function SubArray{T,N,P,I,L}(parent, indices, offset1, stride1) where {T,N,P,I,L}
22,641,824✔
20
        @inline
22,641,824✔
21
        check_parent_index_match(parent, indices)
22,641,824✔
22
        new(parent, indices, offset1, stride1)
27,452,037✔
23
    end
24
end
25
# Compute the linear indexability of the indices, and combine it with the linear indexing of the parent
26
function SubArray(parent::AbstractArray, indices::Tuple)
22,779,493✔
27
    @inline
22,641,261✔
28
    SubArray(IndexStyle(viewindexing(indices), IndexStyle(parent)), parent, ensure_indexable(indices), index_dimsum(indices...))
27,451,471✔
29
end
30
function SubArray(::IndexCartesian, parent::P, indices::I, ::NTuple{N,Any}) where {P,I,N}
250,415✔
31
    @inline
250,415✔
32
    SubArray{eltype(P), N, P, I, false}(parent, indices, 0, 0)
250,432✔
33
end
34
function SubArray(::IndexLinear, parent::P, indices::I, ::NTuple{N,Any}) where {P,I,N}
22,390,846✔
35
    @inline
22,390,846✔
36
    # Compute the stride and offset
37
    stride1 = compute_stride1(parent, indices)
22,390,945✔
38
    SubArray{eltype(P), N, P, I, true}(parent, indices, compute_offset1(parent, stride1, indices), stride1)
27,201,040✔
39
end
40

41
check_parent_index_match(parent, indices) = check_parent_index_match(parent, index_ndims(indices...))
22,641,823✔
42
check_parent_index_match(parent::AbstractArray{T,N}, ::NTuple{N, Bool}) where {T,N} = nothing
541,737✔
43
check_parent_index_match(parent, ::NTuple{N, Bool}) where {N} =
×
44
    throw(ArgumentError("number of indices ($N) must match the parent dimensionality ($(ndims(parent)))"))
45

46
# This computes the linear indexing compatibility for a given tuple of indices
47
viewindexing(I::Tuple{}) = IndexLinear()
123✔
48
# Leading scalar indices simply increase the stride
49
viewindexing(I::Tuple{ScalarIndex, Vararg{Any}}) = (@inline; viewindexing(tail(I)))
8,589✔
50
# Slices may begin a section which may be followed by any number of Slices
51
viewindexing(I::Tuple{Slice, Slice, Vararg{Any}}) = (@inline; viewindexing(tail(I)))
2,130✔
52
# A UnitRange can follow Slices, but only if all other indices are scalar
53
viewindexing(I::Tuple{Slice, AbstractUnitRange, Vararg{ScalarIndex}}) = IndexLinear()
253✔
54
viewindexing(I::Tuple{Slice, Slice, Vararg{ScalarIndex}}) = IndexLinear() # disambiguate
1,397✔
55
# In general, ranges are only fast if all other indices are scalar
56
viewindexing(I::Tuple{AbstractRange, Vararg{ScalarIndex}}) = IndexLinear()
176,718✔
57
# All other index combinations are slow
58
viewindexing(I::Tuple{Vararg{Any}}) = IndexCartesian()
×
59
# Of course, all other array types are slow
60
viewindexing(I::Tuple{AbstractArray, Vararg{Any}}) = IndexCartesian()
24,299✔
61

62
# Simple utilities
63
size(V::SubArray) = (@inline; map(length, axes(V)))
18,409,953✔
64

65
similar(V::SubArray, T::Type, dims::Dims) = similar(V.parent, T, dims)
7,859✔
66

67
sizeof(V::SubArray) = length(V) * sizeof(eltype(V))
5✔
68
sizeof(V::SubArray{<:Any,<:Any,<:Array}) = length(V) * elsize(V.parent)
236,296✔
69

70
function Base.copy(V::SubArray)
1,197✔
71
    v = V.parent[V.indices...]
2,449✔
72
    ndims(V) == 0 || return v
1,197✔
73
    x = similar(V) # ensure proper type of x
1✔
74
    x[] = v
1✔
75
    return x
1✔
76
end
77

78
parent(V::SubArray) = V.parent
1,100,872✔
79
parentindices(V::SubArray) = V.indices
185,421✔
80

81
"""
82
    parentindices(A)
83

84
Return the indices in the [`parent`](@ref) which correspond to the view `A`.
85

86
# Examples
87
```jldoctest
88
julia> A = [1 2; 3 4];
89

90
julia> V = view(A, 1, :)
91
2-element view(::Matrix{Int64}, 1, :) with eltype Int64:
92
 1
93
 2
94

95
julia> parentindices(V)
96
(1, Base.Slice(Base.OneTo(2)))
97
```
98
"""
99
function parentindices end
100

101
parentindices(a::AbstractArray) = map(oneto, size(a))
1✔
102

103
## Aliasing detection
104
dataids(A::SubArray) = (dataids(A.parent)..., _splatmap(dataids, A.indices)...)
3,508,886✔
105
_splatmap(f, ::Tuple{}) = ()
2,654,802✔
106
_splatmap(f, t::Tuple) = (f(t[1])..., _splatmap(f, tail(t))...)
2,680,094✔
107
unaliascopy(A::SubArray) = typeof(A)(unaliascopy(A.parent), map(unaliascopy, A.indices), A.offset1, A.stride1)
4✔
108

109
# When the parent is an Array we can trim the size down a bit. In the future this
110
# could possibly be extended to any mutable array.
111
function unaliascopy(V::SubArray{T,N,A,I,LD}) where {T,N,A<:Array,I<:Tuple{Vararg{Union{Real,AbstractRange,Array}}},LD}
561✔
112
    dest = Array{T}(undef, index_lengths(V.indices...))
561✔
113
    copyto!(dest, V)
561✔
114
    SubArray{T,N,A,I,LD}(dest, map(_trimmedindex, V.indices), 0, Int(LD))
561✔
115
end
116
# Transform indices to be "dense"
117
_trimmedindex(i::Real) = oftype(i, 1)
540✔
118
_trimmedindex(i::AbstractUnitRange) = oftype(i, oneto(length(i)))
566✔
119
_trimmedindex(i::AbstractArray) = oftype(i, reshape(eachindex(IndexLinear(), i), axes(i)))
2✔
120

121
## SubArray creation
122
# We always assume that the dimensionality of the parent matches the number of
123
# indices that end up getting passed to it, so we store the parent as a
124
# ReshapedArray view if necessary. The trouble is that arrays of `CartesianIndex`
125
# can make the number of effective indices not equal to length(I).
126
_maybe_reshape_parent(A::AbstractArray, ::NTuple{1, Bool}) = reshape(A, Val(1))
1,288✔
127
_maybe_reshape_parent(A::AbstractArray{<:Any,1}, ::NTuple{1, Bool}) = reshape(A, Val(1))
480,411✔
128
_maybe_reshape_parent(A::AbstractArray{<:Any,N}, ::NTuple{N, Bool}) where {N} = A
179,470✔
129
_maybe_reshape_parent(A::AbstractArray, ::NTuple{N, Bool}) where {N} = reshape(A, Val(N))
442✔
130
"""
131
    view(A, inds...)
132

133
Like [`getindex`](@ref), but returns a lightweight array that lazily references
134
(or is effectively a _view_ into) the parent array `A` at the given index or indices
135
`inds` instead of eagerly extracting elements or constructing a copied subset.
136
Calling [`getindex`](@ref) or [`setindex!`](@ref) on the returned value
137
(often a [`SubArray`](@ref)) computes the indices to access or modify the
138
parent array on the fly.  The behavior is undefined if the shape of the parent array is
139
changed after `view` is called because there is no bound check for the parent array; e.g.,
140
it may cause a segmentation fault.
141

142
Some immutable parent arrays (like ranges) may choose to simply
143
recompute a new array in some circumstances instead of returning
144
a `SubArray` if doing so is efficient and provides compatible semantics.
145

146
!!! compat "Julia 1.6"
147
    In Julia 1.6 or later, `view` can be called on an `AbstractString`, returning a
148
    `SubString`.
149

150
# Examples
151
```jldoctest
152
julia> A = [1 2; 3 4]
153
2×2 Matrix{Int64}:
154
 1  2
155
 3  4
156

157
julia> b = view(A, :, 1)
158
2-element view(::Matrix{Int64}, :, 1) with eltype Int64:
159
 1
160
 3
161

162
julia> fill!(b, 0)
163
2-element view(::Matrix{Int64}, :, 1) with eltype Int64:
164
 0
165
 0
166

167
julia> A # Note A has changed even though we modified b
168
2×2 Matrix{Int64}:
169
 0  2
170
 0  4
171

172
julia> view(2:5, 2:3) # returns a range as type is immutable
173
3:4
174
```
175
"""
176
function view(A::AbstractArray{<:Any,N}, I::Vararg{Any,M}) where {N,M}
26,097,603✔
177
    @inline
23,610,561✔
178
    J = map(i->unalias(A,i), to_indices(A, I))
46,609,758✔
179
    @boundscheck checkbounds(A, J...)
27,452,395✔
180
    if length(J) > ndims(A) && J[N+1:end] isa Tuple{Vararg{Int}}
23,610,538✔
181
        # view([1,2,3], :, 1) does not need to reshape
182
        return unsafe_view(A, J[1:N]...)
17,997✔
183
    end
184
    unsafe_view(_maybe_reshape_parent(A, index_ndims(J...)), J...)
27,434,442✔
185
end
186

187
# Ranges implement getindex to return recomputed ranges; use that for views, too (when possible)
188
function view(r1::OneTo, r2::OneTo)
1✔
189
    @_propagate_inbounds_meta
1✔
190
    getindex(r1, r2)
1✔
191
end
192
function view(r1::AbstractUnitRange, r2::AbstractUnitRange{<:Integer})
287✔
193
    @_propagate_inbounds_meta
287✔
194
    getindex(r1, r2)
287✔
195
end
196
function view(r1::AbstractUnitRange, r2::StepRange{<:Integer})
1✔
197
    @_propagate_inbounds_meta
1✔
198
    getindex(r1, r2)
1✔
199
end
200
function view(r1::StepRange, r2::AbstractRange{<:Integer})
4✔
201
    @_propagate_inbounds_meta
4✔
202
    getindex(r1, r2)
7✔
203
end
204
function view(r1::StepRangeLen, r2::OrdinalRange{<:Integer})
×
205
    @_propagate_inbounds_meta
×
206
    getindex(r1, r2)
×
207
end
208
function view(r1::LinRange, r2::OrdinalRange{<:Integer})
×
209
    @_propagate_inbounds_meta
×
210
    getindex(r1, r2)
×
211
end
212

213
# getindex(r::AbstractRange, ::Colon) returns a copy of the range, and we may do the same for a view
214
function view(r1::AbstractRange, c::Colon)
2✔
215
    @_propagate_inbounds_meta
2✔
216
    getindex(r1, c)
2✔
217
end
218

219
function unsafe_view(A::AbstractArray, I::Vararg{ViewIndex,N}) where {N}
23,456,975✔
220
    @inline
22,625,926✔
221
    SubArray(A, I)
27,297,844✔
222
end
223
# When we take the view of a view, it's often possible to "reindex" the parent
224
# view's indices such that we can "pop" the parent view and keep just one layer
225
# of indirection. But we can't always do this because arrays of `CartesianIndex`
226
# might span multiple parent indices, making the reindex calculation very hard.
227
# So we use _maybe_reindex to figure out if there are any arrays of
228
# `CartesianIndex`, and if so, we punt and keep two layers of indirection.
229
unsafe_view(V::SubArray, I::Vararg{ViewIndex,N}) where {N} =
153,564✔
230
    (@inline; _maybe_reindex(V, I))
155,480✔
231
_maybe_reindex(V, I) = (@inline; _maybe_reindex(V, I, I))
155,480✔
232
_maybe_reindex(V, I, ::Tuple{AbstractArray{<:AbstractCartesianIndex}, Vararg{Any}}) =
18✔
233
    (@inline; SubArray(V, I))
18✔
234
# But allow arrays of CartesianIndex{1}; they behave just like arrays of Ints
235
_maybe_reindex(V, I, A::Tuple{AbstractArray{<:AbstractCartesianIndex{1}}, Vararg{Any}}) =
×
236
    (@inline; _maybe_reindex(V, I, tail(A)))
×
237
_maybe_reindex(V, I, A::Tuple{Any, Vararg{Any}}) = (@inline; _maybe_reindex(V, I, tail(A)))
171,286✔
238
function _maybe_reindex(V, I, ::Tuple{})
153,546✔
239
    @inline
153,546✔
240
    @inbounds idxs = to_indices(V.parent, reindex(V.indices, I))
155,462✔
241
    SubArray(V.parent, idxs)
153,606✔
242
end
243

244
## Re-indexing is the heart of a view, transforming A[i, j][x, y] to A[i[x], j[y]]
245
#
246
# Recursively look through the heads of the parent- and sub-indices, considering
247
# the following cases:
248
# * Parent index is array  -> re-index that with one or more sub-indices (one per dimension)
249
# * Parent index is Colon  -> just use the sub-index as provided
250
# * Parent index is scalar -> that dimension was dropped, so skip the sub-index and use the index as is
251

252
AbstractZeroDimArray{T} = AbstractArray{T, 0}
253

254
reindex(::Tuple{}, ::Tuple{}) = ()
22,540,244✔
255

256
# Skip dropped scalars, so simply peel them off the parent indices and continue
257
reindex(idxs::Tuple{ScalarIndex, Vararg{Any}}, subidxs::Tuple{Vararg{Any}}) =
2,776,533✔
258
    (@_propagate_inbounds_meta; (idxs[1], reindex(tail(idxs), subidxs)...))
2,776,873✔
259

260
# Slices simply pass their subindices straight through
261
reindex(idxs::Tuple{Slice, Vararg{Any}}, subidxs::Tuple{Any, Vararg{Any}}) =
16,095,668✔
262
    (@_propagate_inbounds_meta; (subidxs[1], reindex(tail(idxs), tail(subidxs))...))
16,096,432✔
263

264
# Re-index into parent vectors with one subindex
265
reindex(idxs::Tuple{AbstractVector, Vararg{Any}}, subidxs::Tuple{Any, Vararg{Any}}) =
25,922,083✔
266
    (@_propagate_inbounds_meta; (idxs[1][subidxs[1]], reindex(tail(idxs), tail(subidxs))...))
25,923,785✔
267

268
# Parent matrices are re-indexed with two sub-indices
269
reindex(idxs::Tuple{AbstractMatrix, Vararg{Any}}, subidxs::Tuple{Any, Any, Vararg{Any}}) =
689,531✔
270
    (@_propagate_inbounds_meta; (idxs[1][subidxs[1], subidxs[2]], reindex(tail(idxs), tail(tail(subidxs)))...))
690,033✔
271

272
# In general, we index N-dimensional parent arrays with N indices
273
@generated function reindex(idxs::Tuple{AbstractArray{T,N}, Vararg{Any}}, subidxs::Tuple{Vararg{Any}}) where {T,N}
106,676✔
274
    if length(subidxs.parameters) >= N
432✔
275
        subs = [:(subidxs[$d]) for d in 1:N]
397✔
276
        tail = [:(subidxs[$d]) for d in N+1:length(subidxs.parameters)]
426✔
277
        :(@_propagate_inbounds_meta; (idxs[1][$(subs...)], reindex(tail(idxs), ($(tail...),))...))
53,551✔
278
    else
279
        :(throw(ArgumentError("cannot re-index SubArray with fewer indices than dimensions\nThis should not occur; please submit a bug report.")))
219✔
280
    end
281
end
282

283
# In general, we simply re-index the parent indices by the provided ones
284
SlowSubArray{T,N,P,I} = SubArray{T,N,P,I,false}
285
function getindex(V::SubArray{T,N}, I::Vararg{Int,N}) where {T,N}
11,612,146✔
286
    @inline
11,612,146✔
287
    @boundscheck checkbounds(V, I...)
11,612,235✔
288
    @inbounds r = V.parent[reindex(V.indices, I)...]
11,898,985✔
289
    r
11,612,057✔
290
end
291

292
# But SubArrays with fast linear indexing pre-compute a stride and offset
293
FastSubArray{T,N,P,I} = SubArray{T,N,P,I,true}
294
function getindex(V::FastSubArray, i::Int)
39,194✔
295
    @inline
39,194✔
296
    @boundscheck checkbounds(V, i)
39,196✔
297
    @inbounds r = V.parent[V.offset1 + V.stride1*i]
39,192✔
298
    r
39,192✔
299
end
300
# We can avoid a multiplication if the first parent index is a Colon or AbstractUnitRange,
301
# or if all the indices are scalars, i.e. the view is for a single value only
302
FastContiguousSubArray{T,N,P,I<:Union{Tuple{Union{Slice, AbstractUnitRange}, Vararg{Any}},
303
                                      Tuple{Vararg{ScalarIndex}}}} = SubArray{T,N,P,I,true}
304
function getindex(V::FastContiguousSubArray, i::Int)
624,098✔
305
    @inline
624,098✔
306
    @boundscheck checkbounds(V, i)
624,100✔
307
    @inbounds r = V.parent[V.offset1 + i]
624,096✔
308
    r
624,096✔
309
end
310
# For vector views with linear indexing, we disambiguate to favor the stride/offset
311
# computation as that'll generally be faster than (or just as fast as) re-indexing into a range.
312
function getindex(V::FastSubArray{<:Any, 1}, i::Int)
215,142✔
313
    @inline
211,583✔
314
    @boundscheck checkbounds(V, i)
327,703✔
315
    @inbounds r = V.parent[V.offset1 + V.stride1*i]
327,697✔
316
    r
327,697✔
317
end
318
function getindex(V::FastContiguousSubArray{<:Any, 1}, i::Int)
318,048,714✔
319
    @inline
268,624,799✔
320
    @boundscheck checkbounds(V, i)
318,709,557✔
321
    @inbounds r = V.parent[V.offset1 + i]
318,709,551✔
322
    r
318,709,551✔
323
end
324

325
# Indexed assignment follows the same pattern as `getindex` above
326
function setindex!(V::SubArray{T,N}, x, I::Vararg{Int,N}) where {T,N}
8,450,608✔
327
    @inline
8,450,608✔
328
    @boundscheck checkbounds(V, I...)
8,450,667✔
329
    @inbounds V.parent[reindex(V.indices, I)...] = x
8,450,653✔
330
    V
8,450,653✔
331
end
332
function setindex!(V::FastSubArray, x, i::Int)
1,000,636✔
333
    @inline
1,000,636✔
334
    @boundscheck checkbounds(V, i)
1,000,636✔
335
    @inbounds V.parent[V.offset1 + V.stride1*i] = x
1,000,636✔
336
    V
1,000,636✔
337
end
338
function setindex!(V::FastContiguousSubArray, x, i::Int)
21,486✔
339
    @inline
21,486✔
340
    @boundscheck checkbounds(V, i)
21,486✔
341
    @inbounds V.parent[V.offset1 + i] = x
21,486✔
342
    V
21,486✔
343
end
344
function setindex!(V::FastSubArray{<:Any, 1}, x, i::Int)
30,584✔
345
    @inline
30,493✔
346
    @boundscheck checkbounds(V, i)
32,162✔
347
    @inbounds V.parent[V.offset1 + V.stride1*i] = x
32,162✔
348
    V
32,162✔
349
end
350
function setindex!(V::FastContiguousSubArray{<:Any, 1}, x, i::Int)
77,603,494✔
351
    @inline
77,603,193✔
352
    @boundscheck checkbounds(V, i)
78,137,714✔
353
    @inbounds V.parent[V.offset1 + i] = x
78,137,714✔
354
    V
78,137,714✔
355
end
356

357
function isassigned(V::SubArray{T,N}, I::Vararg{Int,N}) where {T,N}
2,324,018✔
358
    @inline
2,324,018✔
359
    @boundscheck checkbounds(Bool, V, I...) || return false
2,324,018✔
360
    @inbounds r = isassigned(V.parent, reindex(V.indices, I)...)
2,324,018✔
361
    r
2,324,018✔
362
end
363
function isassigned(V::FastSubArray, i::Int)
31,758✔
364
    @inline
31,758✔
365
    @boundscheck checkbounds(Bool, V, i) || return false
31,758✔
366
    @inbounds r = isassigned(V.parent, V.offset1 + V.stride1*i)
31,758✔
367
    r
31,758✔
368
end
369
function isassigned(V::FastContiguousSubArray, i::Int)
583,453✔
370
    @inline
583,453✔
371
    @boundscheck checkbounds(Bool, V, i) || return false
583,453✔
372
    @inbounds r = isassigned(V.parent, V.offset1 + i)
583,453✔
373
    r
583,453✔
374
end
375
function isassigned(V::FastSubArray{<:Any, 1}, i::Int)
3,302✔
376
    @inline
3,302✔
377
    @boundscheck checkbounds(Bool, V, i) || return false
3,302✔
378
    @inbounds r = isassigned(V.parent, V.offset1 + V.stride1*i)
3,302✔
379
    r
3,302✔
380
end
381
function isassigned(V::FastContiguousSubArray{<:Any, 1}, i::Int)
80,460,004✔
382
    @inline
31,036,089✔
383
    @boundscheck checkbounds(Bool, V, i) || return false
80,462,704✔
384
    @inbounds r = isassigned(V.parent, V.offset1 + i)
80,462,704✔
385
    r
80,462,704✔
386
end
387

388
IndexStyle(::Type{<:FastSubArray}) = IndexLinear()
5,646,748✔
389
IndexStyle(::Type{<:SubArray}) = IndexCartesian()
12,619,467✔
390

391
# Strides are the distance in memory between adjacent elements in a given dimension
392
# which we determine from the strides of the parent
393
strides(V::SubArray) = substrides(strides(V.parent), V.indices)
120,512✔
394

395
substrides(strds::Tuple{}, ::Tuple{}) = ()
120,512✔
396
substrides(strds::NTuple{N,Int}, I::Tuple{ScalarIndex, Vararg{Any}}) where N = (substrides(tail(strds), tail(I))...,)
19,233✔
397
substrides(strds::NTuple{N,Int}, I::Tuple{Slice, Vararg{Any}}) where N = (first(strds), substrides(tail(strds), tail(I))...)
107,514✔
398
substrides(strds::NTuple{N,Int}, I::Tuple{AbstractRange, Vararg{Any}}) where N = (first(strds)*step(I[1]), substrides(tail(strds), tail(I))...)
193,361✔
399
substrides(strds, I::Tuple{Any, Vararg{Any}}) = throw(ArgumentError("strides is invalid for SubArrays with indices of type $(typeof(I[1]))"))
×
400

401
stride(V::SubArray, d::Integer) = d <= ndims(V) ? strides(V)[d] : strides(V)[end] * size(V)[end]
23,817✔
402

403
compute_stride1(parent::AbstractArray, I::NTuple{N,Any}) where {N} =
22,390,846✔
404
    (@inline; compute_stride1(1, fill_to_length(axes(parent), OneTo(1), Val(N)), I))
22,390,945✔
405
compute_stride1(s, inds, I::Tuple{}) = s
1✔
406
compute_stride1(s, inds, I::Tuple{Vararg{ScalarIndex}}) = s
104✔
407
compute_stride1(s, inds, I::Tuple{ScalarIndex, Vararg{Any}}) =
5,320✔
408
    (@inline; compute_stride1(s*length(inds[1]), tail(inds), tail(I)))
5,320✔
409
compute_stride1(s, inds, I::Tuple{AbstractRange, Vararg{Any}}) = s*step(I[1])
103,882✔
410
compute_stride1(s, inds, I::Tuple{Slice, Vararg{Any}}) = s
51,928✔
411
compute_stride1(s, inds, I::Tuple{Any, Vararg{Any}}) = throw(ArgumentError("invalid strided index type $(typeof(I[1]))"))
×
412

413
elsize(::Type{<:SubArray{<:Any,<:Any,P}}) where {P} = elsize(P)
687,367✔
414

415
iscontiguous(A::SubArray) = iscontiguous(typeof(A))
61✔
416
iscontiguous(::Type{<:SubArray}) = false
27✔
417
iscontiguous(::Type{<:FastContiguousSubArray}) = true
7✔
418

419
first_index(V::FastSubArray) = V.offset1 + V.stride1 * firstindex(V) # cached for fast linear SubArrays
499,135✔
420
first_index(V::SubArray) = compute_linindex(parent(V), V.indices)
67,593✔
421

422
# Computing the first index simply steps through the indices, accumulating the
423
# sum of index each multiplied by the parent's stride.
424
# The running sum is `f`; the cumulative stride product is `s`.
425
# If the parent is a vector, then we offset the parent's own indices with parameters of I
426
compute_offset1(parent::AbstractVector, stride1::Integer, I::Tuple{AbstractRange}) =
22,256,026✔
427
    (@inline; first(I[1]) - stride1*first(axes1(I[1])))
25,350,809✔
428
# If the result is one-dimensional and it's a Colon, then linear
429
# indexing uses the indices along the given dimension.
430
# If the result is one-dimensional and it's a range, then linear
431
# indexing might be offset if the index itself is offset
432
# Otherwise linear indexing always matches the parent.
433
compute_offset1(parent, stride1::Integer, I::Tuple) =
134,819✔
434
    (@inline; compute_offset1(parent, stride1, find_extended_dims(1, I...), find_extended_inds(I...), I))
134,819✔
435
compute_offset1(parent, stride1::Integer, dims::Tuple{Int}, inds::Tuple{Slice}, I::Tuple) =
31,017✔
436
    (@inline; compute_linindex(parent, I) - stride1*first(axes(parent, dims[1])))  # index-preserving case
31,017✔
437
compute_offset1(parent, stride1::Integer, dims, inds::Tuple{AbstractRange}, I::Tuple) =
102,106✔
438
    (@inline; compute_linindex(parent, I) - stride1*first(axes1(inds[1]))) # potentially index-offsetting case
102,106✔
439
compute_offset1(parent, stride1::Integer, dims, inds, I::Tuple) =
1,696✔
440
    (@inline; compute_linindex(parent, I) - stride1)
1,696✔
441
function compute_linindex(parent, I::NTuple{N,Any}) where N
202,412✔
442
    @inline
202,412✔
443
    IP = fill_to_length(axes(parent), OneTo(1), Val(N))
202,412✔
444
    compute_linindex(first(LinearIndices(parent)), 1, IP, I)
202,412✔
445
end
446
function compute_linindex(f, s, IP::Tuple, I::Tuple{Any, Vararg{Any}})
466,538✔
447
    @inline
466,538✔
448
    Δi = first(I[1])-first(IP[1])
466,538✔
449
    compute_linindex(f + Δi*s, s*length(IP[1]), tail(IP), tail(I))
466,538✔
450
end
451
compute_linindex(f, s, IP::Tuple, I::Tuple{}) = f
202,412✔
452

453
find_extended_dims(dim, ::ScalarIndex, I...) = (@inline; find_extended_dims(dim + 1, I...))
138,503✔
454
find_extended_dims(dim, i1, I...) = (@inline; (dim, find_extended_dims(dim + 1, I...)...))
137,393✔
455
find_extended_dims(dim) = ()
134,819✔
456
find_extended_inds(::ScalarIndex, I...) = (@inline; find_extended_inds(I...))
138,503✔
457
find_extended_inds(i1, I...) = (@inline; (i1, find_extended_inds(I...)...))
137,393✔
458
find_extended_inds() = ()
134,819✔
459

460
pointer(V::FastSubArray, i::Int) = pointer(V.parent, V.offset1 + V.stride1*i)
2,610✔
461
pointer(V::FastContiguousSubArray, i::Int) = pointer(V.parent, V.offset1 + i)
9,637✔
462

463
function pointer(V::SubArray{<:Any,<:Any,<:Array,<:Tuple{Vararg{RangeIndex}}}, is::AbstractCartesianIndex{N}) where {N}
×
464
    index = first_index(V)
×
465
    strds = strides(V)
×
466
    for d = 1:N
×
467
        index += (is[d]-1)*strds[d]
×
468
    end
×
469
    return pointer(V.parent, index)
×
470
end
471

472
# indices are taken from the range/vector
473
# Since bounds-checking is performance-critical and uses
474
# indices, it's worth optimizing these implementations thoroughly
475
axes(S::SubArray) = (@inline; _indices_sub(S.indices...))
517,101,732✔
476
_indices_sub(::Real, I...) = (@inline; _indices_sub(I...))
8,062,215✔
477
_indices_sub() = ()
×
478
function _indices_sub(i1::AbstractArray, I...)
319,277,756✔
479
    @inline
45,682,306✔
480
    (axes(i1)..., _indices_sub(I...)...)
520,948,913✔
481
end
482

483
has_offset_axes(S::SubArray) = has_offset_axes(S.indices...)
210,389✔
484

485
function replace_in_print_matrix(S::SubArray{<:Any,2,<:AbstractMatrix}, i::Integer, j::Integer, s::AbstractString)
7✔
486
    replace_in_print_matrix(S.parent, reindex(S.indices, (i,j))..., s)
7✔
487
end
488
function replace_in_print_matrix(S::SubArray{<:Any,1,<:AbstractVector}, i::Integer, j::Integer, s::AbstractString)
15✔
489
    replace_in_print_matrix(S.parent, reindex(S.indices, (i,))..., j, s)
15✔
490
end
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc