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

Например, невозможно непосредственно определить контейнер multisetобъектов класса Sales_data, поскольку класс Sales_dataне имеет оператора <. Но для этого можно использовать функцию compareIsbn()из упражнений раздела 10.3.1. Эта функция обеспечивает строгое сравнение на основании ISBN двух объектов класса Sales_data. Функция compareIsbn()должна выглядеть примерно так:

bool compareIsbn(const Sales_data &lhs, const Sales_data &rhs) {

return lhs.isbn() < rhs.isbn();

}

Чтобы использовать собственный оператор, следует определить контейнер multisetс двумя типами: типом ключа Sales_dataи типом сравнения, являющимся типом указателя на функцию (см. раздел 6.7), способным указывать на функцию compareIsbn(). Когда определяют объекты этого типа, предоставляют указатель на функцию, которую предстоит использовать. В данном случае предоставляется указатель на функцию compareIsbn():

// в программе может быть несколько транзакций с тем же ISBN

// элементы bookstore упорядочены по ISBN

multiset

bookstore(compareIsbn);

Здесь для определения типа оператора используется спецификатор decltype. При использовании спецификатора decltypeдля получения указателя на функцию следует добавить символ *для обозначения использования указателя на заданный тип функции (см. раздел 6.7). Инициализацию bookstoreосуществляет функция compareIsbn(). Это означает, что при добавлении элементов в bookstoreони будут упорядочены при вызове функции compareIsbn(). Таким образом, элементы bookstoreбудут упорядочены по их члену ISBN. Аргумент конструктора можно записать как compareIsbn, вместо &compareIsbn, поскольку при использовании имени функции оно автоматически преобразуется в указатель, если это нужно (см. раздел 6.7). С тем же результатом можно написать &compareIsbn.

Упражнение 11.9. Определите карту, которая ассоциирует слова со списком номеров строк, в которых оно встречается.

Упражнение 11.10. Можно ли определить карту для типов vector::iteratorи int? А для типов list::iteratorи int? Если нет, то почему?

Упражнение 11.11. Переопределите bookstore, не используя спецификатор decltype.

Прежде чем перейти к рассмотрению действий с ассоциативными контейнерами, имеет смысл ознакомиться с библиотечным типом pair(пара), определенным в заголовке utility.

Объект типа pairхранит две переменные-члена. Подобно контейнерам, тип pair является шаблоном, позволяющим создавать конкретные типы. При создании пары следует предоставить имена двух типов, которые будут типами ее двух переменных-членов. Совпадать эти типы вовсе не обязаны.

pair anon; // содержит две строки

pair word_count; // содержит строку и целое число

pair> line; // содержит строку и vector

При создании объекта пары без указания инициализирующих значений используются стандартные конструкторы типов его переменных-членов. Таким образом, пара anonсодержит две пустые строки, а пара line— пустую строку и пустой вектор целых чисел. Значением переменной-члена типа intв паре word_countбудет 0, а его переменная-член типа stringокажется инициализирована пустой строкой.

Можно также предоставить инициализаторы для каждого члена пары:

pair author{"James", "Joyce"};

Этот код создает пару по имени author, инициализированную значениями "James"и "Joyce".

В отличие от других библиотечных типов, переменные-члены класса pair являются открытыми (см. раздел 7.2). Эти члены — first(первый) и second(второй) соответственно. К ним можно обращаться непосредственно, используя обычный точечный оператор (см. раздел 1.5.2), как, например, было сделано в операторе вывода программы подсчета слов в разделе 11.1:

// отобразить результаты

cout << w.first << " occurs " << w.second

<< ((w.second > 1) ? " times" : " time") << endl;

где w— ссылка на элемент карты. Элементами карты являются пары. В данном операторе выводится переменная-член firstэлемента, являющаяся ключом, затем переменная-член secondэлемента, являющаяся счетчиком. Библиотека определяет весьма ограниченный набор операций с парами, который приведен в табл. 11.2.

Таблица 11.2. Операции с парами

Предположим, некая функция должна возвратить значение типа pair. По новому стандарту возможна списочная инициализация возвращаемого значения (см. раздел 6.3.2):