std::tuple_cat

Определён в заголовочном файле <tuple>

Определён в заголовочном файле `<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)

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>

// helper function to print a tuple of any size
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";
}
// end helper function

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)

См. также

make_tuple (C++11)	создаёт объект `tuple` типа, определяемого типами аргументов (шаблон функции)
tie (C++11)	создаёт `tuple` из lvalue-ссылок или распаковывает кортеж в отдельные объекты (шаблон функции)
forward_as_tuple (C++11)	создаёт `tuple` из пересылающих ссылок (шаблон функции)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/tuple/tuple_cat