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

vector pvec;

function fp = &string::empty;

// fp получает указатель на string и использует оператор ->* для вызова

// функции empty()

find_if(pvec.begin(), pvec.end(), fp);

Чтобы использовать шаблон function, следует предоставить сигнатуру вызова члена, который предстоит вызвать. Но можно позволить компилятору вывести тип функции-члена при использовании другого библиотечного средства, шаблона mem_fn, определенного, как и шаблон function, в заголовке functional. Как и шаблон function, шаблон mem_fnсоздает вызываемый объект из указателя на член класса. В отличие от шаблона function, шаблон mem_fnвыведет тип вызываемого объекта из типа указателя на член класса:

find_if(svec.begin(), svec.end(), mem_fn(&string::empty));

Здесь шаблон mem_fn(&string::empty)создает вызываемый объект, получающий строковый аргумент и возвращающий логическое значение.

Вызываемый объект, созданный шаблоном mem_fn, может быть вызван для объекта или указателя:

auto f = mem_fn(&string::empty); // f получает string или string*

f(*svec.begin()); // ok: передача объекта string; f использует .* для

// вызова empty()

f(&svec[0]); // ok: передача указателя на string; f использует .->

// для вызова empty()

Фактически шаблон mem_fnможно считать как будто создающим вызываемый объект с перегруженным оператором вызова функции — один получает тип string*, а другой — string&.

Для создания вызываемого объекта из функции-члена можно также использовать функцию bind()(см. раздел 10.3.4):

// связать каждую строку из диапазона

// с неявным первым аргументом empty()

auto it = find_if(svec.begin(), svec.end(),

bind(&string::empty, _1));

Подобно шаблону function, при использовании функции bind()следует сделать явным обычно неявный параметр функции-члена, представляющий объект, с которым будет работать функция-член. Подобно шаблону mem_fn, первый аргумент вызываемого объекта, создаваемого функцией bind(), может быть либо указателем, либо ссылкой на тип string:

auto f = bind(&string::empty, _1);

f(*svec.begin()); // ok: аргумент - строка f, использует .* для вызова

// функции empty()

f(&svec[0]); // ok: аргумент - указатель на строку f использует .->

// для вызова функции empty()

Упражнение 19.18. Напишите функцию, использующую алгоритм count_if()для подсчета количества пустых строк в заданном векторе.

Упражнение 19.19. Напишите функцию, получающую вектор vectorи находящую первый элемент, средняя цена которого превосходит заданное значение.

Класс, определяемый в другом классе, называется вложенным классом (nested class) или вложенным типом (nested type). Вложенные классы обычно используются для классов реализации, как, например, класс QueryResultиз приложения текстового запроса (см. раздел 12.3).

Имя вложенного класса видимо в области видимости содержащего его класса, но не вне ее. Имя вложенного класса не будет входить в конфликт с тем же именем, объявленным в другой области видимости.

Вложенный класс может содержать члены тех же видов, что и не вложенный класс. Подобно любому другому классу, вложенный класс контролирует доступ к своим членам при помощи спецификаторов доступа. Содержащий класс не имеет никаких специальных прав доступа к членам вложенного класса, а вложенный класс не имеет привилегий в доступе к членам содержащего его класса.

В содержащем классе вложенный класс представляет собой член, типом которого является класс. Подобно любому другому члену, содержащий класс задает уровень доступа к этому типу. Вложенный класс, определенный в разделе publicсодержащего класса, может быть использован везде. Вложенный класс, определенный в разделе protected, доступен только содержащему классу, его производным и дружественным классам. Вложенный класс, определенный в разделе private, доступен лишь для членов содержащего класса и классов, дружественных для него.

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

class TextQuery {

public:

class QueryResult; // вложенный класс будет определен позже

// другие члены, как в разделе 12.3.2

};

В первоначальный класс TextQueryнеобходимо внести только одно изменение — объявить о намерении определить класс QueryResultкак вложенный. Поскольку класс QueryResultбудет типом-членом (см. раздел 7.3.4), его следует объявить прежде, чем использовать. В частности, класс QueryResultследует объявить прежде, чем использовать его как тип возвращаемого значения функции-члена query(). Остальные члены первоначального класса неизменны.

В классе TextQueryкласс QueryResultобъявлен, но не определен. Подобно функциям-членам, вложенные классы следует объявить в классе, но определен он может быть в или вне класса.

При определении вложенного класса вне его содержащего класса следует квалифицировать имя вложенного класса именем его содержащего класса:

// определение класса QueryResult как члена класса TextQuery

class TextQuery::QueryResult {

// в области видимости класса не нужно квалифицировать имя

// параметров QueryResult

friend std::ostream&

print(std::ostream&, const QueryResult&);

public:

// не нужно определять QueryResult::line_no; вложенный класс способен

// использовать член своего содержащего класса без необходимости

// квалифицировать его имя

QueryResult(std::string,

std::shared_ptr>,

std::shared_ptr>);

// другие члены, как в разделе 12.3.2

};

Единственное изменение, внесенное в первоначальный класс, заключается в том, что в классе QueryResultбольше не определяется переменная-член line_no. Члены класса QueryResultмогут обращаться к этому имени непосредственно в классе TextQuery, таким образом, нет никакой необходимости определять его снова.