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

Шаблон tuple_sizeобладает открытой статической переменной-членом value, содержащей количество членов в указанном кортеже. Шаблон tuple_elementполучает индекс, а также тип кортежа. Он обладает открытым типом-членом type, содержащим тип указанного члена кортежа заданного типа. Подобно функции get(), шаблон tuple_elementведет отсчет индексов начиная с нуля.

Операторы сравнения и равенства кортежей ведут себя подобно соответствующим операторам контейнеров (см. раздел 9.2.7). Эти операторы выполняются для членов двух кортежей, слева и справа. Сравнить два кортежа можно только при совпадении количества их членов. Кроме того, чтобы использовать операторы равенства или неравенства, должно быть допустимо сравнение каждой пары членов при помощи оператора ==; а для использования операторов сравнения допустимым должно быть использование оператора <. Например:

tuple duo("1", "2");

tuple twoD(1, 2);

bool b = (duo == twoD); // ошибка: нельзя сравнить size_t и string

tuple threeD(1, 2, 3);

b = (twoD < threeD); // ошибка: разное количество членов

tuple origin(0, 0);

b = (origin < twoD); // ok: b — это true

Поскольку кортеж определяет операторы <и ==, последовательности кортежей можно передавать алгоритмам, а также использовать кортеж как тип ключа в упорядоченном контейнере.

Упражнение 17.1. Определите кортеж, содержащий три члена типа int, и инициализируйте их значениями 10, 20и 30.

Упражнение 17.2. Определите кортеж, содержащий строку, вектор строки и пару из строки и целого числа (типы string, vectorи pair).

Упражнение 17.3. Перепишите программы TextQueryиз раздела 12.3 так, чтобы использовать кортеж вместо класса QueryResult. Объясните, что на ваш взгляд лучше и почему.

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

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

// каждый элемент в файле содержит транзакции

// для определенного магазина

vector> files;

Давайте напишем функцию, которая будет просматривать файлы в поисках магазина, продавшего заданную книгу. Для каждого магазина, у которого есть соответствующая транзакция, необходимо создать кортеж для содержания индекса этого магазина и двух итераторов. Индекс будет позицией соответствующего магазина в файлах, а итераторы отметят первую и следующую после последней записи по заданной книге в векторе vectorэтого магазина.

Для начала напишем функции поиска заданной книги. Аргументами этой функции будет только что описанный вектор векторов и строка, представляющая ISBN книги. Функция будет возвращать вектор кортежей с записями по каждому магазину, где была продана по крайней мере одна заданная книга:

// matches имеет три члена: индекс магазина и итераторы в его векторе

typedef tuple::size_type,

vector::const_iterator,

vector::const_iterator> matches;

// files хранит транзакции по каждому магазину

// findBook() возвращает вектор с записями для каждого магазина,

// продавшего данную книгу

vector

findBook(const vector> &files,

const string &book) {

vector ret; // изначально пуст

// для каждого магазина найти диапазон, соответствующий книге

// (если он есть)

for (auto it = files.cbegin(); it != files.cend(); ++it) {

// найти диапазон Sales_data с тем же ISBN

auto found = equal_range(it->cbegin(), it->cend(),

book, compareIsbn);

if (found.first != found.second) // у этого магазина есть продажи

// запомнить индекс этого магазина и диапазона соответствий

ret.push_back(make_tuple(it - files.cbegin(),

found.first, found.second));

}

return ret; // пуст, если соответствий не найдено

}

Цикл forперебирает элементы вектора files, которые сами являются векторами. В цикле forпроисходит вызов библиотечного алгоритма equal_range(), работающего как одноименная функция-член ассоциативного контейнера (см. раздел 11.3.5). Первые два аргумента функции equal_range()являются итераторами, обозначающими исходную последовательность (см. раздел 10.1). Третий аргумент — значение. По умолчанию для сравнения элементов функция equal_range()использует оператор <. Поскольку тип Sales_dataне имеет оператора <, передаем указатель на функцию compareIsbn()(см. раздел 11.2.2).

Алгоритм equal_range()возвращает пару итераторов, обозначающих диапазон элементов. Если книга не будет найдена, то итераторы окажутся равны, означая, что диапазон пуст. В противном случае первый член возвращенной пары обозначит первую соответствующую транзакцию, а второй — следующую после последней.

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

void reportResults(istream &in, ostream &os,

const vector> &files) {

string s; // искомая книга

while (in >> s) {

auto trans = findBook(files, s);

// магазин, продавший эту книгу

if (trans.empty()) {

cout << s << " not found in any stores" << endl;

continue; // получить следующую книгу для поиска

}

for (const auto &store : trans) // для каждого магазина с

// продажей

// get возвращает указанный элемент кортежа в store

os << "store " << get<0>(store) << " sales: "

<< accumulate(get<1>(store), get<2>(store),

Sales_data(s))

<< endl;

}

}

Цикл whileпоследовательно читает поток istreamпо имени in, чтобы запустить обработку следующей книги. Вызов функции findBook()позволяет выяснить, присутствует ли строка s, и присваивает результаты вектору trans. Чтобы упростить написание типа trans, являющегося вектором кортежей, используем ключевое слово auto.