4.7 Массивы и указатели ¶

• Результат преобразования указателя в целое число или наоборот (C90 6.3.4, C99 и C11 6.3.2.3).

  При преобразовании указателя в целое число отбрасываются наиболее значимые биты, если представление указателя больше типа целого числа, происходит знаковое расширение⁵, если представление указателя меньше типа целого числа, в противном случае биты остаются неизменными.

  При преобразовании целого числа в указатель отбрасываются наиболее значимые биты, если представление указателя меньше типа целого числа, расширение происходит в соответствии со знаковым атрибутом типа целого числа, если представление указателя больше типа целого числа, в противном случае биты остаются неизменными.

  При преобразовании указателя в целое число и обратно, результирующий указатель должен ссылаться на тот же объект, что и исходный указатель, в противном случае поведение неопределено. То есть нельзя использовать арифметику целых чисел для избежания неопределённого поведения арифметики указателей, как предписано в C99 и C11 6.5.6/8.

• Размер результата вычитания двух указателей на элементы одного массива (C90 6.3.6, C99 и C11 6.5.6).

  Значение определяется стандартом, а тип определяется ABI.