前言
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
还有一种方法也可以创建元组，用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
访问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);
本文转载自微信公众号「羽林君」，可以通过以下二维码关注。转载本文请联系羽林君公众号。
