Каков правильный тип для индексов массива в C?

Я обычно использую size_t для смещений массива, но если Вы хотите отрицательную индексацию массива, используйте int. Это в состоянии обратиться к максимальному размерному массиву, гарантируемому C89 (32 767 байтов).

, Если Вы хотите получить доступ к массивам максимального размера, гарантируемого C99 (65 535 байтов), используйте unsigned.

Посмотрите предыдущие изменения для доступа к позволенным массивам, но не гарантируемые C.

Я думаю, вам следует использовать ptrdiff_t по следующим причинам

• Индексы могут быть отрицательными. Поэтому для общего утверждения все беззнаковые типы, включая size_t , не подходят.
• Тип p2 - p1 - ptrdiff_t .Если i == p2 - p1 , тогда вы сможете получить p2 обратно с помощью p2 == p1 + i . Обратите внимание, что * (p + i) эквивалентно p [i] .
• В качестве еще одного указания для этого «общего типа индекса» тип индекса, который используется при разрешении перегрузки, когда встроенный оператор [] (например, для указателя) конкурирует с пользовательским оператор [] (например, вектор) - это именно то, что ( http://eel.is/c++draft/over.built#16 ): >

  Для каждого cv-квалифицируемого или cv-неквалифицированного типа объекта T существуют кандидатные операторные функции вида

   T * operator + (T *, std :: ptrdiff_t);
  T & оператор [] (T *, std :: ptrdiff_t);
  T * оператор- (T *, std :: ptrdiff_t);
  T * оператор + (std :: ptrdiff_t, T *);
  T & оператор [] (std :: ptrdiff_t, T *);
  

РЕДАКТИРОВАТЬ: если у вас есть действительно большой массив или указатель на действительно большую часть памяти, то мой "общий тип индекса" не сокращает его, поскольку тогда не гарантируется, что вы может вычесть адрес первого элемента из адреса последнего элемента. Тогда следует использовать ответ @Ciro https://stackoverflow.com/a/31090426/34509 . Лично я стараюсь избегать использования беззнаковых типов из-за их неспособности представлять отрицательные граничные случаи (например, конечные значения цикла при итерации в обратном направлении), но это своего рода религиозные дебаты (хотя я не одинок в этом лагере) . В случаях, когда требуется использование беззнакового шрифта, я, конечно же, должен отказаться от своей религии.

Поскольку тип sizeof (array) (и аргумент malloc ) равен size_t , и массив может не содержит больше элементов, чем его размер, из этого следует, что size_t может использоваться для индекса массива.

ИЗМЕНИТЬ Этот анализ предназначен для массивов с отсчетом от 0, что является обычным случаем. ptrdiff_t будет работать в любом случае, но немного странно, что индексная переменная имеет тип разности указателей.

Если вы заранее знаете максимальную длину вашего массива, вы можете использовать

• int_fast*_t / uint_fast*_t
• int_least*_t / uint_least*_t

Во всех остальных случаях я бы рекомендовал использовать

• size_t

или

• ptrdiff_t

в зависимости от того, хотите ли вы разрешить отрицательные индексы.

Использование

• intptr_t / uintptr_t

также будет безопасным, но имеет немного другую семантику.