x = apply(f, t)
, которая приведет к вызову функции x = f(123, "abc"s, 456.0)
. Метод apply
даже не возвращает результат работы функции f
. Быстрое создание структур данных с помощью std::tuple
Взглянем на простой пример использования кортежей, с которым мы уже сталкивались. Мы можем определить следующую структуру, чтобы просто объединить некоторые переменные в одну сущность:
struct Foo {
int a;
string b;
float c;
};
Вместо того чтобы определять структуру, как было сделано в предыдущем примере, можно также определить кортеж:
using Foo = tuple;
Получить доступ к его элементам можно по порядковому номеру типа из списка типов. Для получения доступа к первому члену кортежа
t
напишем конструкцию std::get<0>(t);
для получения доступа ко второму члену — std::get<1>
и т.д. Если порядковый номер слишком велик, то компилятор безопасно сгенерирует ошибку.На протяжении этой книги мы уже использовали возможности декомпозиции C++17 для кортежей. Она позволяет быстро разбить кортеж на элементы, просто написав
auto [a,b,c] = some_tuple
, чтобы получить доступ к отдельным элементам.Композиция и декомпозиция отдельных структур данных — не единственная возможность, которую предоставляют кортежи. Мы также можем конкатенировать или разбивать кортежи. В этом разделе мы поэкспериментируем с данными функциями, чтобы узнать, как они работают.
Как это делается
В этом примере мы напишем программу, которая может динамически вывести на экран любой кортеж. Вдобавок напишем функцию, способную объединять кортежи.
1. Сначала включим несколько заголовочных файлов, а затем объявим об использовании пространства имен
std
:
#include
#include
#include
#include
#include
#include
#include
#include
using namespace std;
2. Поскольку мы будем работать с кортежами, было бы интересно отобразить их содержимое. Поэтому сейчас реализуем очень обобщенную функцию, которая может выводить на экран любые кортежи. Функция принимает ссылку на поток вывода
os
, которая будет использована для вывода данных на экран, и список аргументов переменной длины, содержащий все члены кортежа. Мы разбили на части все аргументы в первом элементе и поместили их в аргумент v
, а остальные поместили в наборе параметров vs...
:
template
void print_args(ostream &os, const T &v, const Ts &. vs)
{
os << v;
3. Если в наборе параметров еще есть аргументы, то они выводятся на экран, притом их разделяет символ "
,
" — используется прием с развертыванием initializer_list
. Мы говорили о нем в главе 4.
(void)initializer_list{((os << ", " << vs), 0)...};
}
4. Теперь можно выводить на экран произвольное количество аргументов с помощью конструкции
print_args(cout,1,2,"foo",3,"bar")
, например. Но мы пока не трогали кортежи. Для вывода кортежей на экран переопределим оператор потока вывода <<
, чтобы он работал с кортежами, реализовав шаблонную функцию, которая соответствует любым специализациям для кортежа:
template
ostream& operator<<(ostream &os, const tuple&t)
{
5. Сейчас все станет чуть сложнее. Сначала мы воспользуемся лямбда-выражением, которое принимает произвольно большое количество параметров. При вызове выражение добавляет аргумент
os
в начало списка данных аргументов, а затем вызывает функцию print_args
, передавая полученный новый список аргументов. Это значит, что вызов capt_tup(...некоторые параметры...)
преобразуется в вызов print_args(os, ...некоторые параметры...)
.
auto print_to_os ([&os](const auto &...xs) {
print_args(os, xs...);
});
6. Теперь можем выполнить распаковку кортежа. Для этого воспользуемся методом
std::apply
. Все значения будут извлечены из кортежа и представлены как аргументы функции для той функции, которую мы предоставили в качестве первого аргумента. Это значит, что если у нас есть кортеж t = (1,2,3)
и мы вызываем метод apply(capt_tup,t)
, то эти действия приведут к вызову функции capt_tup(1,2,3)
, что, в свою очередь, повлечет вызов print_args(os,1,2,3)
. Это именно то, что нужно. Дополнительно окружим операцию вывода скобками:
os << "(";
apply(print_to_os, t);
return os << ")";
}
7. О’кей, мы написали сложный фрагмент кода, который сделает нашу жизнь гораздо проще, если мы захотим вывести кортеж на экран. Но с помощью кортежей мы можем сделать больше. Допустим, напишем функцию, принимающую в качестве аргумента итерабельный диапазон данных, например вектор или список чисел. Эта функция проитерирует по данному диапазону и вернет сумму всех его чисел, а также минимальное, максимальное и среднее значения. Упаковывая эти четыре значения в кортеж, можем вернуть их как один объект, не определяя дополнительный тип структуры.
template
tuple
sum_min_max_avg(const T &range)
{
8. Функция
std::minmax_element
возвращает пару итераторов, указывающих на минимальный и максимальный элементы входного диапазона. Метод std::accumulate
складывает все значения в данном диапазоне. Это все нужно, чтобы вернуть четыре значения, которые позже будут помещены в кортеж!
auto min_max (minmax_element(begin(range), end(range)));
auto sum (accumulate(begin(range), end(range), 0.0));
return {sum, *min_max.first, *min_max.second,
sum / range.size()};
}
9. Перед реализацией основной программы создадим последнюю волшебную вспомогательную функцию. Я называю ее волшебной, поскольку она на первый взгляд выглядит очень сложной, но если понять принцип ее работы, она покажется очень удобным помощником. Она сгруппирует два кортежа. Это значит, что если мы передадим ей кортежи
(1,2,3)
и ('a','b','c')
, то она вернет кортеж (1,'a',2,'b',3,'c')
.
template
static auto zip(const T1 &a, const T2 &b)
{
10. Мы подобрались к самым сложным строкам данного примера. Создадим объект функции z, принимающий произвольное количество аргументов. Затем он возвращает другой объект функции, который захватывает все эти аргументы в набор параметров
xs
, а также принимает произвольное количество аргументов. Забудем об этом на минуту. С помощью упомянутого внутреннего объекта функции можно получить доступ к обоим спискам аргументов в виде наборов параметров xs
и ys
. А теперь взглянем, что именно происходит с этими наборами параметров. Вызов make_tuple(xs,ys)
. группирует наборы параметров поэлементно. Т.е. при наличии наборов xs = 1,2,3
иys = 'a','b','c'
он вернет новый набор параметров