std::tuple_cat

template< class... Tuples >
std::tuple</* CTypes */...> tuple_cat( Tuples&&... args );

template< class... Tuples >
constexpr std::tuple</* CTypes */...> tuple_cat( Tuples&&... args );

template< tuple-like... Tuples >
constexpr std::tuple</* CTypes */...> tuple_cat( Tuples&&... args );

构造一个由 args 中所有 tuple 拼接而成的 tuple。返回的 tuple 的/* CTypes */元素类型由所有 std::tuple(C++23 前)tuple-like(C++23 起) 类型在 Tuples 中的元素类型包按顺序拼接而成。

如果 /* CTypes */ 中的任何类型不可从 args 拼接得到的元素序列中对应元素的类型进行构造，则行为未定义(C++23 前)程序为非良构(C++23 起)。

参数

返回值

一个由所有参数元组的所有元素组成的 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)

参见