std::integer_sequence

• C++14中引入的一个类模板

【简化后的源码】

template <class T, T... Ints> struct integer_sequence { using value_type = T; static constexpr size_t size() noexcept { return sizeof...(Ints); } }; 

讯享网

• 功能：产生整型数字序列，0,1,2,3,4,5
• T：int,unsigned int,char,short等类型
• Ints：非类型模板参数包，一堆数字，这堆数字类型相同，都是T类型。

【std::make_integer_sequence】

• 是一个别名模板，就可以理解成是一个 std::integer_sequence，其伪代码类似于：

讯享网template<class T, T N> using make_integer_sequence=std::integer_sequence<T,0,1,2,3,....N-1序列>;

【测试】

std::make_integer_sequence<int, 5> tmpobj; cout << "tmpobj的类型为：" << typeid(decltype(tmpobj)).name() << endl; 

• 输出

讯享网

【std::make_index_sequence】

• 别名模板，与make_integer_sequence非常类似，其伪代码类似于：

讯享网template<std::size_t N> using make_index_sequence=std::integer_sequence<std::size_t,0,1,2,3,....N-1序列>;

【测试】

std::make_index_sequence<4> tmpobj2; cout << "tmpobj2的类型为：" << typeid(decltype(tmpobj2)).name() << endl; 

• 输出

【实现make_integer_sequence】

讯享网//向integer_sequence末尾插入元素： //泛化版本 template<typename INTSEQ, unsigned int NewElem> //INTSEQ代表整个的std::integer_sequence< ......>类型 struct IntSeq_PushBack; //因为不使用泛化版本，所以泛化版本可以只声明不定义。 //向std::integer_sequence末尾插入元素：特化版本 template<typename T, unsigned int... Elems,unsigned int NewElem> //泛化版本一般要求可变参放在最后，特化版本一般无此要求 struct IntSeq_PushBack< std::integer_sequence<T, Elems... >, NewElem > { using type = std::integer_sequence<T, Elems..., NewElem>; }; //----------------------------------- //泛化版本 template <typename T,unsigned int N> struct Integer_Sequence //实现std::make_integer_sequence功能 { //依次遍历出4,3,2,1，应该往末尾插入元素，所以还应该引入IntSeq_PushBack操作。 using type = typename IntSeq_PushBack< typename Integer_Sequence< T,N-1 >::type,N-1 >::type; //这里理解成函数调用，把type理解成所调用的函数名 }; //特化版本 template <typename T> struct Integer_Sequence<T, 1> //这里是1，意味着递归到1就可以了 { using type = std::integer_sequence<T, 0>; //这是0，注意。 }; //定义别名模板 template <typename T, unsigned int N> using Integer_Sequence_T = typename Integer_Sequence<T, N>::type; 

【调用】

Integer_Sequence_T<int, 4> tmpobj3; cout << "tmpobj3的类型为：" << typeid(decltype(tmpobj3)).name() << endl; 

• 输出

【调用关系分析】

讯享网Integer_Sequence_T<int, 4> tmpobj3; //等价于 Integer_Sequence<int, 4>::type tmpobj3; //把type看成函数调用 using type = typename IntSeq_PushBack< typename Integer_Sequence< T,3 >::type,3 >::type; //展开上行后面这个 Integer_Sequence< int,3 >::type 如下: using type = typename IntSeq_PushBack< typename Integer_Sequence< int,2 >::type,2 >::type; //展开上行后面这个 Integer_Sequence< int,2 >::type 如下: using type = typename IntSeq_PushBack< typename Integer_Sequence< int,1 >::type,1 >::type; //展开上行后面这个 Integer_Sequence< int,1 >::type ，调用的是特化版本 using type = std::integer_sequence<int, 0>; //递归结束，开始往回返 //递归往回返的时候注意IntSeq_PushBack是向std::integer_sequence末尾插入内容 using type = std::integer_sequence<int, 0,1> using type = std::integer_sequence<int, 0,1,2> using type = std::integer_sequence<int, 0,1,2,3> //最终结果 std::integer_sequence<int, 0,1,2,3>