Namespaces
Variants

std:: tuple_cat

From cppreference.net
Utilities library
Определено в заголовочном файле <tuple>
template < class ... Tuples >
std:: tuple < /* CTypes */ ... > tuple_cat ( Tuples && ... args ) ;
(начиная с C++11)
(до C++14)
template < class ... Tuples >
constexpr std:: tuple < /* CTypes */ ... > tuple_cat ( Tuples && ... args ) ;
(начиная с C++14)
(до C++23)
template < tuple - like... Tuples >
constexpr std:: tuple < /* CTypes */ ... > tuple_cat ( Tuples && ... args ) ;
(начиная с C++23)

Создает кортеж, который является конкатенацией всех кортежей в args . Типы элементов /* CTypes */ возвращаемого кортежа формируются путем конкатенации пакетов типов элементов всех std::tuple (до C++23) tuple-like (начиная с C++23) типов в Tuples по порядку.

Поведение не определено, если любой тип в std:: decay_t < Tuples > ... не является специализацией std::tuple . Однако реализация может поддерживать типы (такие как std::array и std::pair ), которые следуют tuple-like протоколу.

(до C++23)

Типы std:: decay_t < Tuples > ... ограничены требованием быть tuple-like, т.е. каждый тип должен быть специализацией std::tuple или другого типа (такого как std::array и std::pair ), который моделирует tuple-like .

(начиная с C++23)

Если любой тип в /* CTypes */ не конструируется из типа соответствующего элемента в последовательности элементов, объединённой из args , поведение не определено (до C++23) программа является некорректной (начиная с C++23) .

Содержание

Параметры

args - ноль или более кортежей для конкатенации

Возвращаемое значение

Объект std::tuple , состоящий из всех элементов всех кортежей-аргументов, сконструированный из std :: get < j > ( std:: forward < Ti > ( arg ) ) для каждого отдельного элемента.

Пример

#include <iostream>
#include <string>
#include <tuple>
// вспомогательная функция для вывода кортежа любого размера
template<class Tuple, std::size_t N>
struct TuplePrinter
{
    static void print(const Tuple& t)
    {
        TuplePrinter<Tuple, N - 1>::print(t);
        std::cout << ", " << std::get<N-1>(t);
    }
};
template<class Tuple>
struct TuplePrinter<Tuple, 1>
{
    static void print(const Tuple& t)
    {
        std::cout << std::get<0>(t);
    }
};
template<typename... Args, std::enable_if_t<sizeof...(Args) == 0, int> = 0>
void print(const std::tuple<Args...>& t)
{
    std::cout << "()\n";
}
template<typename... Args, std::enable_if_t<sizeof...(Args) != 0, int> = 0>
void print(const std::tuple<Args...>& t)
{
    std::cout << "(";
    TuplePrinter<decltype(t), sizeof...(Args)>::print(t);
    std::cout << ")\n";
}
// конец вспомогательной функции
int main()
{
    std::tuple<int, std::string, float> t1(10, "Test", 3.14);
    int n = 7;
    auto t2 = std::tuple_cat(t1, std::make_tuple("Foo", "bar"), t1, std::tie(n));
    n = 42;
    print(t2);
}

Вывод:

(10, Test, 3.14, Foo, bar, 10, Test, 3.14, 42)

Смотрите также

(C++11)
создает объект tuple типа, определенного типами аргументов
(шаблон функции)
(C++11)
создает tuple ссылок на lvalue или распаковывает кортеж на отдельные объекты
(шаблон функции)
создает tuple из forwarding references
(шаблон функции)