У Липпмана есть пример:

elemType find(const elemType *first,const elemType *last, const elemType &value)
{
   for(; first != last; ++first)
      if(*first == value)
          return first
   return 0;
}

Почему не меняется значение указателя first? Ведь в теле функции значение first меняет ++.