Custom Indices in OffsetArrays


Is it possible to declare an array whose indices leave out every second index, eg such that the set of indices is 0,2,4,6?

a[0] = 1
a[2] = 2
a[4] = 3
a[6] = 4

The naive try

using OffsetArrays

did not work


I think that would be hard to implement.

struct MyOffsetVector{T,S} <: AbstractVector{T}
@generated function offset_index(v::MyOffsetVector{T,S}, i) where {T,S}
    S == 1 && return :(i - v.offset + 1)
    log2S = log2(S)
    if round(log2S) == log2S
        return :( ((i - v.offset) >> $log2S) + 1)
        return :( ((i - v.offset) ÷ $S) + 1)
@inbounds Base.getindex(v::MyOffsetVector, i) =[offset_index(v,i)]
@inbounds Base.setindex!(v::MyOffsetVector, i, x) =[offset_index(v,i)] = x
Base.size(v::MyOffsetVector) = size(

You might want to replace offset_index with something that throws an error if there is a remainder (ie, use divrem, and throw an error for non-zero remainders).

I haven’t tested this, but I imagine you’ll see a lot of errors from here.
For example IndexStyle() is neither IndexLinear() or IndexCartesian(), meaning things like “print” will try generic Cartesian indices incrementing by a step at a time for printing and other array operations.

So if I wanted to do something like this, I’d probably look into defining a new IndexStyle.
AbstractArray Interface.

1 Like

No, this violates the current interface, ie that axes returns a Tuple of AbstractUnitRange objects, which have a step of 1. See this discussion:

1 Like

it is necessary? if its an even number, you can use a normal array and apply and operation over the index:

my_index(i) = Int(i/2)+1
a = 1:10
julia> a[my_index(0)] #=a[1]

if its not, you can raise an error or round to a corresponding integer

1 Like

Yes, that is what I currently do.

No it is not necessary


okay thank you for your clarification