C++ 参考手册

位置：首页 > C++ 参考手册 >工具库 >std::tuple > std::make_tuple

std::make_tuple

定义于头文件 <tuple>
template< class... Types >
tuple<VTypes...> make_tuple( Types&&... args );
 (C++11 起)
(C++14 前)
template< class... Types >
constexpr tuple<VTypes...> make_tuple( Types&&... args );
 (C++14 起)

创建 tuple 对象，从参数类型推导目标类型。

对于每个 Types... 中的 Ti ， Vtypes... 中的对应类型 Vi 为 std::decay<Ti>::type ，除非应用 std::decay 对某些类型 X 导致 std::reference_wrapper<X> ，该情况下推导的类型为 X& 。

参数

args - 构造 tuple 所用的零或更多参数

返回值

含给定值的 std::tuple 对象，如同用 std::tuple<VTypes...>(std::forward<Types>(t)...). 创建

可能的实现

template <class T>
struct unwrap_refwrapper
{
    using type = T;
};
 
template <class T>
struct unwrap_refwrapper<std::reference_wrapper<T>>
{
    using type = T&;
};
 
template <class T>
using special_decay_t = typename unwrap_refwrapper<typename std::decay<T>::type>::type;
 
template <class... Types>
auto make_tuple(Types&&... args)
{
    return std::tuple<special_decay_t<Types>...>(std::forward<Types>(args)...);
}

示例

运行此代码
#include <iostream>
#include <tuple>
#include <functional>
 
std::tuple<int, int> f() // 此函数返回多值
{
    int x = 5;
    return std::make_tuple(x, 7); // return {x,7}; 于 C++17
}
 
int main()
{
    // 异类 tuple 构造
    int n = 1;
    auto t = std::make_tuple(10, "Test", 3.14, std::ref(n), n);
    n = 7;
    std::cout << "The value of t is "  << "("
              << std::get<0>(t) << ", " << std::get<1>(t) << ", "
              << std::get<2>(t) << ", " << std::get<3>(t) << ", "
              << std::get<4>(t) << ")\n";
 
    // 返回多值的函数
    int a, b;
    std::tie(a, b) = f();
    std::cout << a << " " << b << "\n";
}

输出： 

The value of t is (10, Test, 3.14, 7, 1)
5 7

参阅

 创建左值引用的 tuple，或将 tuple 解包为独立对象
(函数模板)
创建转发引用的 tuple
(函数模板)
通过连接任意数量的元组来创建一个tuple
(函数模板)
(C++17)
 以一个实参的元组来调用函数
(函数模板)
(C++20)(C++20)
 获取包装于 std::reference_wrapper 的引用类型
(类模板)