C++标准库之tuple

构造

　　构造函数

　　　tuple的构造函数很普通，没啥说的。

default (1)	constexpr tuple();默认构造函数
copy / move (2)	tuple (const tuple& tpl) = default; 拷贝构造函数 tuple (tuple&& tpl) = default;移动构造函数
implicit conversion (3)	template <class... UTypes> tuple (const tuple<UTypes...>& tpl); 广义拷贝构造函数，只要对应参数可以默认转换 template <class... UTypes> tuple (tuple<UTypes...>&& tpl); 广义移动构造函数，只要对应参数可以默认转换
initialization (4)	explicit tuple (const Types&... elems);构造并初始化 template <class... UTypes> explicit tuple (UTypes&&... elems);构造并初始化，参数类型只要求可以默认转换
conversion from pair (5)	template <class U1, class U2> tuple (const pair<U1,U2>& pr); 从pair构造 template <class U1, class U2> tuple (pair<U1,U2>&& pr);
allocator (6)	在以上5类的基础上增加分配器参数,第一个参数无实际意义，只用来与(3)进行区别。 template<class Alloc> tuple (allocator_arg_t aa, const Alloc& alloc); template<class Alloc> tuple (allocator_arg_t aa, const Alloc& alloc, const tuple& tpl); template<class Alloc> tuple (allocator_arg_t aa, const Alloc& alloc, tuple&& tpl); template<class Alloc,class... UTypes> tuple (allocator_arg_t aa, const Alloc& alloc, const tuple<UTypes...>& tpl); template<class Alloc, class... UTypes> tuple (allocator_arg_t aa, const Alloc& alloc, tuple<UTypes...>&& tpl); template<class Alloc> tuple (allocator_arg_t aa, const Alloc& alloc, const Types&... elems); template<class Alloc, class... UTypes> tuple (allocator_arg_t aa, const Alloc& alloc, UTypes&&... elems); template<class Alloc, class U1, class U2> tuple (allocator_arg_t aa, const Alloc& alloc, const pair<U1,U2>& pr); template<class Alloc, class U1, class U2> tuple (allocator_arg_t aa, const Alloc& alloc, pair<U1,U2>&& pr);

获取tuple的分量
　　get模板函数可以获取tuple分量的引用，如下图所声明的，常量tuple获得常量引用，右值引用tuple获得右值引用，非常量非右值引用获得引用。

(1)	template <size_t I, class... Types> typename tuple_element< I, tuple<Types...> >::type& get(tuple<Types...>& tpl) noexcept;
(2)	template <size_t I, class... Types> typename tuple_element< I, tuple<Types...> >::type&& get(tuple<Types...>&& tpl) noexcept;
(3)	template <size_t I, class... Types> typename tuple_element< I, tuple<Types...> >::type const& get(const tuple<Types...>& tpl) noexcept;

std::make_tuple

　　template<class... Types>
  　　tuple<VTypes...> make_tuple (Types&&... args);　　
　　make_tuple模板函数，根据实参类型生成一个tuple，并用实参的值对其进行初始化。编译器在推断tuple各分量的类型时会去掉实参的顶级const属性、引用属性(包括右值引用)，也就是说造出来的tuple存的是值。数组会推断为指针、函数会推断为函数指针。如果需要推断出引用类型，要借助std::ref或std::cref。
　

std::tie

template<class... Types>
  constexpr tuple<Types&...> tie (Types&... args) noexcept;
　　tie生成一个tuple,此tuple包含的分量全部为实参的引用，与make_tuple完全相反。主要用于从tuple中提取数据。例如：
　　int a,b,c;
　　auto x = make_tuple(1,2,3);
　　std::tie(a,b,c) = x;
 

std::forward_as_tuple

template<class... Types>

constexpr tuple<Types&&...> forward_as_tuple(Types&&...)noexcept;

同std::tie一样，也是生成一个全是引用的tuple,不过std::tie只接受左值，而std::forward_as_tuple左值、右值都接受。主要是用于不损失类型属性的转发数据。

std::tuple_cat

template<class... Tuples>

tuple<CTypes...> tuple_cat(Tuples&&... tlps);

此函数接受多个tuple作为参数，然后返回一个tuple。返回的这个tuple将tuple_cat的参数中的tuple的所有元素按所属的tuple在参数中的顺序以及其在tuple中的顺序排列成一个新的tuple。新tuple中元素的类型与参数中的tuple中的元素的类型完全一致。

template<class... Types>

struct tuple_size<tuple<Types...>>;

tuple_size为辅助类，用于获取tuple中元素的个数。用法为：tuple_size<decltype(tuple)>::value

template<size_t I,class... Types>

struct tuple_element<I,tuple<Types ...>>;

tuple_element为辅助类，用于获取tuple中某个元素的类型。用法为：tuple_size<1,decltype(tuple)>::type