以下是引用rjsp在2022-11-6 21:23:18的发言：

首先 class tempalte 不是 class，class template 被实例化后才是 class
我不知道为什么要称它为“递归继承”，class tuple<Head,Tail...> 与 class tuple<Tail...> 是两个不同的“类”类型

编译器不知道什么叫“递归”，自然也就识别不出是不是递归。
编译器看到 class tuple<a,b,c> 继承于 class tuple<b,c>，于是就去实例化 class tuple<b,c>，实例化 class tuple<b,c> 时又看到它继承于 class tuple<c> 于是就去实例化 class tuple<c>，……，一直到 class tuple<>

C++是静态语言，不可能运行时生成任何类型。

于是就去实例化 class tuple<b,c>，实例化 class tuple<b,c>

以下是引用rjsp在2022-11-6 21:54:36的发言：

不好意思，我听不懂你在问什么

1. 实例化需要依赖的项，如果没有依赖，谁先谁后都没关系，再说template一般使用二段式构造，第一段只进行语法检查；
2. 我几乎完全听不懂呀。“这个父类是怎么能把b又单独提取出来的？” --- 代码就是这样写的呀 tuple( Head v, Tail... vtail ) : m_head(v), tuple<Tail...>(vtail...)

以下是引用rjsp在2022-11-6 22:46:28的发言：

不需要呀，你对继承（不关乎template）是不是有什么误解？

以下是引用rjsp在2022-11-7 09:47:57的发言：

当你把 class tuple<Head,Tail...> 与 tuple<A,B,C> 给编译器去编译，那么编译器就知道 Head 是 A， Tail... 是 B,C 呀。
你想问编译原理？

以下是引用rjsp在2022-11-7 13:18:54的发言：

题外话：C/C++语言中没有定义“递归”的概念，自然编译器也没有。（即使是常见的“递归函数”也只是人类眼中是“递归”，在编译器眼中它根本不区分是否调用的是同一个函数）

编译器看到 tuple<A,B,C> 就去找 tuple 的定义，找到 class tuple<Head,Tail...> : private tuple<Tail...>，匹配成 class tuple<A,B,C> : private tuple<B,C>
编译器看到 tuple<B,C> 就去找 tuple 的定义，找到 class tuple<Head,Tail...> : private tuple<Tail...>，匹配成 class tuple<B,C> : private tuple<C>
编译器看到 tuple<C> 就去找 tuple 的定义，找到 class tuple<Head,Tail...> : private tuple<Tail...>，匹配成 class tuple<C> : private tuple<>
编译器看到 tuple<> 就去找 tuple 的定义，找到 class tuple<>，匹配成 class tuple<>
没了，就这样结束了。

你看到编译器在不停地匹配同一个类模板，认为在递归；而编译器却不清楚这一点（主要的是不想知道，知道了也没用），它做的事很简答：遇到一个不认识的东西就去找它的适配。