C++14 make_index_sequence的实现原理（简单明了）

最新推荐文章于 2024-03-12 08:17:18 发布

云飞扬_Dylan

最新推荐文章于 2024-03-12 08:17:18 发布

阅读量3k

点赞数 5

分类专栏： C++14 C++模板文章标签： c++

本文链接：https://blog.csdn.net/Jxianxu/article/details/124375135

版权

C++模板同时被 2 个专栏收录

5 篇文章 0 订阅

订阅专栏

C++14

3 篇文章 1 订阅

订阅专栏

本文详细介绍了C++中std::make_index_sequence的用途，即生成0到N-1的整数序列，并通过两种不同的递归方法进行了实现：头插法和尾插法。作者通过实例解析了这两种方法的递归过程，帮助读者深入理解模板元编程的原理。

摘要由CSDN通过智能技术生成

std::make_inedex_sequence<N>的作用是产生一个0,1,2,3,....,N-1的数列。我在STL源码中没有找到实现，所以参考网上的资料，尝试着给出一份自己理解的实现。

template<size_t... Args>
struct index_sequence{};

template<size_t N, size_t... M>
struct make_index_sequence : public make_index_sequence<N-1, N-1, M...>
{

};

template<size_t... M>
struct make_index_sequence<0, M...>: public index_sequence<M...>
{

};

这种写法的核心是M...起始为空，用头插法由N-1递归地扩展出0,1,2，..., N-1序列。以make_index_sequence<3>为例，递归扩展过程如图所示：

网上我还看到另一种方法，采用尾插法：

template<size_t ... Args>
struct index_sequence{};

template<typename T, size_t newValue>
struct AppendNewValue;

template<size_t... Args, size_t newValue>
struct AppendNewValue<index_sequence<Args...>, newValue>{
    using type = index_sequence<Args..., newValue>;
}

template<size_t N>
struct make_index_sequence
{
    using type = typename AppendNewValue<typename make_index_sequence<N-1>::type, N-1>::type;
}

template<>
struct make_index_sequence<0>
{
    using type = index_sequence<>;
}