Стенли Липпман - Язык программирования C++. Пятое издание

Операторы инкремента и декремента работают подобным образом — они вызывают функцию check()для проверки допустимости объекта класса StrBlobPtr. Если это так, то функция check()проверяет также допустимость данного индекса. Если функция check()не передает исключения, эти операторы возвращают ссылку на свой объект.

В случае инкремента функции check()передается текущее значение curr. Пока это значение меньше размера основного вектора, функция check()завершается нормально. Если значение currнаходится за концом вектора, функция check()передает исключение:

// префикс: возвращает ссылку на объект после инкремента

// или декремента

StrBlobPtr& StrBlobPtr::operator++() {

// если curr уже указывает после конца контейнера, инкремент

// невозможен

check(curr, "increment past end of StrBlobPtr");

++curr; // переместить текущую позицию вперед

return *this;

}

StrBlobPtr& StrBlobPtr::operator--() {

// если curr равен нулю, то декремент возвратит недопустимый индекс

--curr; // переместить текущую позицию назад

check(-1, "decrement past begin of StrBlobPtr");

return *this;

}

Оператор декремента уменьшает значение currпрежде, чем вызвать функцию check(). Таким образом, если значение curr(беззнаковое) уже является нулем, передаваемое функции check()значение будет наибольшим позитивным значением, представляющим недопустимый индекс (см. раздел 2.1.2).

При определении префиксных и постфиксных операторов возникает одна проблема: каждый из них имеет одинаковое имя и получает одинаковое количество параметров того же типа. При обычной перегрузке невозможно отличить префиксную и постфиксную версии оператора.

Для решения этой проблемы постфиксные версии получают дополнительный (неиспользуемый) параметр типа int. При использовании постфиксного оператора компилятор присваивает этому параметру аргумент 0. Хотя постфиксная функция вполне может использовать этот дополнительный параметр, как правило, так не поступают. Этот параметр не нужен для работы, обычно выполняемой постфиксным оператором. Его основная задача заключается в том, чтобы отличить определение постфиксной версии функции от префиксной.

Теперь в класс CheckedPtrможно добавить постфиксные операторы:

class StrBlobPtr {

public:

// инкремент и декремент

StrBlobPtr operator++(int); // постфиксные операторы

StrBlobPtr operator--(int);

// другие члены как прежде

};

Для совместимости со встроенными операторами постфиксные операторы должны возвращать прежнее значение (существовавшее до декремента или инкремента). Оно должно быть возвращено как значение, а не как ссылка.

Постфиксные версии должны запоминать текущее состояние объекта прежде, чем изменять объект:

// постфикс: инкремент/декремент объекта, но возвратить следует

// неизмененное значение

StrBlobPtr StrBlobPtr::operator++(int) {

// здесь проверка не нужна, ее выполнит префиксный инкремент

StrBlobPtr ret = *this; // сохранить текущее значение

++*this; // на один элемент вперед, проверку

// осуществляет оператор инкремента

return ret; // возврат сохраненного значения

}

StrBlobPtr StrBlobPtr::operator--(int) {

// здесь проверка не нужна, ее выполнит префиксный декремент

StrBlobPtr ret = *this; // сохранить текущее значение

--*this; // на один элемент назад, проверку

// осуществляет оператор декремента

return ret; // возврат сохраненного значения

}

Для выполнения фактического действия каждый из этих операторов вызывает собственную префиксную версию. Например, постфиксный оператор инкремента использует такой вызов префиксного оператора инкремента:

++*this

Этот оператор проверяет безопасность приращения и либо передает исключение, либо осуществляет приращение значения curr. Если функция check()не передает исключения, постфиксные функции завершают работу, возвращая сохраненные ранее копии значений. Таким образом, после выхода сам объект будет изменен, но возвращено будет первоначальное, не измененное значение.