Заполнение массивов в C++ без перевода индексов

Question

Вот что у меня есть:

int t[MX]; 

Теперь я хотел бы переписать этот код таким образом, чтобы эффективно добавить один элемент в начало этого массива, не имея для перевода всей индексации на 1 в остальной части кода. Решение этой проблемы может быть что-то вроде этого:

int _t[MX+1]; 
int * const t = _t+1; 

Проблема с этим подходом является то, что сейчас что-то вроде этого больше не работает:

memset(t, 0, sizeof t); 

Проблема заключается в том, что sizeof t возвращает 4, вместо MX * 4, как я бы этого хотел.

Одним из возможных решений может быть:

struct 
{ 
    int a; 
    int b[MX]; 
} _t; 
int (&t)[MX] = _t.b; 

Но я нахожу это довольно безвкусный и неудовлетворительным. Итак, мой вопрос: Есть ли лучший способ?

Answer 1

Не только второе решение «неэлегантное и неудовлетворительное», но и неопределенное поведение. См. Ответ на this question для получения дополнительной информации по этой теме.

Первое решение позволяет работать с отрицательными индексами, потому что ptr[index] эквивалентно *(ptr + index), поэтому до тех пор, пока результат попадет в массив, вы будете в порядке.

Решение проблемы sizeof может быть выполнено с помощью подхода, принятого разработчиками std::array<T,size_t>: создайте класс шаблонов, который обертывает массив и выполняет перевод индекса внутри его оператора индексирования.

Если это не работает, вы можете вернуться к комбинации ваших первоначальных двух решений, но без неопределенного поведения, например:

#define MX 1000 

typedef int arr_mx[MX]; 

int _t[MX+1]; 
arr_mx &t = *((arr_mx*)(&_t[1])); 

Вот demo of this approach on ideone.