Справочное руководство по C++

64

    Результатом будет указатель того же типа, что и исходный указатель,
    но он будет настроен на другой объект массива
    с заданным смещением от исходного объекта. Так, если P
    есть указатель на объект массива, выражение P+1 является указателем
    на следующий объект массива. Если же получившийся в результате
    сложения указатель вышел за границы массива, результат будет
    неопределенным, кроме случая, когда указатель настроен на первый адрес
    больший верхней границы массива.
    Результатом операции - будет разность операндов. Значение
    любого целочисленного типа можно вычитать из указателя, при этом
    применяются те же преобразования, что и для операции +.
    Никакие другие сочетания типов для указателей не допустимы.
    Если вычитаются два указателя на объекты одного типа, результатом
    будет целочисленное значение со знаком, которое показывает на сколько
    объектов этого типа отстоят друг от друга указуемые объекты. Указатели
    на соседние элементы массива отстоят на 1. Тип результата зависит от
    реализации, но он должен быть определен как ptrdiff_t в стандартном
    заголовочном файле . Результат не определен, если указатели
    не настроены на элементы одного массива. Если P есть указатель
    на последний элемент массива, то (P+1) - 1 есть P.