BagaBagaukugyul552465К примеру, есть массив int numbers[4], он состоит из элементов:
numbers[0];
numbers[1];
numbers[2];
numbers[3];
Можно ли переназначить индекс элементов, чтобы массив int numbers[4] состоял из элементов:
numbers[2000];
numbers[2001];
numbers[2002];
numbers[2003].

Можно попробовать выстрелить себе в ногу



но нужно ли?

И зачем так пробовать? Разве в данном случае мы не имеем ub?

RWolfSashaMercury,

индексация — просто сахар для сложения с последующим разыменованием, какое тут UB?

В данном случае необходимо сделать отсылку к последней версии стандарта (у меня есть черновик, ссылку на который всем предоставил Анатолий, совсем недавно), в частности к разделу 5.7 Additive operators
С++ 17 N4594 5.7.4When an expression that has integral type is added to or subtracted from a pointer, the result has the type
of the pointer operand. If the pointer operand points to an element of an array object84, and the array is
large enough, the result points to an element offset from the original element such that the difference of the
subscripts of the resulting and original array elements equals the integral expression. In other words, if the
expression P points to the i-th element of an array object, the expressions (P)+N (equivalently, N+(P)) and
(P)-N (where N has the value n) point to, respectively, the i + n-th and i − n-th elements of the array object,
provided they exist. Moreover, if the expression P points to the last element of an array object, the expression
(P)+1 points one past the last element of the array object, and if the expression Q points one past the last
element of an array object, the expression (Q)-1 points to the last element of the array object. If both the
pointer operand and the result point to elements of the same array object, or one past the last element of the
array object, the evaluation shall not produce an overflow; otherwise, the behavior is undefined.