C++/Tuple

<Tuple> 是从C++11正式引入C++标准程式库中的一个头文件，定义了C++标准支持的包含固定个数的元素的容器，这些元素可以是不同数据类型。

类（模板）

• tuple：类模板，实现了一种容器，包含的元素个数固定，元素可以是不同类项。是std::pair的推广。
  • tuple的初始化构造函数都是explicit，所以tuple<int,int> t(1,2);通过编译而tuple<int,int> t2 ={1,2}; 报错
• tuple_size<tuple_type>::value：类模板特化，编译时获得tuple、pair、array的元素个数
• tuple_element<idx,tupletype>::type：类模板特化，获取特定元素的类型
• std::uses_allocator<std::tuple>：类模板特化，指出std::uses_allocator的type trait

常量

• ignore：使用tie解开一个tuple时，跳过一个元素的占位符

函数（模板）

• make_tuple：函数模板，创建一个tuple对象
• tie：函数模板，创建一个完全由左值引用作为实参而构造出的tuple，其效果相当于解开（unpack）一个tuple的当前值赋给一组单个的对象；其中不关心的元素用std::ignore对应。例如：std::tuple<int,std::ignore,string> t(1,2,"hello");
• forward_as_tuple：函数模板，创建一个引用到实参的tuple。如果实参为右值，tuple的数据成员是右值引用；否则为左值引用。
• tuple_cat：函数模板，通过连接任意数量的tuple来创建一个tuple
• std::get<size_t index>(std::tuple)或者std::get<typename>(std::tuple)：函数模板，访问tuple的特定元素
• operator== ：函数模板，
• operator!= ：函数模板，
• operator< ：函数模板，
• operator<= ：函数模板，
• operator> ：函数模板，
• operator>= ：函数模板，
• std::swap(std::tuple)：函数模板，std::swap算法的特化
• apply：函数模板，C++17引入。调用一个函数，使用tuple作为实参
• make_from_tuple：函数模板，C++17引入。构造一个对象，使用tuple作为实参

例子

#include <iostream>
#include <tuple>
#include <functional>

int main()
{
    auto t1 = std::make_tuple(10, "Test", 3.14);
    std::cout << "The value of t1 is "
              << "(" << std::get<0>(t1) << ", " << std::get<1>(t1)
              << ", " << std::get<2>(t1) << ")\n";

    int n = 1;
    auto t2 = std::make_tuple(std::ref(n), n);
    n = 7;
    std::cout << "The value of t2 is "
              << "(" << std::get<0>(t2) << ", " << std::get<1>(t2) << ")\n";
}

运行结果为：

The value of t1 is (10, Test, 3.14)
The value of t2 is (7, 1)