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

point.operator()->mem; // point - объект типа класса

В противном случае код ошибочен. Таким образом, код point->memвыполняется следующим образом.

1. Если point— указатель, то применение встроенного оператора стрелки означает эквивалент выражения (*point).mem. Указатель обращается к значению члена класса и выбирает его из объекта. Если у типа, на объект которого указывает point, нет члена по имени mem, то этот код ошибочен.

2. Если point— объект класса, в котором определен оператор operator->, то результат вызова point.operator->()используется для выбора члена mem. Если результат является указателем, то для него выполняется этап 1. Если результат является объектом, класс которого сам обладает перегруженным оператором operator->(), то с этим объектом повторяется данный этап. Процесс продолжается до тех пор, пока не будет возвращен указатель на объект с означенным членом или некое другое значение, означающее ошибочность кода.

Перегруженный оператор стрелки должен возвращать либо указатель на тип класса, либо объект типа класса, определяющего собственный оператор стрелки.

Упражнение 14.30. Добавьте операторы обращения к значению и стрелки в класс StrBlobPtrи класс ConstStrBlobPtrиз упражнения 12.22 раздела 12.1.6. Обратите внимание, что операторы класса ConstStrBlobPtrдолжны возвращать константные ссылки, поскольку переменная-член data класса ConstStrBlobPtrуказывает на константный вектор.

Упражнение 14.31. В классе StrBlobPtrне определен конструктор копий, оператор присвоения и деструктор. Почему?

Упражнение 14.32. Определите класс, содержащий указатель на класс StrBlobPtr. Определите перегруженный оператор стрелки для этого класса.

Классы, перегружающие оператор вызова, позволяют использовать объекты этого типа как функции. Поскольку объекты таких классов способны хранить состояние, они могут оказаться существенно гибче обычных функций.

В качестве простого примера рассмотрим структуру absInt, обладающую оператором вызова, возвращающим абсолютное значение своего аргумента:

struct absInt {

int operator()(int val) const {

return val < 0 ? -val : val;

}

};

Этот класс определяет одну функцию: оператор вызова функции. Этот оператор получает аргумент типа intи возвращает абсолютное значение аргумента.

Оператор вызова используется применительно к списку аргументов объекта класса absIntспособом, который выглядит как вызов функции:

int i = -42;

absInt absObj; // объект класса с оператором вызова функции

int ui = absObj(i); // передача i в absObj.operator()

Хотя absObj— это объект, а не функция, его вполне можно вызвать. При вызове объект выполняет свой перегруженный оператор вызова. В данном случае этот оператор получает значение типа intи возвращает его абсолютное значение.

Оператор вызова функции должен быть функцией-членом. Класс может определить несколько версий оператора вызова, каждая из которых должна отличаться количеством или типом параметров.

Объект класса, определяющего оператор вызова, называется объектом функции (function object). Такие объекты действуют как функции, поскольку их можно вызвать.

У класса объекта функции, как у любого другого класса, могут быть и другие члены, кроме оператора operator(). Классы объекта функции зачастую содержат переменные-члены, используемые для настройки действий в операторе вызова.

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

class PrintString {

public:

PrintString(ostream &o = cout, char c = ' '):

os(o), sep(c) { }

void operator()(const string &s) const { os << s << sep; }

private:

ostream &os; // поток для записи

char sep; // символ завершения после каждого вывода