Вычитание типов указателей
Если оба операнда являются указателями, то результатом вычитания будет число элементов массива, находящихся между операндами. Результатом вычитания является знаковое целочисленное значение типа ptrdiff_t (определен в стандартном включаемом файле STDDEF.H).
Второй операнд может иметь целочисленное значение. Результат вычитания имеет тот же тип, что и исходный указатель. Значением вычитания в этом случае является указатель на элемент массива номер (n – i), где n — это элемент, на который указывает исходный указатель, а i — целочисленное значение второго операнда.