有人可以解释用递归模板生成整数序列吗？

Question

我在this answer中遇到过这段代码，我无法解释它究竟做了什么，以及如何将它用作整数的编译时序。

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

template <size_t N, size_t ...I> 
struct make_index_sequence : public make_index_sequence<N - 1, N - 1, I...> {}; 

template <size_t ...I> 
struct make_index_sequence<0, I...> : public index_sequence<I...> {}; 

我发现以前类似的实现，即here和here，但从来不知道如何来理解语法。 我不明白make_index_sequence的两个模板结构定义，特别是public（例如: public make_index_sequence<N - 1, N - 1, I...>）的部分。有人可以向我解释这一点吗？

这里有继承吗？递归如何工作？序列存储在哪里？

编辑：由这些模板生成的整数序列的示例用法是生成访问std::tuple<>的索引。生成器将在编译时为元组中的每个元素生成一个索引。

Answer 1

这里有没有继承发生？

是：

template <size_t N, size_t ...I> 
struct make_index_sequence : public make_index_sequence<N - 1, N - 1, I...> 
         // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 

的struct make_index_sequence<N,...>继承struct make_index_sequence<N-1,N-1,...>。

递归如何工作？

通过继承和提供variadic模板参数包的另一部分。

满足N==0的专业化时，递归停止。

序列存储在哪里？

截至template <size_t ...I> struct index_sequence {};