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

};

У класса есть конструктор, получающий ссылку на поток вывода, и символ, используемый как разделитель. Как аргументы по умолчанию (см. раздел 6.5.1) для этих параметров используется поток coutи пробел. Тело оператора вызова функции использует эти члены при выводе данной строки.

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

PrintString printer; // использует аргументы по умолчанию; вывод в cout

printer(s); // выводит s и пробел в cout

PrintString errors(cerr, '\n');

errors(s); // выводит s и новую строку в cerr

Объекты функции обычно используют как аргументы для обобщенных алгоритмов. Например, для вывода содержимого контейнера можно использовать класс PrintStringи библиотечный алгоритм for_each()(см. раздел 10.3.2):

for_each(vs.begin(), vs.end(), PrintString(cerr, '\n'));

Третий аргумент алгоритма for_each()является временным объектом типа PrintString, инициализируемый потоком cerrи символом новой строки. Вызов функции for_each()выводит каждый элемент vsв поток cerr, разделяя их новой строкой.

Упражнение 14.33. Сколько операндов может иметь перегруженный оператор вызова функции?

Упражнение 14.34. Определите класс объекта функции для выполнения действий условного оператора: оператор вызова этого класса должен получать три параметра. Он должен проверить свой первый параметр и, если эта проверка успешна, возвратить свой второй параметр; в противном случае он должен возвратить свой третий параметр.

Упражнение 14.35. Напишите класс, подобный классу PrintString, который читает строку из потока istreamи возвращает строку, представляющую прочитанное. При неудаче чтения следует возвратить пустую строку.

Упражнение 14.36. Используя класс из предыдущего упражнения, организуйте чтение со стандартного устройства ввода, сохраняя каждую строку в векторе как элемент.

Упражнение 14.37. Напишите класс, проверяющий равенство двух значений. Используйте этот объект и библиотечные алгоритмы для написания кода замены всех экземпляров заданного значения в последовательности.

В предыдущем разделе объект PrintStringиспользовался как аргумент в вызове функции for_each(). Это похоже на программу, написанную в разделе 10.3.2, где использовалось лямбда-выражение. Написанное лямбда-выражение компилятор преобразовывает в безымянный объект безымянного класса (см. раздел 10.3.3). Классы, созданные из лямбда-выражения, содержат перегруженный оператор вызова функции. Рассмотрим, например, лямбда-выражение, передававшееся как последний аргумент функции stable_sort():

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

// слов того же размера

stable_sort(words.begin(), words.end(),

[](const string &a, const string &b)

{ return a.size() < b.size();});

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

class ShorterString {

public:

bool operator()(const string &s1, const string &s2) const

{ return s1.size() < s2.size(); }

};

У этого класса есть один член, являющийся оператором вызова функции, получающим две строки и сравнивающий их длины. Список параметров и тело функции те же, что и у лямбда-выражения. Как уже упоминалось в разделе 10.3.3, по умолчанию лямбда-выражения не могут изменять свои захваченные переменные. В результате по умолчанию оператор вызова функции в классе, созданном из лямбда-выражения, является константной функцией-членом. Если лямбда-выражение объявляется как mutable, то оператор вызова не будет константным.

Вызов функции stable_sort()можно переписать так, чтобы использовать этот класс вместо лямбда-выражения:

stable_sort(words.begin(), words.end(), ShorterString());

Третий аргумент — недавно созданный составной объект класса ShorterString. Код в функции stable_sort()будет вызывать этот объект каждый раз, когда он сравнивает две строки. При вызове объекта будет выполнено тело его оператора вызова, возвращающего значение true, если размер первой строки будет меньше, чем второй.

Как уже упоминалось, при захвате лямбда-выражением переменной по ссылке разработчик должен сам гарантировать существование переменной, на которую ссылается ссылка, во время выполнения лямбда-выражения (см. раздел 10.3.3). Поэтому компилятору разрешено использовать ссылку непосредственно, не сохраняя ее как переменную-член в созданном классе.