前言
tuple 是类似于pair的模板。每个pair的成员类型都不相同，但每个pair都恰好有两个成员。不同tuole类型的也不相同，但一个tuple可以有任意数量的成员。每个确定的tuple类型的成员数目是固定的，但一个tuple类型的成员数目可以与另一个tuple类型不同。
当我们希望将一些数据组合成单一对象，但又不想麻烦地定义一个新数据来表示这些数据时，tuple是非常有用的。
例如我们可以构造一个tuple
tuple<const char*, int>tp = make_tuple(sendPack,nSendSize);
这个tuple等价于一个结构体
struct A { char* p; int len; };
用tuple<const char*, int>tp就可以不用创建这个结构体了，而作用是一样的，是不是更简洁直观了
还有一种方法也可以创建元组，用std::tie，它会创建一个元组的左值引用。
auto tp = return std::tie(1, "aa", 2);
tp的类型实际是：
std::tuple<int&,string&, int&>
作者：良知犹存
转载授权以及围观：欢迎添加微信公众号：羽林君
tuple初印象
tuple支持如下的操作
std::tuple<T1, T2, ...TN> t; //创建一个空的tuple对象（使用默认构造），它对应的元素分别是T1和T2...Tn类型，采用值初始化。 std::tuple<T1, T2, ...TN> t2(v1, v2, ... vn); //创建一个tuple对象，它的元素分别是T1和T2 ...Tn类型; 每个成员用对应的vi进行初始化 std::tuple<T1&> t3(ref&); // tuple的元素类型可以是一个引用
像pair一样也可以通过make_tuple进行创建一个tuple对象，tuple的类型从初始值的类型推断
std::make_tuple(v1, v2);
返回t的第i个数据成员的引用：如果t是一个左值，结果是一个左值引用；否则，结果是一个右值引用。此外tuple的所有成员都是pulic的。
get<i>(t)
我们可以将tuple看作一个“快速而随意”的数据结构。
定义和初始化tuple
当我们定义一个std::tuple时，需要指出每个成员的类型。
tuple<size_t,size_t,size_t> threeD; //三个成员都被设置为0 tuple<string,vector<doble>,int ,list<int>> someVal("constans",{3.14,2.718},42,{0,1,2,3,4,5});
当我们创建一个std::tuple对象时，可以使用tuple的默认构造函数，它会对每个成员进行值初始化；也可以向上面someVal初始化一样，为每个成员提供一个初始值，此时的构造函数是explicit的，因此必须使用直接初始化方法。
tuple<size_t,size_t,size_t> htreeD = {1,2,3}; tuple<size_t,size_t,size_t> htreeD(1,2,3);
类似make_pair函数，标准库定义了make_tuple函数，我们还可以使用它来生成std::tuple对象。
auto item = mak_tuple("0-999-78345-x",3,20.00);
类似make_pair，make_tuple函数使用初始值的类型来推断tuple的类型。在上面示例中，item是一个tuple，类型为tuple<const char*,int ,double> .
访问tuple的成员
一个pair总是有两个成员，这样标准库就可以为他们命名（first和second），但是这种命名方法不适用于tuple，因为一个tuple的类型的成员数目是没有限制的。因为，tuple的成员都是未命名的。要访问一个tuple的成员，就要使用一个名为get的标准库函数模板。为了使用get，我们必须指定一个显示模板实参，它指出我们想要访问第几个成员。我们传递给get一个tuple对象，它返回指定成员的引用。
auto book = get<0>(iterm); //返回iterm的第一个成员 auto cnt = get<0>(iterm); //返回iterm的第二个成员 auto price = get<0>(iterm)/cnt; //返回iterm的第三个成员
尖括号中的值必须是一个整型常量表达式，与平时一样，我们从0开始计数，意味着get<0>是第一个成员。
如果不知道tuple准确的类型细节信息，可以用两个辅助类模板查询tuole的成员的数量和类型：
1.一个类模板，可以通过一个tuple类型初始化，它有一个名为value的public constexpr static数据类型，类型为size_t,表示给定tuple类型中成员数量
tuple_element<i,tupleType>::type
2.一个类模板，可以通过一个整型常量和一个tuple类型来初始化。它有一个名为type的public成员，表示给定tuple类型中指定的类型
tuple_size<tupleType>::value
通过这两个类模板我们可以获得我们需要的tuple变量的成员数量和类型
typedef decltype（item） trans；//trans是item的类型 size_t sz = tuple_size< trans>::value；//返回trans类型对象中成员的数量 tuple_element<1,trans>::type cnt ; // cnt 为 item第二个成员变量类型 int型 cnt = get<1>(item);
为了使用tuple_size或tuple_element,我们需要知道一个tuple对象的类型。与往常一样，确定一个对象的类型的最简单的方法就是使用decltype，在typedef decltype（item） trans；中，我们使用decltype来为item定义一个类型别名，用它来实例化这两个模板。
tuple_size有一个名为value的public static数据成员，它表示给定tuple中成员的数量。 tuple_element模板除了一个tuple类型外，还接受一个索引值。它有一个名为type的public类型成员，表示给定tuple类型中指定成员类型。类似get，tuple_element所使用的索引也是从0开始计数的。
std::tuple的关系和相等运算符的行为类似容器的对应操作。这些运算符逐对比较左侧tuple和右侧tuple的成员。只有两个tuple具有相同数量的成员时，我们才可以比较它们。而且，为了使用tuple的相等或不等运算符，对每对成员使用==运算符必须都是合法的；为了使用关系运算符，对每对成员使用 < 必须都是合法的。
关系和相等运算符：当两个tuole具有相同数量的成员且成员对应相等时，两个才tuple相同。
tuple<string,string> duo("1","2"); tuple<size_t,size_t> twoD(1,2); bool b = (duo == twoD); // 错误，不能比较size_t 和 string tuple<size_t,size_t,size_t> threeD(1,2,3); b = (duo == threeD); // 错误，成员数量不同 tuple<size_t,size_t> origin(0,0); b = (origin < twoD); // 正确：b为true
由于tuple定义了<和==运算符，我们可以将tuple序列传递给算法，并且可以在无序容器中将tuple作为关键字类型。
利用tie进行解包元素的值
如同pair一样也是可以通过tie进行解包tuple的各个元素的值。如下tuple对象有4个元素，通过tie解包将会把这4个元素的值分别赋值给tie提供的4个变量中。
int main(int argc, char **argv) { std::tuple<std::string, int, std::string, int> tp; tp = std::make_tuple("Sven", 25, "Shanghai", 21); // 定义接收变量 std::string name; std::string addr; int ages; int areaCode; std::tie(name, ages, addr, areaCode) = tp; std::cout << "Output: " << '\n'; std::cout << "name: " << name <<", "; std::cout << "addr: " << addr << ", "; std::cout << "ages: " << ages << ", "; std::cout << "areaCode: " << areaCode << '\n'; return 0; }
输出结果：
name: Sven, addr: Shanghai, ages: 25, areaCode: 21
但有时候tuple包含的多个元素时只需要其中的一个或两个元素，如此可以通过std::ignore进行变量占位，这样将会忽略提取对应的元素。可以修改上述例程：
std::tie(name, ages, std::ignore, std::ignore) = tp;
std::tuple中元素是被紧密地存储的(位于连续的内存区域)，而不是链式结构。
如何遍历tuple成员
N表示tuple中的第N个元素
#include <iostream> #include <tuple> #include <string> using namespace std; template<typename Tuple, int N = std::tuple_size<Tuple>::value> struct Printer { static void log(Tuple& t) { Printer<Tuple, N - 1>::log(t); using type = typename std::tuple_element<N - 1, Tuple>::type; std::string ts = typeid(type).name(); type& v = std::get<N - 1>(t); std::cout << ts << ":" << v << std::endl; } }; template<typename Tuple> struct Printer<Tuple, 1> { static void log(Tuple& t) { using type = typename std::tuple_element<0, Tuple>::type; std::string ts = typeid(type).name(); type& v = std::get<0>(t); std::cout << ts << ":" << v << std::endl; } }; int main() { std::tuple<int, bool, string> t = std::forward_as_tuple(11, true, "ok"); Printer<std::tuple<int, bool, string>>::log(t); return 1; }
tuple做返回相关作用
使用tuple返回多个值，tuple的一个常见用途就是从一个函数返回多个值。
返回tuple的函数
tuple<int, string> fun() { // 用make_tuple来构造一个tuple return make_tuple(1024, "tuple"，'3'); }
使用函数返回的tuple
auto tp = fun(); auto id = std::get<0>(tp); auto name= std::get<1>(tp); auto num = std::get<2>(tp);
这就是我分享的C++多元组tuple，里面知识是实践过的，如果大家有什么更好的思路，欢迎分享交流哈。
