tuple解包给类的构造函数

时间:2023-03-09 06:03:44
tuple解包给类的构造函数
首先我们的第一步当然是将tuple解包。tuple提供了一个get函数来获取第N个元素。例如:
get<1>(make_tuple(...));
要将一个tuple全部拆解,就可以使用通过多次调用这个函数来进行解析,例如:
auto tup = make_tuple(..........);
func( get<0>(tup),get<1>(tup),get<2>(tup)......get<n>(tup) );
而实际上,0,1,...n这个数列我们可以构建一个std::index_squence<0,1,2,...,n>,而其中,n = std::tuple_size< decltype(tup) >::value -1,然后我们通过
template<size_t ...i,typename T> 
auto func( std::index_squence<i...>, T&& t )
{
  return funcc_(get<i>(t)...);
}
这种方式就能将tuple的全部元素进行解包。其中std::index_squence<0,1,2,...,n>由std::make_index_sequence<n+1>来获得。
那么现在开始解包给类的构造函数了,若有如下情景:
auto tup = make_tuple(...);
A a(tup);
我们只要定义以下几个构造函数即可。
struct A
{
//第一个被调用的构造函数,这里生成一个index_squence,并调用第二个构造函数。
template<typename T> A(T t):A(std::make_index_squence< std::tuple_size<T>::value >,t)
{
}
//这里是第二个构造函数,这里将tuple解包,然后调用第三个构造函数
template<size_t ...i,typename T> 
A(std::index_squence<i...>,T t):
A(get<i>(t)...){}
//第三个构造函数,也就是直接用普通参数的构造函数。
A(....){}
}