《C++程序设计语言》Tuple示例：单operator<<如何适配多元素Tuple？

Stroustrup在书中的Tuple实现核心是默认模板参数+递归终止的print_Tuple重载，这俩配合起来解决了少元素Tuple的输出问题：

1. 模板参数的默认补全
   书中的Tuple模板定义带默认参数，大致形式如下：

   template<typename T0, typename T1 = void, typename T2 = void, typename T3 = void>
   struct Tuple { /* ... */ };
   

   当你写Tuple<int, double>时，编译器会自动补全为Tuple<int, double, void, void>，刚好匹配那个接受4个模板参数的operator<<重载，不存在匹配不上的问题。

2. print_Tuple的递归终止逻辑
   真正控制输出内容的是print_Tuple函数的重载：

   • 针对非void类型的Tuple成员，print_Tuple会输出当前元素，然后递归调用处理剩余的子Tuple（比如从Tuple<T0,T1,T2,T3>里取出Tuple<T1,T2,T3>继续处理）
   • 专门有一个针对全void参数的print_Tuple重载（比如print_Tuple(const Tuple<void,void,void,void>&)），这个重载什么都不做，用来终止递归

举个实际流程：
输出Tuple<int, double>时，operator<<调用print_Tuple处理第一个int元素，接着递归处理Tuple<double, void, void>，输出double后再递归处理Tuple<void, void, void>，最后触发终止重载，整个输出干净利落，不会出现多余内容。

说白了就是：少元素的Tuple靠默认参数凑够了4个模板参数，能匹配到那个operator<<；而print_Tuple的递归终止逻辑保证了只输出有效元素，不会碰那些void的占位参数。

内容的提问来源于stack exchange，提问作者Sangun