C++14 make

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

template
struct index_sequence{};

template
struct make_index_sequence : public make_index_sequence
{

};

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

};

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

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

template
struct index_sequence{};

template
struct AppendNewValue;

template
struct AppendNewValue{
    using type = index_sequence;
}

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

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