Каков правильный тип данных ввода для оператора []?

Question

При доступе к массиву мы используем оператор [] так:

int a[5]; 
... 
a[b] = 12; 

Что такое правильный тип данных для переменной b выше?

Я обнаружил, что a[b] эквивалентно *(a + b), который заставляет меня думать, что я хотел бы b быть void* или size_t, но я не уверен.

Answer 1

Один из a и b должен быть указателем, а другой должен быть любым целым числом типа. Доказательство следует.

Поскольку a[b] идентична (*((a)+(b))) на C 2011 (n1570) 6.5.2.1 2, a и b могут быть любые типы, такие, что определено последнее выражение.

В соответствии с 6.5.3.2 2 операнд унарного оператора * должен иметь тип указателя. Следовательно, результат (a)+(b) должен иметь тип указателя.

По 6.5.6, двоичный оператор + принимает различные комбинации типов, но единственным, который дает тип указателя, является комбинация указателя и целого числа, как описано в 6.5.6. 8.

Согласно 6.5.6 8, целое число может быть добавлено к указателю, а результат имеет тип операнда указателя. В пункте 6.5.6 не делается различий относительно порядка операндов +, поэтому они могут быть в любом порядке. Таким образом, любой из a и b может быть указателем, а другой - целым числом.

Answer 2

b известен как индекс, который является номером. Таким образом, вы можете иметь дело с ним как целое. a[b] будет получать доступ к b-му элементу массива a.

*(a + b) даст значение в (a + (b * sizeof(data type of array element)))

Answer 3

Несколько типов могут работать из-за неявного преобразования.

A char будет назначен на int. Также будет работать int или unsigned int. short или unsigned short также являются допустимыми.

Даже если a[b] такая же, как *(a + b), b не может быть указателем, потому что a уже указатель. Бинарный оператор + не принимает два указатели.

Answer 4

От стандарта C (ИСО/МЭК 9899: СК2) Раздел 6.5.2.1 индексации массивов

Выражение постфикса следует выражение в квадратных скобках [] является индексируются обозначения элемент объекта массива. Определение индексного оператора [] состоит в том, что E1[E2] идентичен (*((E1)+(E2))). Из-за правило преобразования, которые применяются к бинарному оператору +, если E1 является объект массива (что эквивалентно, указатель на начальный элемент объекта массива) и Е2 представляет собой целое число, E1[E2] обозначает E2-th элемента E1 (с нуля).