经验首页 前端设计 程序设计 Java相关 移动开发 数据库/运维 软件/图像 大数据/云计算 其他经验
当前位置：技术经验 » 程序设计 » C++ » 查看文章
C++模板沉思录
来源：cnblogs　　作者：樱雨楼　　时间：2021/2/18 15:43:53　　对本文有异议

0 论抽象——前言

故事要从一个看起来非常简单的功能开始：

  1. 请计算两个数的和。

如果你对Python很熟悉，你一定会觉得：“哇！这太简单了！”，然后写出以下代码：

  1. def Plus(lhs, rhs):
  3.     return lhs + rhs

那么，C语言又如何呢？你需要面对这样的问题：

  1. /* 这里写什么？*/ Plus(/* 这里写什么？*/ lhs, /* 这里写什么？*/ rhs)
  2. {
  3.     return lhs + rhs;
  4. }

也许你很快就能想到以下解法中的一些或全部：

  1. 硬编码为某个特定类型：
  1. int Plus(int lhs, int rhs)
  2. {
  3.     return lhs + rhs;
  4. }

显然，这不是一个好的方案。因为这样的Plus函数接口强行的要求两个实参以及返回值的类型都必须是int，或是能够发生隐式类型转换到int的类型。此时，如果实参并不是int类型，其结果往往就是错误的。请看以下示例：

  1. int main()
  2. {
  3.     printf("%d\n", Plus(1, 2));          // 3，正确
  4.     printf("%d\n", Plus(1.999, 2.999));  // 仍然是3！
  5. }
  1. 针对不同类型，定义多个函数
  1. int Plusi(int lhs, int rhs)
  2. {
  3.     return lhs + rhs;
  4. }
  7. long Plusl(long lhs, long rhs)
  8. {
  9.     return lhs + rhs;
  10. }
  13. double Plusd(double lhs, double rhs)
  14. {
  15.     return lhs + rhs;
  16. }
  19. // ...

这种方案的缺点也很明显：其使得代码写起来像“汇编语言”（movl，movq，...）。我们需要针对不同的类型调用不同名称的函数（是的，C语言也不支持函数重载），这太可怕了。

  1. 使用宏
  1. #define Plus(lhs, rhs) (lhs + rhs)

这种方案似乎很不错，甚至“代码看上去和Python一样”。但正如许许多多的书籍都讨论过的那样，宏，不仅“抛弃”了类型，甚至“抛弃”了代码。是的，宏不是C语言代码，其只是交付于预处理器执行的“复制粘贴”的标记。一旦预处理完成，宏已然不再存在。可想而知，在功能变得复杂后，宏的缺点将会越来越大：代码晦涩，无法调试，“莫名其妙”的报错...

看到这里，也许你会觉得：“哇！C语言真烂！居然连这么简单的功能都无法实现！”。但请想一想，为什么会出现这些问题呢？让我们回到故事的起点：

  1. 请计算两个数的和。

仔细分析这句话：“请计算...的和”，意味着“加法”语义，这在C语言中可以通过“+”实现（也许你会联想到汇编语言中的加法实现）；而“两个”，则意味着形参的数量是2（也许你会联想到汇编语言中的ESS、ESP、EBP等寄存器）；那么，“数”，意味着什么语义？C语言中，具有“数”这一语义的类型有十几种：int、double、unsigned，等等，甚至char也具有“数”的语义。那么，“加法”和“+”，“两个”和“形参的数量是2”，以及“数”和int、double、unsigned等等之间的关系是什么？

是抽象。

高级语言的目的，就是对比其更加低级的语言进行抽象，从而使得我们能够实现更加高级的功能。抽象，是一种人类的高级思维活动，是一种充满着智慧的思维活动。汇编语言抽象了机器语言，而C语言则进一步抽象了汇编语言：其将汇编语言中的各种加法指令，抽象成了一个简单的加号；将各种寄存器操作，抽象成了形参和实参...抽象思维是如此的普遍与自然，以至于我们往往甚至忽略了这种思维的存在。

但是，C语言并没有针对类型进行抽象的能力，C语言不知道，也没有能力表达“int和double都是数字”这一语义。而这，直接导致了这个“看起来非常简单的功能”难以完美的实现。

针对类型的抽象是如此重要，以至于编程语言世界出现了与C语言这样的“静态类型语言”完全不一样的“动态类型语言”。正如开头所示，在Python这样的动态类型语言中，我们根本就不需要为每个变量提供类型，从而似乎“从根本上解决了问题”。但是，“出来混，迟早要还的”，这种看似完美的动态类型语言，牺牲的却是极大的运行时效率！我们不禁陷入了沉思：真的没有既不损失效率，又能对类型进行抽象的方案了吗？

正当我们一筹莫展，甚至感到些许绝望之时，C++的模板，为我们照亮了前行的道路。

1 新手村——模板基础

1.1 函数模板与类模板

模板，即C++中用以实现泛型编程思想的语法组分。模板是什么？一言以蔽之：类型也可以是“变量”的东西。这样的“东西”，在C++中有二：函数模板和类模板。

通过在普通的函数定义和类定义中前置template <...>，即可定义一个模板，让我们以上文中的Plus函数进行说明。请看以下示例：

此为函数模板：

  1. template <typename T>
  2. T Plus(T lhs, T rhs)
  3. {
  4.     return lhs + rhs;
  5. }
  8. int main()
  9. {
  10.     cout << Plus(1, 2) << endl;          // 3，正确！
  11.     cout << Plus(1.999, 2.999) << endl;  // 4.998，同样正确！
  12. }

此为类模板：

  1. template <typename T>
  2. struct Plus
  3. {
  4.     T operator()(T lhs, T rhs)
  5.     {
  6.         return lhs + rhs;
  7.     }
  8. };
  11. int main()
  12. {
  13.     cout << Plus<int>()(1, 2) << endl;             // 3，正确！
  14.     cout << Plus<double>()(1.999, 2.999) << endl;  // 4.998，同样正确！
  15. }

显然，模板的出现，使得我们轻而易举的就实现了类型抽象，并且没有（像动态类型语言那样）引入任何因为此种抽象带来的额外代价。

1.2 模板形参、模板实参与默认值

请看以下示例：

  1. template <typename T>
  2. struct Plus
  3. {
  4.     T operator()(T lhs, T rhs)
  5.     {
  6.         return lhs + rhs;
  7.     }
  8. };
  11. int main()
  12. {
  13.     cout << Plus<int>()(1, 2) << endl;
  14.     cout << Plus<double>()(1.999, 2.999) << endl;
  15. }

上例中，typename T中的T，称为模板形参；而Plus<int>中的int，则称为模板实参。在这里，模板实参是一个类型。

事实上，模板的形参与实参既可以是类型，也可以是值，甚至可以是“模板的模板”；并且，模板形参也可以具有默认值（就和函数形参一样）。请看以下示例：

  1. template <typename T, int N, template <typename U, typename = allocator<U>> class Container = vector>
  2. class MyArray
  3. {
  4.     Container<T> __data[N];
  5. };
  8. int main()
  9. {
  10.     MyArray<int, 3> _;
  11. }

上例中，我们声明了三个模板参数：

  1. typename T：一个普通的类型参数
  2. int N：一个整型参数
  3. template <typename U, typename = allocator<U>> class Container = vector：一个“模板的模板参数”

什么叫“模板的模板参数”？这里需要明确的是：模板、类型和值，是三个完全不一样的语法组分。模板能够“创造”类型，而类型能够“创造”值。请参考以下示例以进行辨析：

  1. vector<int> v;

此例中，vector是一个模板，vector<int>是一个类型，而v是一个值。

所以，一个“模板的模板参数”，就是一个需要提供给其一个模板作为实参的参数。对于上文中的声明，Container是一个“模板的模板参数”，其需要接受一个模板作为实参 。需要怎样的模板呢？这个模板应具有两个模板形参，且第二形参具有默认值allocator<U>；同时，Container具有默认值vector，这正是一个符合要求的模板。这样，Container在类定义中，便可被当作一个模板使用（就像vector那样）。

1.3 特化与偏特化

模板，代表了一种泛化的语义。显然，既然有泛化语义，就应当有特化语义。特化，使得我们能为某些特定的类型专门提供一份特殊实现，以达到某些目的。

特化分为全特化与偏特化。所谓全特化，即一个“披着空空如也的template <>的普通函数或类”，我们还是以上文中的Plus函数为例：

  1. // 不管T是什么类型，都将使用此定义...
  2. template <typename T>
  3. T Plus(T lhs, T rhs)
  4. {
  5.     return lhs + rhs;
  6. }
  9. // ...但是，当T为int时，将使用此定义
  10. template <>  // 空空如也的template <>
  11. int Plus(int lhs, int rhs)
  12. {
  13.     return lhs + rhs;
  14. }
  17. int main()
  18. {
  19.     Plus(1., 2.);  // 使用泛型版本
  20.     Plus(1, 2);    // 使用特化版本
  21. }

那么，偏特化又是什么呢？除了全特化以外的特化，都称为偏特化。这句话虽然简短，但意味深长，让我们来仔细分析一下：首先，“除了全特化以外的...”，代表了template关键词之后的“<>”不能为空，否则就是全特化，这显而易见；其次，“...的特化”，代表了偏特化也必须是一个特化。什么叫“是一个特化”呢？只要特化版本比泛型版本更特殊，那么此版本就是一个特化版本。请看以下示例：

  1. // 泛化版本
  2. template <typename T, typename U>
  3. struct _ {};
  6. // 这个版本的特殊之处在于：仅当两个类型一样的时候，才会且一定会使用此版本
  7. template <typename T>
  8. struct _<T, T> {};
  11. // 这个版本的特殊之处在于：仅当两个类型都是指针的时候，才会且一定会使用此版本
  12. template <typename T, typename U>
  13. struct _<T *, U *> {};
  16. // 这个版本“换汤不换药”，没有任何特别之处，所以不是一个特化，而是错误的重复定义
  17. template <typename A, typename B>
  18. struct _<A, B> {};

由此可见，“更特殊”是一个十分宽泛的语义，这赋予了模板极大的表意能力，我们将在下面的章节中不断的见到特化所带来的各种技巧。

1.4 惰性实例化

函数模板不是函数，而是一个可以生成函数的语法组分；同理，类模板也不是类，而是一个可以生成类的语法组分。我们称通过函数模板生成函数，或通过类模板生成类的过程为模板实例化。

模板实例化具有一个非常重要的特征：惰性。这种惰性主要体现在类模板上。请看以下示例：

  1. template <typename T>
  2. struct Test
  3. {
  4.     void Plus(const T &val)  { val + val; }
  5.     void Minus(const T &val) { val - val; }
  6. };
  9. int main()
  10. {
  11.     Test<string>().Plus("abc");
  12.     Test<int>().Minus(0);
  13. }

上例中，Minus函数显然是不适用于string类型的。也就是说，Test类对于string类型而言，并不是“100%完美的”。当遇到这种情况时，C++的做法十分宽松：不完美？不要紧，只要不调用那些“不完美的函数”就行了。在编译器层面，编译器只会实例化真的被使用的函数，并对其进行语法检查，而根本不会在意那些根本没有被用到的函数。也就是说，在上例中，编译器实际上只实例化出了两个函数：string版本的Plus，以及int版本的Minus。

在这里，“懒惰即美德”占了上风。

1.5 依赖型名称

在C++中，“::”表达“取得”语义。显然，“::”既可以取得一个值，也可以取得一个类型。这在非模板场景下是没有任何问题的，并不会引起接下来即将将要讨论的“取得的是一个类型还是一个值”的语义混淆，因为编译器知道“::”左边的语法组分的定义。但在模板中，如果“::”左边的语法组分并不是一个确切类型，而是一个模板参数的话，语义将不再是确定的。请看以下示例：

  1. struct A { typedef int TypeOrValue; };
  2. struct B { static constexpr int TypeOrValue = 0; };
  5. template <typename T>
  6. struct C
  7. {
  8.     T::TypeOrValue;  // 这是什么？
  9. };

上例中，如果T是A，则T::TypeOrValue是一个类型；而如果T是B，则T::TypeOrValue是一个数。我们称这种含有模板参数的，无法立即确定语义的名称为“依赖型名称”。所谓“依赖”，意即此名称的确切语义依赖于模板参数的实际类型。

对于依赖型名称，C++规定：默认情况下，编译器应认为依赖型名称不是一个类型；如果需要编译器将依赖型名称视为一个类型，则需要前置typename关键词。请看以下示例以进行辨析：

  1. T::TypeOrValue * N;           // T::TypeOrValue是一个值，这是一个乘法表达式
  2. typename T::TypeOrValue * N;  // typename T::TypeOrValue是一个类型，声明了一个这样类型的指针

1.6 可变参数模板

可变参数模板是C++11引入的一个极为重要的语法。这里对其进行简要介绍。

可变参数模板表达了“参数数量，以及每个参数的类型都未知且各不相同”这一语义。如果我们希望实现一个简单的print函数，其能够传入任意数量，且类型互不相同的参数，并依次打印这些参数值，此时就需要使用可变参数模板。

可变参数模板的语法由以下组分构成：

  1. typename...：声明一个可变参数模板形参
  2. sizeof...：获取参数包内参数的数量
  3. Pattern...：以某一模式展开参数包

接下来，我们就基于可变参数模板，实现这一print函数。请看以下示例：

  1. // 递归终点
  2. void print() {}
  5. // 分解出一个val + 剩下的所有val
  6. // 相当于：void print(const T &val, const Types1 &Args1, const Types2 &Args2, const Types3 &Args3, ...)
  7. template <typename T, typename... Types>
  8. void print(const T &val, const Types &... Args)
  9. {
  10.     // 每次打印一个val
  11.     cout << val << endl;
  13.     // 相当于：print(Args1, Args2, Args3, ...);
  14.     // 递归地继续分解...
  15.     print(Args...);
  16. }
  19. int main()
  20. {
  21.     print(1, 2., '3', "4");
  22. }

上例中，我们实现了一对重载的print函数。第一个print函数是一个空函数，其将在“Args...”是空的时候被调用，以作为递归终点；而第二个print函数接受一个val以及余下的所有val作为参数，其将打印val，并使用余下的所有val继续递归调用自己。不难发现，第二版本的print函数具有不断打印并分解Args的能力，直到Args被完全分解。

2 平淡无奇却暗藏玄机的语法——sizeof与SFINAE

2.1 sizeof

“sizeof？这有什么可讨论的？”也许你会想。只要你学过C语言，那么对此必不陌生。那么为什么我们还需要为sizeof这一“平淡无奇”的语法单独安排一节来讨论呢？这是因为sizeof有两个对于泛型编程而言极为重要的特性：

  1. sizeof的求值结果是编译期常量（从而可以作为模板实参使用）
  2. 在任何情况下，sizeof都不会引发对其参数的求值或类似行为（如函数调用，甚至函数定义！等），因为并不需要

上述第一点很好理解，因为sizeof所考察的是类型，而类型（当然也包含其所占用的内存大小），一定是一个编译期就知道的量（因为C++作为一门静态类型语言，任何的类型都绝不会延迟到运行时才知道，这是动态类型语言才具有的特性），故sizeof的结果是一个编译期常量也就不足为奇了。

上述第二点意味深长。利用此特性，我们可以实现出一些非常特殊的功能。请看下一节。

2.2 稻草人函数

让我们以一个问题引出这一节的内容：

  1. 如何实现：判定类型A是否能够基于隐式类型转换转为B类型？

乍看之下，这是个十分棘手的问题。此时我们应当思考的是：如何引导（请注意“引导”一词的含义）编译器，在A到B的隐式类型转换可行时，走第一条路，否则，走第二条路？

请看以下示例：

  1. template <typename A, typename B>
  2. class IsCastable
  3. {
  4. private:
  6.     // 定义两个内存大小不一样的类型，作为“布尔值”
  7.     typedef char __True;
  8.     typedef struct { char _[2]; } __False;
  11.     // 稻草人函数
  12.     static A __A();
  15.     // 只要A到B的隐式类型转换可用，重载确定的结果就是此函数...
  16.     static __True __Test(B);
  19.     // ...否则，重载确定的结果才是此函数(“...”参数的重载确定优先级低于其他一切可行的重载版本)
  20.     static __False __Test(...);
  23. public:
  25.     // 根据重载确定的结果，就能够判定出隐式类型转换是否能够发生
  26.     static constexpr bool Value = sizeof(__Test(__A())) == sizeof(__True);
  27. };

上例比较复杂，我们依次进行讨论。

首先，我们声明了两个大小不同的类型，作为假想的“布尔值”。也许你会有疑问，这里为什么不使用int或double之类的类型作为False？这是由于C语言并未规定“int、double必须比char大”，故为了“强行满足标准”（你完全可以认为这是某种“教条主义或形式主义”），这里采用了“两个char一定比一个char大一倍”这一简单道理，定义了False。

然后，我们声明了一个所谓的“稻草人函数”，这个看似毫无意义的函数甚至没有函数体（因为并不需要，且接下来的两个函数也没有函数体，与此函数同理）。这个函数唯一的目的就是“获得”一个A类型的值“给sizeof看”。由于sizeof的不求值特性，此函数也就不需要（我们也无法提供）函数体了。那么，为什么不直接使用形如“T()”这样的写法，而需要声明一个“稻草人函数”呢？我想，不用我说你就已经明白原因了：这是因为并不是所有的T都具有默认构造函数，而如果T没有默认构造函数，那么“T()”就是错误的。

接下来是最关键的部分，我们声明了一对重载函数，这两个函数的区别有二：

  1. 返回值不同，一个是sizeof的结果为1的值，而另一个是sizeof的结果为2的值
  2. 形参不同，一个是B，一个是“...”

也就是说，如果我们给这一对重载函数传入一个A类型的值时，由于“...”参数的重载确定优先级低于其他一切可行的重载版本，只要A到B的隐式类型转换能够发生，重载确定的结果就一定是调用第一个版本的函数，返回值为__True；否则，只有当A到B的隐式类型转换真的不可行时，编译器才会“被迫”选择那个编译器“最不喜欢的版本”，从而使得返回值为__False。返回值的不同，就能够直接体现在sizeof的结果不同上。所以，只需要判定sizeof(__Test(__A()))是多少，就能够达到我们最终的目的了。下面请看使用示例：

  1. int main()
  2. {
  3.     cout << IsCastable<int, double>::Value << endl;  // true
  4.     cout << IsCastable<int, string>::Value << endl;  // false
  5. }

可以看出，输出结果完全符合我们的预期。

2.3 SFINAE

SFINAE（Substitution Failure Is Not An Error，替换失败并非错误）是一个高级模板技巧。首先，让我们来分析这一拗口的词语：“替换失败并非错误”。

什么是“替换”？这里的替换，实际上指的正是模板实例化；也就是说，当模板实例化失败时，编译器并不认为这是一个错误。这句话看上去似乎莫名其妙，也许你会有疑问：那怎么样才认为是一个错误？我们又为什么要讨论一个“错误的东西”呢？让我们以一个问题引出这一技巧的意义：

  1. 如何判定一个类型是否是一个类类型？

“哇！这个问题似乎比上一个问题更难啊！”也许你会这么想。不过有了上一个问题的铺垫，这里我们依然要思考的是：一个类类型，有什么独一无二的东西是非类类型所没有的？（这样我们似乎就能让编译器在“喜欢和不喜欢”之间做出抉择）

也许你将恍然大悟：类的成员指针。

请看以下示例：

  1. template <typename T>
  2. class IsClass
  3. {
  4. private:
  6.     // 定义两个内存大小不一样的类型，作为“布尔值”
  7.     typedef char __True;
  8.     typedef struct { char _[2]; } __False;
  11.     // 仅当T是一个类类型时，“int T::*”才是存在的，从而这个泛型函数的实例化才是可行的
  12.     // 否则，就将触发SFINAE
  13.     template <typename U>
  14.     static __True __Test(int U::*);
  17.     // 仅当触发SFINAE时，编译器才会“被迫”选择这个版本
  18.     template <typename U>
  19.     static __False __Test(...);
  22. public:
  24.     // 根据重载确定的结果，就能够判定出T是否为类类型
  25.     static constexpr bool Value = sizeof(__Test<T>(0)) == sizeof(__True);
  26. };

同样，我们首先定义了两个内存大小一定不一样的类型，作为假想的“布尔值”。然后，我们声明了两个重载模板，其分别以两个“布尔值”作为返回值。这里的关键在于，重载模板的参数，一个是类成员指针，另一个是“...”。显然，当编译器拿到一个T，并准备生成一个“T:??”时，仅当T是一个类类型时，这一生成才是正确的，合乎语法的；否则，这个函数签名将根本无法被生成出来，从而进一步的使得编译器“被迫”选择那个“最不喜欢的版本”进行调用（而不是认为这个“根本无法被生成出来”的模板是一个错误）。所以，通过sizeof对__Test的返回值大小进行判定，就能够达到我们最终的目的了。下面请看使用示例：

  1. int main()
  2. {
  3.     cout << IsClass<double>::Value << endl;  // false
  4.     cout << IsClass<string>::Value << endl;  // true
  5. }

可以看出，输出结果完全符合我们的预期。

2.4 本章后记

sizeof，作为一个C语言的“入门级”语法，其“永不求值”的特性往往被我们所忽略。本章中，我们充分利用了sizeof的这种“永不求值”的特性，做了很多“表面工程”，仅仅是为了“给sizeof看”；同理，SFINAE技术似乎也只是在“找编译器的麻烦，拿编译器寻开心”。但正是这些“表面工程、找麻烦、寻开心”，让我们得以实现了一些非常不可思议的功能。

3 类型萃取器——Type Traits

Traits，中文翻译为“特性”，Type Traits，即为“类型的特性”。这是个十分奇怪的翻译，故很多书籍对这个词选择不译，也有书籍将其翻译为“类型萃取器”，十分生动形象。

Type Traits的定义较为模糊，其大致代表了这样的一系列技术：通过一个类型T，取得另一个基于T进行加工后的类型，或对T基于某一标准进行分类，得到分类结果。

本章中，我们以几个经典的Type Traits应用，来见识一番此技术的精妙。

3.1 为T“添加星号”

第一个例子较为简单：我们需要得到T的指针类型，即：得到“T *”。此时，只需要将“T *”通过typedef变为Type Traits类的结果即可。请看以下示例：

  1. template <typename T>
  2. struct AddStar { typedef T *Type; };
  5. template <typename T>
  6. struct AddStar<T *> { typedef T *Type; };
  9. int main()
  10. {
  11.     cout << typeid(AddStar<int>::Type).name() << endl;    // int *
  12.     cout << typeid(AddStar<int *>::Type).name() << endl;  // int *
  13. }

这段代码十分简单，但似乎我们写了两遍“一模一样”的代码？认真观察和思考即可发现：特化版本是为了防止一个已经是指针的类型发生“升级”而存在的。如果T已经是一个指针类型，则Type就是T本身，否则，Type才是“T *”。

3.2 为T“去除星号”

上一节，我们实现了一个能够为T“添加星号”的Traits，这一节，我们将实现一个功能与之相反的Traits：为T“去除星号”。

“简单！”也许你会想，并很快给出了以下实现：

  1. template <typename T>
  2. struct RemoveStar { typedef T Type; };
  5. template <typename T>
  6. struct RemoveStar<T *> { typedef T Type; };
  9. int main()
  10. {
  11.     cout << typeid(RemoveStar<int>::Type).name() << endl;    // int
  12.     cout << typeid(RemoveStar<int *>::Type).name() << endl;  // int
  13. }

似乎完成了？不幸的是，这一实现并不完美。请看以下示例：

  1. int main()
  2. {
  3.     cout << typeid(RemoveStar<int **>::Type).name() << endl;  // int *，哦不！
  4. }

可以看到，我们的上述实现只能去除一个星号，当传入一个多级指针时，并不能得到我们想要的结果。

这该如何是好？我们不禁想到：如果能够实现一个“while循环”，就能去除所有的星号了。虽然模板没有while循环，但我们知道：递归正是循环的等价形式。请看以下示例：

  1. // 递归终点，此时T真的不是指针了
  2. template <typename T>
  3. struct RemoveStar { typedef T Type; };
  6. // 当T是指针时，Type应该是T本身（已经去除了一个星号）继续RemoveStar的结果
  7. template <typename T>
  8. struct RemoveStar<T *> { typedef typename RemoveStar<T>::Type Type; };

上述实现中，当发现T选择了特化版本（即T本身是指针时），就会递归地对T进行去星号，直到T不再选择特化版本，从而抵达递归终点为止。这样，就能在面对多级指针时，也能够得到正确的Type。下面请看使用示例：

  1. int main()
  2. {
  3.     cout << typeid(RemoveStar<int **********>::Type).name() << endl;  // int
  4. }

可以看出，输出结果完全符合我们的预期。

显然，使用这样的Traits是具有潜在的较大代价的。例如上例中，为了去除一个十级指针的星号，编译器竟然需要实例化出11个类！但好在这一切均发生在编译期，对运行效率不会产生任何影响。

3.3 寻找“最强大类型”

让我们继续讨论前言中的Plus函数，以引出本节所要讨论的话题。目前我们给出的“最好实现”如下：

  1. template <typename T>
  2. T Plus(T lhs, T rhs)
  3. {
  4.     return lhs + rhs;
  5. }
  8. int main()
  9. {
  10.     cout << Plus(1, 2) << endl;  // 3，正确！
  11. }

但是，只要在上述代码中添加一个“.”，就立即发生了问题：

  1. int main()
  2. {
  3.     cout << Plus(1, 2.) << endl;  // 二义性错误！T应该是int还是double？
  4. }

上例中，由于Plus模板只使用了单一的一个模板参数，故要求两个实参的类型必须一致，否则，编译器就不知道T应该是什么类型，从而引发二义性错误。但显然，任何的两种“数”之间都应该是可以做加法的，所以不难想到，我们应该使用两个而不是一个模板参数，分别作为lhs与rhs的类型，但是，我们立即就遇到了新的问题。请看以下示例：

  1. template <typename T1, typename T2>
  2. /* 这里应该写什么？*/ Plus(T1 lhs, T2 rhs)
  3. {
  4.     return lhs + rhs;
  5. }

应该写T1？还是T2？显然都不对。我们应该寻求一种方法，其能够获取到T1与T2之间的“更强大类型”，并将此“更强大类型”作为返回值。进一步的，我们可以以此为基础，实现出一个能够获取到任意数量的类型之中的“最强大类型”的方法。

应该怎么做呢？事实上，这个问题的解决方案，确实是难以想到的。请看以下示例：

  1. template <typename A, typename B>
  2. class StrongerType
  3. {
  4. private:
  6.     // 稻草人函数
  7.     static A __A();
  8.     static B __B();
  11. public:
  13.     // 3目运算符表达式的类型就是“更强大类型”
  14.     typedef decltype(true ? __A() : __B()) Type;
  15. };
  18. int main()
  19. {
  20.     cout << typeid(StrongerType<int, char>::Type).name() << endl;    // int
  21.     cout << typeid(StrongerType<int, double>::Type).name() << endl;  // double
  22. }

上例中，我们首先定义了两个“稻草人函数”，用以分别“获取”类型为A或B的值“给decltype看”。然后，我们使用了decltype探测三目运算符表达式的类型，不难发现，decltype也具有sizeof的“不对表达式进行求值”的特性。由于三目运算符表达式从理论上可能返回两个值中的任意一个，故表达式的类型就是我们所寻求的“更强大类型”。随后的用例也证实了这一点。

有了获取两个类型之间的“更强大类型”的Traits以后，我们不难想到：N个类型之中的“最强大类型”，就是N - 1个类型之中的“最强大类型”与第N个类型之间的“更强大类型”。请看以下示例：

  1. // 原型
  2. // 通过typename StrongerType<Types...>::Type获取Types...中的“最强大类型”
  3. template <typename... Types>
  4. class StrongerType;
  7. // 只有一个类型
  8. template <typename T>
  9. class StrongerType<T>
  10. {
  11.     // 我自己就是“最强大的”
  12.     typedef T Type;
  13. };
  16. // 只有两个类型
  17. template <typename A, typename B>
  18. class StrongerType<A, B>
  19. {
  20. private:
  22.     // 稻草人函数
  23.     static A __A();
  24.     static B __B();
  27. public:
  29.     // 3目运算符表达式的类型就是“更强大类型”
  30.     typedef decltype(true ? __A() : __B()) Type;
  31. };
  34. // 不止两个类型
  35. template <typename T, typename... Types>
  36. class StrongerType<T, Types...>
  37. {
  38. public:
  40.     // T和typename StrongerType<Types...>::Type之间的“更强大类型”就是“最强大类型”
  41.     typedef typename StrongerType<T, typename StrongerType<Types...>::Type>::Type Type;
  42. };
  45. int main()
  46. {
  47.     cout << typeid(StrongerType<char, int>::Type).name() << endl;          // int
  48.     cout << typeid(StrongerType<int, double>::Type).name() << endl;        // double
  49.     cout << typeid(StrongerType<char, int, double>::Type).name() << endl;  // double
  50. }

通过递归，我们使得所有的类型共同参与了“打擂台”，这里的“擂台”，就是我们已经实现了的StrongerType的双类型版本，而“打擂台的最后大赢家”，则正是我们所寻求的“最强大类型”。

有了StrongerType这一Traits后，我们就可以实现上文中的双类型版本的Plus函数了。请看以下示例：

  1. // Plus函数的返回值应该是T1与T2之间的“更强大类型”
  2. template <typename T1, typename T2>
  3. typename StrongerType<T1, T2>::Type Plus(T1 lhs, T2 rhs)
  4. {
  5.     return lhs + rhs;
  6. }
  9. int main()
  10. {
  11.     Plus(1, 2.);  // 完美！
  12. }

至此，我们“终于”实现了一个最完美的Plus函数。

3.4 本章后记

本章所实现的三个小工具，都是STL的type_traits库的一部分。值得一提的是我们最后实现的获取“最强大类型”的工具：这一工具所解决的问题，实际上是一个非常经典的问题，其多次出现在多部著作中。由于decltype（以及可变参数模板）是C++11的产物，故很多较老的书籍对此问题给出了“无解”的结论，或只能给出一些较为牵强的解决方案。

4 “压榨”编译器——编译期计算

值也能成为模板参数的一部分，而模板参数是编译期常量，这二者的结合使得通过模板进行（较复杂的）编译期计算成为了可能。由于编译器本就不是“计算器”，故标题中使用了“压榨”一词，以表达此技术的“高昂的编译期代价”以及“较大的局限性”的特点；同时，合理的利用编译期计算技术，能够极大地提高程序的效率，故“压榨”也有“压榨性能”之意。

本章中，我们以一小一大两个示例，来讨论编译期计算这一巧妙技术的应用。

4.1 编译期计算阶乘

编译期计算阶乘是编译期计算技术的经典案例，许多书籍对此均有讨论（往往作为“模板元编程”一章的首个案例）。那么首先，让我们来看看一个普通的阶乘函数的实现：

  1. int Factorial(int N)
  2. {
  3.     return N == 1 ? 1 : N * Factorial(N - 1);
  4. }

这个实现很简单，这里就不对其进行详细讨论了。下面，我们来看看如何将这个函数“翻译”为一个编译期就进行计算并得到结果的“函数”。请看以下示例：

  1. // 递归起点
  2. template <int N>
  3. struct Factorial
  4. {
  5.     static constexpr int Value = N * Factorial<N - 1>::Value;
  6. };
  9. // 递归终点
  10. template <>
  11. struct Factorial<1>
  12. {
  13.     static constexpr int Value = 1;
  14. };
  17. int main()
  18. {
  19.     cout << Factorial<4>::Value;  // 编译期就能获得结果
  20. }

观察上述代码，不难总结出我们的“翻译”规则：

  1. 形参N（运行时值）变为了模板参数N（编译期值）
  2. “N == 1”这样的“if语句”变为了模板特化
  3. 递归变为了创造一个新的模板（Factorial<N - 1>），这也意味着循环也可以通过此种方式实现
  4. “return”变为了一个static constexpr变量

上述四点“翻译”规则几乎就是编译期计算的全部技巧了！接下来，就让我们以一个更复杂的例子来继续讨论这一技术的精彩之处：编译期分数的实现。

4.2 编译期分数

分数，由分子和分母组成。有了上一节的铺垫，我们不难发现：分数正是一个可以使用编译期计算技术的极佳场合。所以首先，我们需要实现一个编译期分数类。编译期分数类的实现非常简单，我们只需要通过一个“构造函数”将模板参数保留下来，作为静态数据成员即可。请看以下示例：

  1. template <long long __Numerator, long long __Denominator>
  2. struct Fraction
  3. {
  4.     // “构造函数”
  5.     static constexpr long long Numerator   = __Numerator;
  6.     static constexpr long long Denominator = __Denominator;
  9.     // 将编译期分数转为编译期浮点数
  10.     template <typename T = double>
  11.     static constexpr T Eval() { return static_cast<T>(Numerator) / static_cast<T>(Denominator); }
  12. };
  15. int main()
  16. {
  17.     // 1/2
  18.     typedef Fraction<1, 2> OneTwo;
  20.     // 0.5
  21.     cout << OneTwo::Eval<>();
  22. }

由使用示例可见：编译期分数的“实例化”只需要一个typedef即可；并且，我们也能通过一个编译期分数得到一个编译期浮点数。

让我们继续讨论下一个问题：如何实现约分和通分？

显然，约分和通分需要“求得两个数的最大公约数和最小公倍数”的算法。所以，我们首先来看看这两个算法的“普通”实现：

  1. // 求得两个数的最大公约数
  2. long long GreatestCommonDivisor(long long lhs, long long rhs)
  3. {
  4.     return rhs == 0 ? lhs : GreatestCommonDivisor(rhs, lhs % rhs);
  5. }
  8. // 求得两个数的最小公倍数
  9. long long LeastCommonMultiple(long long lhs, long long rhs)
  10. {
  11.     return lhs * rhs / GreatestCommonDivisor(lhs, rhs);
  12. }

根据上一节的“翻译规则”，我们不难翻译出以下代码：

  1. // 对应于“return rhs == 0 ? ... : GreatestCommonDivisor(rhs, lhs % rhs)”部分
  2. template <long long LHS, long long RHS>
  3. struct __GreatestCommonDivisor
  4. {
  5.     static constexpr long long __Value = __GreatestCommonDivisor<RHS, LHS % RHS>::__Value;
  6. };
  9. // 对应于“return rhs == 0 ? lhs : ...”部分
  10. template <long long LHS>
  11. struct __GreatestCommonDivisor<LHS, 0>
  12. {
  13.     static constexpr long long __Value = LHS;
  14. };
  17. // 对应于“return lhs * rhs / GreatestCommonDivisor(lhs, rhs)”部分
  18. template <long long LHS, long long RHS>
  19. struct __LeastCommonMultiple
  20. {
  21.     static constexpr long long __Value = LHS * RHS /
  22.         __GreatestCommonDivisor<LHS, RHS>::__Value;
  23. };

有了上面的这两个工具，我们就能够实现出通分和约分了。首先，我们可以改进一开始的Fraction类，在“构造函数”中加入“自动约分”功能。请看以下示例：

  1. template <long long __Numerator, long long __Denominator>
  2. struct Fraction
  3. {
  4.     // 具有“自动约分”功能的“构造函数”
  5.     static constexpr long long Numerator = __Numerator /
  6.         __GreatestCommonDivisor<__Numerator, __Denominator>::__Value;
  8.     static constexpr long long Denominator = __Denominator /
  9.         __GreatestCommonDivisor<__Numerator, __Denominator>::__Value;
  10. };
  13. int main()
  14. {
  15.     // 2/4 => 1/2
  16.     typedef Fraction<2, 4> OneTwo;
  17. }

可以看出，我们只需在“构造函数”中添加对分子、分母同时除以其最大公约数的运算，就能够实现“自动约分”了。

接下来，我们来实现分数的四则运算功能。显然，分数的四则运算的结果还是一个分数，故我们只需要通过using，将“四则运算模板”与“等价的结果分数模板”连接起来即可实现。请看以下示例：

  1. // FractionAdd其实就是一个特殊的编译期分数模板
  2. template <typename LHS, typename RHS>
  3. using FractionAdd = Fraction<
  5.     // 将通分后的分子相加
  6.     LHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__LValue +
  7.     RHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__RValue,
  9.     // 通分后的分母
  10.     __LeastCommonMultiple<LHS::Denominator, RHS::Denominator>::__Value
  12.     // 自动约分
  13. >;
  16. // FractionMinus其实也是一个特殊的编译期分数模板
  17. template <typename LHS, typename RHS>
  18. using FractionMinus = Fraction<
  20.     // 将通分后的分子相减
  21.     LHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__LValue -
  22.     RHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__RValue,
  24.     // 通分后的分母
  25.     __LeastCommonMultiple<LHS::Denominator, RHS::Denominator>::__Value
  27.     // 自动约分
  28. >;
  31. // FractionMultiply其实也是一个特殊的编译期分数模板
  32. template <typename LHS, typename RHS>
  33. using FractionMultiply = Fraction<
  35.     // 分子与分子相乘
  36.     LHS::Numerator * RHS::Numerator,
  38.     // 分母与分母相乘
  39.     LHS::Denominator * RHS::Denominator
  41.     // 自动约分
  42. >;
  45. // FractionDivide其实也是一个特殊的编译期分数模板
  46. template <typename LHS, typename RHS>
  47. using FractionDivide = Fraction<
  49.     // 分子与分母相乘
  50.     LHS::Numerator * RHS::Denominator,
  52.     // 分母与分子相乘
  53.     LHS::Denominator * RHS::Numerator
  55.     // 自动约分
  56. >;
  59. int main()
  60. {
  61.     // 1/2
  62.     typedef Fraction<1, 2> OneTwo;
  64.     // 2/3
  65.     typedef Fraction<2, 3> TwoThree;
  67.     // 2/3 + 1/2 => 7/6
  68.     typedef FractionAdd<TwoThree, OneTwo> TwoThreeAddOneTwo;
  70.     // 2/3 - 1/2 => 1/6
  71.     typedef FractionMinus<TwoThree, OneTwo> TwoThreeMinusOneTwo;
  73.     // 2/3 * 1/2 => 1/3
  74.     typedef FractionMultiply<TwoThree, OneTwo> TwoThreeMultiplyOneTwo;
  76.     // 2/3 / 1/2 => 4/3
  77.     typedef FractionDivide<TwoThree, OneTwo> TwoThreeDivideOneTwo;
  78. }

由此可见，所谓的四则运算，实际上就是一个针对Fraction的using（模板不能使用typedef，只能使用using）罢了。

最后，我们实现分数的比大小功能。这非常简单：只需要先对分母通分，再对分子进行比大小即可。而比大小的结果，就是“比大小模板”的一个数据成员。请看以下示例：

  1. // 这六个模板都进行“先通分，再比较”运算，唯一的区别就在于比较操作符的不同
  3. // “operator==”
  4. template <typename LHS, typename RHS>
  5. struct FractionEqual
  6. {
  7.     static constexpr bool Value =
  8.         LHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__LValue ==
  9.         RHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__RValue;
  10. };
  13. // “operator!=”
  14. template <typename LHS, typename RHS>
  15. struct FractionNotEqual
  16. {
  17.     static constexpr bool Value =
  18.         LHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__LValue !=
  19.         RHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__RValue;
  20. };
  23. // “operator<”
  24. template <typename LHS, typename RHS>
  25. struct FractionLess
  26. {
  27.     static constexpr bool Value =
  28.         LHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__LValue <
  29.         RHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__RValue;
  30. };
  33. // “operator<=”
  34. template <typename LHS, typename RHS>
  35. struct FractionLessEqual
  36. {
  37.     static constexpr bool Value =
  38.         LHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__LValue <=
  39.         RHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__RValue;
  40. };
  43. // “operator>”
  44. template <typename LHS, typename RHS>
  45. struct FractionGreater
  46. {
  47.     static constexpr bool Value =
  48.         LHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__LValue >
  49.         RHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__RValue;
  50. };
  53. // “operato>=”
  54. template <typename LHS, typename RHS>
  55. struct FractionGreaterEqual
  56. {
  57.     static constexpr bool Value =
  58.         LHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__LValue >=
  59.         RHS::Numerator * __CommonPoints<LHS::Denominator, RHS::Denominator>::__RValue;
  60. };
  63. int main()
  64. {
  65.     // 1/2
  66.     typedef Fraction<1, 2> OneTwo;
  68.     // 2/3
  69.     typedef Fraction<2, 3> TwoThree;
  71.     // 1/2 == 2/3 => false
  72.     cout << FractionEqual<OneTwo, TwoThree>::Value << endl;
  74.     // 1/2 != 2/3 => true
  75.     cout << FractionNotEqual<OneTwo, TwoThree>::Value << endl;
  77.     // 1/2 < 2/3 => true
  78.     cout << FractionLess<OneTwo, TwoThree>::Value << endl;
  80.     // 1/2 <= 2/3 => true
  81.     cout << FractionLessEqual<OneTwo, TwoThree>::Value << endl;
  83.     // 1/2 > 2/3 => false
  84.     cout << FractionGreater<OneTwo, TwoThree>::Value << endl;
  86.     // 1/2 >= 2/3 => false
  87.     cout << FractionGreaterEqual<OneTwo, TwoThree>::Value << endl;
  88. }

至此，编译期分数的全部功能就都实现完毕了。不难发现，在编译期分数的使用过程中，我们全程使用的都是typedef，并没有真正的构造任何一个分数，一切计算都已经在编译期完成了。

4.3 本章后记

读完本章，也许你会恍然大悟：“哦！原来模板也能够表达形参、if、while、return等语义！”，进而，也许你会有疑问：“那既然这样，岂不是所有的计算函数都能换成编译期计算了？”。

很可惜，答案是否定的。

我们通过对编译期计算这一技术的优缺点进行总结，从而回答这个问题。编译期计算的目的，是为了完全消除运行时代价，从而在高性能计算场合极大的提高效率；但此技术的缺点也是很多且很明显的：首先，仅仅为了进行一次编译期计算，就有可能进行很多次的模板实例化（比如，为了计算10的阶乘，就要实例化出10个Factorial类），这是一种极大的潜在的编译期代价；其次，并不是任何类型的值都能作为模板参数，如浮点数（虽然我们可以使用编译期分数间接的规避这一限制）、以及任何的类类型值等均不可以，这就使得编译期计算的应用几乎被限定在只需要使用整型和布尔类型的场合中；最后，“递归实例化”在所有的编译器中都是有最大深度限制的（不过幸运的是，在现代编译器中，允许的最大深度其实是比较大的）。但即使如此，由于编译期计算技术使得我们可以进行“抢跑”，在程序还未开始运行时，就计算出各种复杂的结果，从而极大的提升程序的效率，故此技术当然也是瑕不掩瑜的。

5 神奇的“多功能”函数——编译期分派

本章旨在讨论这样的一个问题：

  1. 如何实现一个“多功能函数”，使得单一的“多功能函数”在面对不同类型的参数时，能够自动选择针对当前类型的最佳方案或独特功能？

本章亦将通过一小一大两个案例，来讨论这一问题。

5.1 迭代器的advance函数

STL中的advance函数，可用于将迭代器向前（后）推进N步。显然，不同的迭代器类别对前进这一动作的支持是不一样的：如前向迭代器，只能前进，不能后退；双向迭代器，可双向移动；而随机访问迭代器，不仅可以双向移动，还可以“大跨步地”移动。为了讨论方便，我们首先用数字的加减模拟出这三种不同类别的“迭代器”。请看以下示例：

  1. // 模拟的“前向迭代器”
  2. template <typename T>
  3. class ForwardIterator
  4. {
  5. public:
  7.     // 构造函数
  8.     ForwardIterator(const T &val);
  11.     // operator*
  12.     T &operator*() { return __val; }
  15.     // 只能++
  16.     void operator++(int) { __val++; }
  19. private:
  21.     // 数据成员
  22.     T __val;
  23. };
  26. // 模拟的“双向迭代器”
  27. template <typename T>
  28. class BidirectionalIterator
  29. {
  30. public:
  32.     // 构造函数
  33.     BidirectionalIterator(const T &val);
  36.     // operator*
  37.     T &operator*() { return __val; }
  40.     // 可以++和--
  41.     void operator++(int) { __val++; }
  42.     void operator--(int) { __val--; }
  45. private:
  47.     // 数据成员
  48.     T __val;
  49. };
  52. // 模拟的“随机访问迭代器”
  53. template <typename T>
  54. class RandomAccessIterator
  55. {
  56. public:
  58.     // 构造函数
  59.     RandomAccessIterator(const T &val);
  62.     // operator*
  63.     T &operator*() { return __val; }
  66.     // 不仅可以++和--，还可以直接+=、-=
  67.     void operator++(int) { __val++; }
  68.     void operator--(int) { __val--; }
  69.     void operator+=(int N) { __val += N; }
  70.     void operator-=(int N) { __val -= N; }
  73. private:
  75.     // 数据成员
  76.     T __val;
  77. };
  80. template <typename T>
  81. ForwardIterator<T>::ForwardIterator(const T &val): __val(val) {}
  84. template <typename T>
  85. BidirectionalIterator<T>::BidirectionalIterator(const T &val): __val(val) {}
  88. template <typename T>
  89. RandomAccessIterator<T>::RandomAccessIterator(const T &val): __val(val) {}

此时，我们就可以实现出一个简单的advance函数了。请看以下示例：

  1. template <typename Iterator>
  2. void Advance(Iterator &iter, int N)
  3. {
  4.     for (int _ = 0; _ < N; _++) iter++;
  5. }
  8. int main()
  9. {
  10.     ForwardIterator<int> forwardIterator(0);
  11.     BidirectionalIterator<int> bidirectionalIterator(0);
  12.     RandomAccessIterator<int> randomAccessIterator(0);
  14.     Advance(forwardIterator, 10);
  15.     Advance(bidirectionalIterator, 10);
  16.     Advance(randomAccessIterator, 10);
  18.     cout << *forwardIterator << endl;        // 10
  19.     cout << *bidirectionalIterator << endl;  // 10
  20.     cout << *randomAccessIterator << endl;   // 10
  21. }

上述实现似乎运行正常，但稍加分析不难发现，这一实现具有以下两个主要缺点：

  1. N必须为正数，即使对于（允许N为负数的）双向迭代器和随机访问迭代器而言也是一样
  2. 随机访问迭代器并不需要像此实现这样“步进”，从而造成了效率的浪费

怎么样才能既提供单一接口，又能够让接口有能力分辨出不同的迭代器类别呢？首先，我们需要将“迭代器的类别”这一语义表达出来，可以通过“强行编造”一些空类实现这一语义。请看以下示例：

  1. // “强行编造”的三种不同的迭代器类别
  2. struct ForwardIteratorTag {};
  3. struct BidirectionalIteratorTag {};
  4. struct RandomAccessIteratorTag {};

然后，我们可以为每个迭代器添加一个typedef，从而表示出这个迭代器的类别。请看以下示例：

  1. template <typename T>
  2. class ForwardIterator
  3. {
  4. public:
  6.     // 前向迭代器的类别是ForwardIteratorTag
  7.     typedef ForwardIteratorTag IteratorCategory;
  10.     // ...
  11. };
  14. template <typename T>
  15. class BidirectionalIterator
  16. {
  17. public:
  19.     // 双向迭代器的类别是BidirectionalIteratorTag
  20.     typedef BidirectionalIteratorTag IteratorCategory;
  23.     // ...
  24. };
  27. template <typename T>
  28. class RandomAccessIterator
  29. {
  30. public:
  32.     // 随机访问迭代器的类别是RandomAccessIteratorTag
  33.     typedef RandomAccessIteratorTag IteratorCategory;
  36.     // ...
  37. };

此时，当我们拿到一个迭代器类型Iterator时，我们就可以通过typename Iterator::IteratorCategory来获取到当前迭代器的类别了。

同时，我们可以以迭代器类别作为Advance函数的第三参数，从而重载出多个不同版本的Advance函数。请看以下示例：

  1. // 适用于前向迭代器的版本
  2. template <typename Iterator>
  3. void __Advance(Iterator &iter, int N, ForwardIteratorTag)
  4. {
  5.     for (int _ = 0; _ < N; _++) iter++;
  6. }
  9. // 适用于双向迭代器的版本
  10. template <typename Iterator>
  11. void __Advance(Iterator &iter, int N, BidirectionalIteratorTag)
  12. {
  13.     if (N > 0)
  14.     {
  15.         for (int _ = 0; _ < N; _++) iter++;
  16.     }
  17.     else
  18.     {
  19.         for (int _ = 0; _ < -N; _++) iter--;
  20.     }
  21. }
  24. // 适用于随机访问迭代器的版本
  25. template <typename Iterator>
  26. void __Advance(Iterator &iter, int N, RandomAccessIteratorTag)
  27. {
  28.     iter += N;
  29. }

此时，我们已经拥有了两组工具：

  1. 可以通过typename Iterator::IteratorCategory来获取到当前迭代器的类别
  2. 实现了3个__Advance函数，分别适用于三个迭代器类别

此时，只要我们使用迭代器类别（作为第三参数）去调用__Advance函数，编译器就将根据重载确定规则，选择适用于当前迭代器类别的__Advance函数进行调用了。请看以下示例：

  1. int main()
  2. {
  3.     ForwardIterator<int> forwardIterator(0);
  4.     BidirectionalIterator<int> bidirectionalIterator(0);
  5.     RandomAccessIterator<int> randomAccessIterator(0);
  7.     // 重载确定至__Advance(Iterator &iter, int N, ForwardIteratorTag)版本
  8.     __Advance(forwardIterator, 10, typename ForwardIterator<int>::IteratorCategory());
  10.     // 重载确定至__Advance(Iterator &iter, int N, BidirectionalIteratorTag)版本
  11.     __Advance(bidirectionalIterator, 10, typename BidirectionalIterator<int>::IteratorCategory());
  13.     // 重载确定至__Advance(Iterator &iter, int N, RandomAccessIteratorTag)版本
  14.     __Advance(randomAccessIterator, 10, typename RandomAccessIterator<int>::IteratorCategory());
  16.     cout << *forwardIterator << endl;        // 10
  17.     cout << *bidirectionalIterator << endl;  // 10
  18.     cout << *randomAccessIterator << endl;   // 10
  19. }

这就结束了吗？怎么感觉函数的调用这么麻烦呢？显然还未结束。

不难发现，在任何一个函数的实现代码中，我们都不仅拥有参数值，还拥有每个参数的类型。所以，我们可以再实现一个只有两个参数的函数，并在其内部构造出“typename Iterator::IteratorCategory()”，并调用三个参数的__Advance函数。而这，就是基于重载确定的编译期分派技术。请看以下示例：

  1. // 最终的“多功能函数”
  2. template <typename Iterator>
  3. void Advance(Iterator &iter, int N)
  4. {
  5.     // 根据typename Iterator::IteratorCategory()进行基于重载确定的编译期分派
  6.     __Advance(iter, N, typename Iterator::IteratorCategory());
  7. }
  10. int main()
  11. {
  12.     ForwardIterator<int> forwardIterator(0);
  13.     BidirectionalIterator<int> bidirectionalIterator(0);
  14.     RandomAccessIterator<int> randomAccessIterator(0);
  16.     // 重载确定至__Advance(Iterator &iter, int N, ForwardIteratorTag)版本
  17.     Advance(forwardIterator, 10);
  19.     // 重载确定至__Advance(Iterator &iter, int N, BidirectionalIteratorTag)版本
  20.     Advance(bidirectionalIterator, 10);
  22.     // 重载确定至__Advance(Iterator &iter, int N, RandomAccessIteratorTag)版本
  23.     Advance(randomAccessIterator, 10);
  25.     cout << *forwardIterator << endl;        // 10
  26.     cout << *bidirectionalIterator << endl;  // 10
  27.     cout << *randomAccessIterator << endl;   // 10
  28. }

至此，我们就完成了Advance这个“多功能函数”的实现。但最后，我们还有一个重要问题需要解决：指针也是迭代器，那么指针的迭代器类型（当然是随机访问迭代器）怎么获取？

也许不用我说，你就已经知道答案了，解决方案就是“加中间层可解决一切问题”定理。我们可以为“获取迭代器类型”这一操作添加一个中间层，并在此中间层中，对指针类型进行特化。请看以下示例：

  1. // 迭代器的迭代器类型
  2. template <typename Iterator>
  3. struct IteratorTraits
  4. {
  5.     typedef typename Iterator::IteratorCategory IteratorCategory;
  6. };
  9. // 指针的迭代器类型
  10. template <typename T>
  11. struct IteratorTraits<T *>
  12. {
  13.     typedef RandomAccessIteratorTag IteratorCategory;
  14. };

同时，我们还需要将上面的Advance函数中的“简单粗暴的typename Iterator::IteratorCategory”替换为我们刚刚实现的IteratorTraits方法：

  1. template <typename Iterator>
  2. void Advance(Iterator &iter, int N)
  3. {
  4.     // 根据typename IteratorTraits<Iterator>::IteratorCategory()进行基于重载确定的编译期分派
  5.     __Advance(iter, N, typename IteratorTraits<Iterator>::IteratorCategory());
  6. }

至此，Advance函数的实现也就全部完成了。

接下来，我们以一个更为复杂，也更为神奇的功能，继续讨论编译期分派这一技术。

5.2 “万能的”打印函数

本节将要实现的功能，其最终使用起来十分简单：

  1. print(X);  // "X"可以是任何值！

没错，这是一个可以打印任何值的函数！通过上一节的铺垫，我们知道：作为实现者，我们不仅可以得到X的值，还能“顺便”得到X的类型。所以，我们就可以在X的类型上大做文章，针对不同的类型实现出不同的打印函数，最后，通过这个print函数进行编译期分派，从而实现出这一神奇的函数。

首先应该实现什么呢？不难发现，X可以是一个“可以直接cout的值”、（支持迭代器的）容器、Pair、Tuple、Stack、Queue等类别。所以，我们首先需要对X的这些不同的类别进行分类，通过创建很多空的Tag类即可实现此功能。请看以下示例：

  1. // 默认类别
  2. struct __CommonTag {};
  4. // 线性容器类别
  5. struct __SequenceContainerTag {};
  7. // Map容器类别
  8. struct __MapContainerTag {};
  10. // Set容器类别
  11. struct __SetContainerTag {};
  13. // Pair类别
  14. struct __PairTag {};
  16. // Map中的Pair类别
  17. struct __MapPairTag {};
  19. // Tuple类别
  20. struct __TupleTag {};
  22. // Stack类别
  23. struct __StackTag {};
  25. // Queue类别
  26. struct __QueueTag {};

然后，通过建立一系列的Traits，我们就可以将X的类型映射到这些Tag上：

  1. // 如果T不是下面所提及的类型中的任何一种，那么T的类别就是__CommonTag（即：“可以直接cout的类型”）
  2. template <typename T>
  3. struct __CategoryTraits
  4. {
  5.     typedef __CommonTag __Category;
  6. };
  9. // array<T, N>的类别是__SequenceContainerTag
  10. template <typename T, size_t N>
  11. struct __CategoryTraits<array<T, N>>
  12. {
  13.     typedef __SequenceContainerTag __Category;
  14. };
  17. // deque<T>的类别是__SequenceContainerTag
  18. template <typename T>
  19. struct __CategoryTraits<deque<T>>
  20. {
  21.     typedef __SequenceContainerTag __Category;
  22. };
  25. // forward_list<T>的类别是__SequenceContainerTag
  26. template <typename T>
  27. struct __CategoryTraits<forward_list<T>>
  28. {
  29.     typedef __SequenceContainerTag __Category;
  30. };
  33. // list<T>的类别是__SequenceContainerTag
  34. template <typename T>
  35. struct __CategoryTraits<list<T>>
  36. {
  37.     typedef __SequenceContainerTag __Category;
  38. };
  41. // vector<T>的类别是__SequenceContainerTag
  42. template <typename T>
  43. struct __CategoryTraits<vector<T>>
  44. {
  45.     typedef __SequenceContainerTag __Category;
  46. };
  49. // map<K, V>的类别是__MapContainerTag
  50. template <typename K, typename V>
  51. struct __CategoryTraits<map<K, V>>
  52. {
  53.     typedef __MapContainerTag __Category;
  54. };
  57. // multimap<K, V>的类别是__MapContainerTag
  58. template <typename K, typename V>
  59. struct __CategoryTraits<multimap<K, V>>
  60. {
  61.     typedef __MapContainerTag __Category;
  62. };
  65. // unordered_map<K, V>的类别是__MapContainerTag
  66. template <typename K, typename V>
  67. struct __CategoryTraits<unordered_map<K, V>>
  68. {
  69.     typedef __MapContainerTag __Category;
  70. };
  73. // unordered_multimap<K, V>的类别是__MapContainerTag
  74. template <typename K, typename V>
  75. struct __CategoryTraits<unordered_multimap<K, V>>
  76. {
  77.     typedef __MapContainerTag __Category;
  78. };
  81. // set<T>的类别是__SetContainerTag
  82. template <typename T>
  83. struct __CategoryTraits<set<T>>
  84. {
  85.     typedef __SetContainerTag __Category;
  86. };
  89. // multiset<T>的类别是__SetContainerTag
  90. template <typename T>
  91. struct __CategoryTraits<multiset<T>>
  92. {
  93.     typedef __SetContainerTag __Category;
  94. };
  97. // unordered_set<T>的类别是__SetContainerTag
  98. template <typename T>
  99. struct __CategoryTraits<unordered_set<T>>
  100. {
  101.     typedef __SetContainerTag __Category;
  102. };
  105. // unordered_multiset<T>的类别是__SetContainerTag
  106. template <typename T>
  107. struct __CategoryTraits<unordered_multiset<T>>
  108. {
  109.     typedef __SetContainerTag __Category;
  110. };
  113. // pair<T1, T2>的类别是__PairTag
  114. template <typename T1, typename T2>
  115. struct __CategoryTraits<pair<T1, T2>>
  116. {
  117.     typedef __PairTag __Category;
  118. };
  121. // tuple<Types...>的类别是__TupleTag
  122. template <typename... Types>
  123. struct __CategoryTraits<tuple<Types...>>
  124. {
  125.     typedef __TupleTag __Category;
  126. };
  129. // stack<T>的类别是__StackTag
  130. template <typename T>
  131. struct __CategoryTraits<stack<T>>
  132. {
  133.     typedef __StackTag __Category;
  134. };
  137. // queue<T>的类别是__QueueTag
  138. template <typename T>
  139. struct __CategoryTraits<queue<T>>
  140. {
  141.     typedef __QueueTag __Category;
  142. };
  145. // priority_queue<T>的类别是__StackTag
  146. template <typename T>
  147. struct __CategoryTraits<priority_queue<T>>
  148. {
  149.     typedef __StackTag __Category;
  150. };

接下来需要解决的问题是：我们希望面对类似于一维数组这样的“较小的值”和类似于高维数组这样的“较大的值”时，能够采用或紧凑，或分散的不同的打印格式。具体什么是“较小的值”呢？这里，我们认为：如果X本身的类别就是__CommonTag，或X中的值（前提是X本身的类别不是__CommonTag）的类别是__CommonTag，则认为X是一个“较小的值”，采取紧凑的打印格式，否则，就认为X是一个“较大的值”，采取分散的打印格式。

那么，我们就又引出了一个问题：对于某些类型，如Pair和Tuple，其中的各个元素的类型是不一样的，即：各个元素的类别也是不一样的；同时，很显然，当我们面对多个类别时，只要其中有一个类别不是__CommonTag，那么我们就应当认为这些类别的“最强大类别”不是__CommonTag。因此，我们首先需要实现一个获取“最强大类别”的Traits。请看以下示例：

  1. // 原型
  2. // 通过typename __CategoryPromotionTraits<Tags...>::__Category获取“最强大类别”
  3. template <typename... Tags>
  4. struct __CategoryPromotionTraits;
  7. // 如果有两个任意的类别，则随便选一个类别作为“更强大类别”即可...
  8. template <typename Tag1, typename Tag2>
  9. struct __CategoryPromotionTraits<Tag1, Tag2>
  10. {
  11.     typedef Tag1 __Category;
  12. };
  15. // ...但是，如果右类别是__CommonTag，则“更强大类别”需要“敬而远之”...
  16. template <typename Tag1>
  17. struct __CategoryPromotionTraits<Tag1, __CommonTag>
  18. {
  19.     typedef Tag1 __Category;
  20. };
  23. // ...同理，如果左类别是__CommonTag，则“更强大类别”也需要“敬而远之”...
  24. template <typename Tag2>
  25. struct __CategoryPromotionTraits<__CommonTag, Tag2>
  26. {
  27.     typedef Tag2 __Category;
  28. };
  31. // ...只有当“你我都是普通人”时，“更强大类别”才是__CommonTag
  32. template <>
  33. struct __CategoryPromotionTraits<__CommonTag, __CommonTag>
  34. {
  35.     typedef __CommonTag __Category;
  36. };
  39. // 面对不止两个类别时，“最强大类别”应该是Tag1与Tags...的“最强大类别”之间的“更强大类别”
  40. template <typename Tag1, typename... Tags>
  41. struct __CategoryPromotionTraits<Tag1, Tags...>
  42. {
  43.     typedef typename __CategoryPromotionTraits<
  44.         Tag1,
  45.         typename __CategoryPromotionTraits<Tags...>::__Category
  46.     >::__Category __Category;
  47. };

接下来，我们就来实现能够获取X中的元素的类别（即X的“子类别”）的Traits：

  1. // 原型
  2. // 通过typename __SubCategoryTraits<X的类别, X的类型>::__Category获取X中的元素的类别
  3. template <typename Tag, typename T>
  4. struct __SubCategoryTraits;
  7. // __CommonTag没有子类别
  8. template <typename T>
  9. struct __SubCategoryTraits<__CommonTag, T>
  10. {
  11.     typedef void __Category;
  12. };
  15. // __SequenceContainerTag的子类别就是T::value_type的类别
  16. template <typename T>
  17. struct __SubCategoryTraits<__SequenceContainerTag, T>
  18. {
  19.     typedef typename __CategoryTraits<typename T::value_type>::__Category __Category;
  20. };
  23. // __MapContainerTag的子类别一定是__MapPairTag
  24. template <typename T>
  25. struct __SubCategoryTraits<__MapContainerTag, T>
  26. {
  27.     typedef __MapPairTag __Category;
  28. };
  31. // __SetContainerTag的子类别就是T::value_type的类别
  32. template <typename T>
  33. struct __SubCategoryTraits<__SetContainerTag, T>
  34. {
  35.     typedef typename __CategoryTraits<typename T::value_type>::__Category __Category;
  36. };
  39. // __MapPairTag的子类别是T::first_type的类别与T::second_type的类别之间的“更强大类别”
  40. template <typename T>
  41. struct __SubCategoryTraits<__MapPairTag, T>
  42. {
  43.     typedef typename __CategoryPromotionTraits<
  44.         typename __CategoryTraits<typename T::first_type>::__Category,
  45.         typename __CategoryTraits<typename T::second_type>::__Category
  46.     >::__Category __Category;
  47. };
  50. // 和__MapPairTag一样
  51. // __PairTag的子类别也是T::first_type的类别与T::second_type的类别之间的“更强大类别”
  52. template <typename T>
  53. struct __SubCategoryTraits<__PairTag, T>
  54. {
  55.     typedef typename __CategoryPromotionTraits<
  56.         typename __CategoryTraits<typename T::first_type>::__Category,
  57.         typename __CategoryTraits<typename T::second_type>::__Category
  58.     >::__Category __Category;
  59. };
  62. // __TupleTag的子类别是各个Types的类别之中的“最强大类别”
  63. template <typename... Types>
  64. struct __SubCategoryTraits<__TupleTag, tuple<Types...>>
  65. {
  66.     typedef typename __CategoryPromotionTraits<
  67.         typename __CategoryTraits<Types>::__Category...
  68.     >::__Category __Category;
  69. };
  72. // __StackTag的子类别就是T::value_type的类别
  73. template <typename T>
  74. struct __SubCategoryTraits<__StackTag, T>
  75. {
  76.     typedef typename __CategoryTraits<typename T::value_type>::__Category __Category;
  77. };
  80. // __QueueTag的子类别就是T::value_type的类别
  81. template <typename T>
  82. struct __SubCategoryTraits<__QueueTag, T>
  83. {
  84.     typedef typename __CategoryTraits<typename T::value_type>::__Category __Category;
  85. };

有了__CategoryTraits和__SubCategoryTraits这两个工具，我们的准备工作也就基本上完成了。接下来是最后的一些简单的准备工作：

  1. 我们需要定义一些控制打印样式的字符或字符串常量。请看以下示例：
  1. // 缩进空白字符
  2. const char   __SPACE                    = ' ';
  4. // 单次缩进长度
  5. const int    __INDENTATION_LEN          = 4;
  7. // 元素之间的分隔符
  8. const string __VALUE_SPLICE             = ", ";
  10. // 行末分隔符
  11. const char   __LINE_END                 = ',';
  13. // 线性容器类别的左右定界符
  14. const char   __SEQUENCE_CONTAINER_BEGIN = '[';
  15. const char   __SEQUENCE_CONTAINER_END   = ']';
  17. // Map容器类别的左右定界符
  18. const char   __MAP_CONTAINER_BEGIN      = '{';
  19. const char   __MAP_CONTAINER_END        = '}';
  21. // Set容器类别的左右定界符
  22. const char   __SET_CONTAINER_BEGIN      = '{';
  23. const char   __SET_CONTAINER_END        = '}';
  25. // Pair类别的左右定界符
  26. const char   __PAIR_BEGIN               = '(';
  27. const char   __PAIR_END                 = ')';
  29. // Map中的Pair类别的左右定界符
  30. const char   __MAP_PAIR_BEGIN           = '(';
  31. const char   __MAP_PAIR_END             = ')';
  33. // Map中的Pair类别的键值对分隔符
  34. const string __MAP_PAIR_SPLICE          = ": ";
  36. // Map中的Pair类别的键值对行末分隔符
  37. const char   __MAP_PAIR_LINE_END        = ':';
  39. // Tuple容器类别的左右定界符
  40. const char   __TUPLE_BEGIN              = '(';
  41. const char   __TUPLE_END                = ')';
  43. // Stack容器类别的左右定界符
  44. const char   __STACK_BEGIN              = '[';
  45. const char   __STACK_END                = ']';
  47. // Queue容器类别的左右定界符
  48. const char   __QUEUE_BEGIN              = '[';
  49. const char   __QUEUE_END                = ']';
  1. 对于Stack<int>，如果我们将1，2，3依次入栈，则取出时只能按3，2，1的顺序出栈，这将造成很奇怪的打印效果。所以我们需要一个简单的函数，用于将Stack反序。请看以下示例：
  1. template <typename T>
  2. T __reverseStack(T oriStack)  // 必须使用值传递
  3. {
  4.     T reverseStack;
  6.     while (!oriStack.empty())
  7.     {
  8.         reverseStack.push(oriStack.top());
  9.         oriStack.pop();
  10.     }
  12.     return reverseStack;
  13. }

终于可以开始着手实现最重要的print函数了！这里我们通过实现很多个__PrintData类的特化来实现针对不同类别及其子类别组合的编译期分派。那么，__PrintData类需要哪些模板参数呢？X的类别、X的子类别、X的类型，显然都是需要的，此外，我们还需要在模板参数中维护一个整数，用于使每个模板都能够知道“我在第几层？”，以实现打印时的缩进控制。请看以下示例：

  1. // 原型
  2. // 通过__PrintData<SelfTag, SubTag, T, N>::__Print(val)打印val
  3. template <typename SelfTag, typename SubTag, typename T, int N>
  4. struct __PrintData;
  7. // 打印__CommonTag类别的值（__CommonTag的子类别一定是void），采用紧凑的打印格式
  8. template <typename T, int N>
  9. struct __PrintData<__CommonTag, void, T, N>
  10. {
  11.     static void __Print(const T &val);
  12. };
  15. // 打印__SequenceContainerTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  16. template <typename SubTag, typename T, int N>
  17. struct __PrintData<__SequenceContainerTag, SubTag, T, N>
  18. {
  19.     static void __Print(const T &val);
  20. };
  23. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  24. template <typename T, int N>
  25. struct __PrintData<__SequenceContainerTag, __CommonTag, T, N>
  26. {
  27.     static void __Print(const T &val);
  28. };
  31. // 打印__MapContainerTag类别 + __MapPairTag子类别组合的值，采用宽松的打印格式
  32. template <typename T, int N>
  33. struct __PrintData<__MapContainerTag, __MapPairTag, T, N>
  34. {
  35.     static void __Print(const T &val);
  36. };
  39. // 打印__SetContainerTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  40. template <typename SubTag, typename T, int N>
  41. struct __PrintData<__SetContainerTag, SubTag, T, N>
  42. {
  43.     static void __Print(const T &val);
  44. };
  47. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  48. template <typename T, int N>
  49. struct __PrintData<__SetContainerTag, __CommonTag, T, N>
  50. {
  51.     static void __Print(const T &val);
  52. };
  55. // 打印__PairTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  56. template <typename SubTag, typename T, int N>
  57. struct __PrintData<__PairTag, SubTag, T, N>
  58. {
  59.     static void __Print(const T &val);
  60. };
  63. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  64. template <typename T, int N>
  65. struct __PrintData<__PairTag, __CommonTag, T, N>
  66. {
  67.     static void __Print(const T &val);
  68. };
  71. // 打印__MapPairTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  72. template <typename SubTag, typename T, int N>
  73. struct __PrintData<__MapPairTag, SubTag, T, N>
  74. {
  75.     static void __Print(const T &val);
  76. };
  79. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  80. template <typename T, int N>
  81. struct __PrintData<__MapPairTag, __CommonTag, T, N>
  82. {
  83.     static void __Print(const T &val);
  84. };
  87. // 打印__TupleTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  88. template <typename SubTag, typename T, int N>
  89. struct __PrintData<__TupleTag, SubTag, T, N>
  90. {
  91.     static void __Print(const T &val);
  92. };
  95. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  96. template <typename T, int N>
  97. struct __PrintData<__TupleTag, __CommonTag, T, N>
  98. {
  99.     static void __Print(const T &val);
  100. };
  103. // 打印__StackTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  104. template <typename SubTag, typename T, int N>
  105. struct __PrintData<__StackTag, SubTag, T, N>
  106. {
  107.     static void __Print(const T &val);
  108. };
  111. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  112. template <typename T, int N>
  113. struct __PrintData<__StackTag, __CommonTag, T, N>
  114. {
  115.     static void __Print(const T &val);
  116. };
  119. // 打印__QueueTag + 任意子类别组合的值，采用宽松的打印格式...
  120. template <typename SubTag, typename T, int N>
  121. struct __PrintData<__QueueTag, SubTag, T, N>
  122. {
  123.     static void __Print(T val);
  124. };
  127. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  128. template <typename T, int N>
  129. struct __PrintData<__QueueTag, __CommonTag, T, N>
  130. {
  131.     static void __Print(T val);
  132. };

以下是除了Tuple以外的（Tuple的打印函数的实现我们将在稍后讨论）各个打印函数的实现：

  1. // 打印__CommonTag类别的值（__CommonTag的子类别一定是void），采用紧凑的打印格式
  2. template <typename T, int N>
  3. void __PrintData<__CommonTag, void, T, N>::__Print(const T &val)
  4. {
  5.     // 直接打印缩进与val
  6.     cout << string(N * __INDENTATION_LEN, __SPACE) << val;
  7. }
  10. // 打印__SequenceContainerTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  11. template <typename SubTag, typename T, int N>
  12. void __PrintData<__SequenceContainerTag, SubTag, T, N>::__Print(const T &val)
  13. {
  14.     // 打印缩进与线性容器类别的左定界符，然后换行
  15.     cout << string(N * __INDENTATION_LEN, __SPACE) << __SEQUENCE_CONTAINER_BEGIN << endl;
  17.     for (auto &subVal: val)
  18.     {
  19.         // 缩进层数+1，使用线性容器中的元素的__PrintData版本，依次打印线性容器中的每个元素
  20.         __PrintData<
  21.             SubTag,
  22.             typename __SubCategoryTraits<SubTag, typename T::value_type>::__Category,
  23.             typename T::value_type,
  24.             N + 1
  25.         >::__Print(subVal);
  27.         // 打印行末分隔符后换行
  28.         cout << __LINE_END << endl;
  29.     }
  31.     // 打印缩进与线性容器类别的右定界符
  32.     cout << string(N * __INDENTATION_LEN, __SPACE) << __SEQUENCE_CONTAINER_END;
  33. }
  36. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  37. template <typename T, int N>
  38. void __PrintData<__SequenceContainerTag, __CommonTag, T, N>::__Print(const T &val)
  39. {
  40.     // 打印缩进与线性容器类别的左定界符
  41.     cout << string(N * __INDENTATION_LEN, __SPACE) << __SEQUENCE_CONTAINER_BEGIN;
  43.     // 不换行，依次打印线性容器中的每个元素，以及元素之间的分隔符
  44.     if (!val.empty())
  45.     {
  46.         cout << val.front();
  48.         for (auto iter = next(val.begin()); iter != val.end(); iter++)
  49.         {
  50.             cout << __VALUE_SPLICE << *iter;
  51.         }
  52.     }
  54.     // 打印线性容器类别的右定界符
  55.     cout << __SEQUENCE_CONTAINER_END;
  56. }
  59. // 打印__MapContainerTag类别 + __MapPairTag子类别组合的值，采用宽松的打印格式
  60. template <typename T, int N>
  61. void __PrintData<__MapContainerTag, __MapPairTag, T, N>::__Print(const T &val)
  62. {
  63.     // 打印缩进与Map容器类别的左定界符，然后换行
  64.     cout << string(N * __INDENTATION_LEN, __SPACE) << __MAP_CONTAINER_BEGIN << endl;
  66.     for (auto &subVal: val)
  67.     {
  68.         // 缩进层数+1，直接使用__MapPairTag类别以及Map容器的子类别生成__PrintData，用于打印Map中的Pair
  69.         __PrintData<
  70.             __MapPairTag,
  71.             typename __SubCategoryTraits<__MapPairTag, typename T::value_type>::__Category,
  72.             typename T::value_type,
  73.             N + 1
  74.         >::__Print(subVal);
  76.         // 打印行末分隔符后换行
  77.         cout << __LINE_END << endl;
  78.     }
  80.     // 打印缩进与Map容器类别的右定界符
  81.     cout << string(N * __INDENTATION_LEN, __SPACE) << __MAP_CONTAINER_END;
  82. }
  85. // 打印__SetContainerTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  86. template <typename SubTag, typename T, int N>
  87. void __PrintData<__SetContainerTag, SubTag, T, N>::__Print(const T &val)
  88. {
  89.     // 打印缩进与Set容器类别的左定界符，然后换行
  90.     cout << string(N * __INDENTATION_LEN, __SPACE) << __SET_CONTAINER_BEGIN << endl;
  92.     for (auto &subVal: val)
  93.     {
  94.         // 缩进层数+1，使用Set容器中的元素的__PrintData版本，依次打印Set容器中的每个元素
  95.         __PrintData<
  96.             SubTag,
  97.             typename __SubCategoryTraits<SubTag, typename T::value_type>::__Category,
  98.             typename T::value_type,
  99.             N + 1
  100.         >::__Print(subVal);
  102.         // 打印行末分隔符后换行
  103.         cout << __LINE_END << endl;
  104.     }
  106.     // 打印缩进与Set容器类别的右定界符
  107.     cout << string(N * __INDENTATION_LEN, __SPACE) << __SET_CONTAINER_END;
  108. }
  111. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  112. template <typename T, int N>
  113. void __PrintData<__SetContainerTag, __CommonTag, T, N>::__Print(const T &val)
  114. {
  115.     // 打印缩进与Set容器类别的左定界符
  116.     cout << string(N * __INDENTATION_LEN, __SPACE) << __SET_CONTAINER_BEGIN;
  118.     // 不换行，依次打印Set容器中的每个元素，以及元素之间的分隔符
  119.     if (!val.empty())
  120.     {
  121.         cout << *val.begin();
  123.         for (auto iter = next(val.begin()); iter != val.end(); iter++)
  124.         {
  125.             cout << __VALUE_SPLICE << *iter;
  126.         }
  127.     }
  129.     // 打印Set容器类别的右定界符
  130.     cout << __SET_CONTAINER_END;
  131. }
  134. // 打印__PairTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  135. template <typename SubTag, typename T, int N>
  136. void __PrintData<__PairTag, SubTag, T, N>::__Print(const T &val)
  137. {
  138.     // 打印缩进与Pair类别的左定界符，然后换行
  139.     cout << string(N * __INDENTATION_LEN, __SPACE) << __PAIR_BEGIN << endl;
  141.     // 缩进层数+1，使用val.first的__PrintData版本打印val.first
  142.     __PrintData<
  144.         typename __CategoryTraits<typename T::first_type>::__Category,
  146.         typename __SubCategoryTraits<
  147.             typename __CategoryTraits<typename T::first_type>::__Category,
  148.             typename T::first_type
  149.         >::__Category,
  151.         typename T::first_type,
  153.         N + 1
  155.     >::__Print(val.first);
  157.     // 打印行末分隔符后换行
  158.     cout << __LINE_END << endl;
  160.     // 缩进层数+1，使用val.second的__PrintData版本打印val.second
  161.     __PrintData<
  163.         typename __CategoryTraits<typename T::second_type>::__Category,
  165.         typename __SubCategoryTraits<
  166.             typename __CategoryTraits<typename T::second_type>::__Category,
  167.             typename T::second_type
  168.         >::__Category,
  170.         typename T::second_type,
  172.         N + 1
  174.     >::__Print(val.second);
  176.     // 打印行末分隔符后换行，再打印缩进与Pair类别的右定界符
  177.     cout << __LINE_END << endl << string(N * __INDENTATION_LEN, __SPACE) << __PAIR_END;
  178. }
  181. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  182. template <typename T, int N>
  183. void __PrintData<__PairTag, __CommonTag, T, N>::__Print(const T &val)
  184. {
  185.     // 直接依次打印缩进、Pair类别的左定界符、val.first、元素之间的分隔符、
  186.     // val.second以及Pair类别的右定界符
  187.     cout << string(N * __INDENTATION_LEN, __SPACE) << __PAIR_BEGIN <<
  188.         val.first << __VALUE_SPLICE << val.second << __PAIR_END;
  189. }
  192. // 打印__MapPairTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  193. // 此版本的实现与__PrintData<__PairTag, SubTag, T, N>版本高度相似
  194. // 唯一的区别在于定界符的选取不同
  195. template <typename SubTag, typename T, int N>
  196. void __PrintData<__MapPairTag, SubTag, T, N>::__Print(const T &val)
  197. {
  198.     // 打印缩进与Map中的Pair类别的左定界符，然后换行
  199.     cout << string(N * __INDENTATION_LEN, __SPACE) << __MAP_PAIR_BEGIN << endl;
  201.     // 缩进层数+1，使用val.first的__PrintData版本打印val.first
  202.     __PrintData<
  204.         typename __CategoryTraits<typename T::first_type>::__Category,
  206.         typename __SubCategoryTraits<
  207.             typename __CategoryTraits<typename T::first_type>::__Category,
  208.             typename T::first_type
  209.         >::__Category,
  211.         typename T::first_type,
  213.         N + 1
  215.     >::__Print(val.first);
  217.     // 打印Map中的Pair类别的键值对行末分隔符后换行
  218.     cout << __MAP_PAIR_LINE_END << endl;
  220.     // 缩进层数+1，使用val.second的__PrintData版本打印val.second
  221.     __PrintData<
  223.         typename __CategoryTraits<typename T::second_type>::__Category,
  225.         typename __SubCategoryTraits<
  226.             typename __CategoryTraits<typename T::second_type>::__Category,
  227.             typename T::second_type
  228.         >::__Category,
  230.         typename T::second_type,
  232.         N + 1
  234.     >::__Print(val.second);
  236.     // 打印行末分隔符后换行，再打印缩进与Map中的Pair类别的右定界符
  237.     cout << __LINE_END << endl << string(N * __INDENTATION_LEN, __SPACE) << __MAP_PAIR_END;
  238. }
  241. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  242. // 此版本的实现与__PrintData<__PairTag, __CommonTag, T, N>版本高度相似
  243. // 唯一的区别在于定界符的选取不同
  244. template <typename T, int N>
  245. void __PrintData<__MapPairTag, __CommonTag, T, N>::__Print(const T &val)
  246. {
  247.     // 直接依次打印缩进、Map中的Pair类别的左定界符、val.first、
  248.     // Map中的Pair类别的键值对分隔符、val.second以及Map中的Pair类别的右定界符
  249.     cout << string(N * __INDENTATION_LEN, __SPACE) << __MAP_PAIR_BEGIN <<
  250.         val.first << __MAP_PAIR_SPLICE << val.second << __MAP_PAIR_END;
  251. }
  254. // 打印__StackTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  255. template <typename SubTag, typename T, int N>
  256. void __PrintData<__StackTag, SubTag, T, N>::__Print(const T &val)
  257. {
  258.     // 得到一个反序的Stack
  259.     T reverseVal = __reverseStack(val);
  261.     // 打印缩进与Stack容器类别的左定界符，然后换行
  262.     cout << string(N * __INDENTATION_LEN, __SPACE) << __STACK_BEGIN << endl;
  264.     while (!reverseVal.empty())
  265.     {
  266.         // 缩进层数+1，使用Stack容器中的元素的__PrintData版本，依次打印Stack容器中的每个元素
  267.         __PrintData<
  268.             SubTag,
  269.             typename __SubCategoryTraits<SubTag, typename T::value_type>::__Category,
  270.             typename T::value_type,
  271.             N + 1
  272.         >::__Print(reverseVal.top());
  274.         // 打印行末分隔符后换行
  275.         cout << __LINE_END << endl;
  277.         // 出栈
  278.         reverseVal.pop();
  279.     }
  281.     // 打印缩进与Stack容器类别的右定界符
  282.     cout << string(N * __INDENTATION_LEN, __SPACE) << __STACK_END;
  283. }
  286. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  287. template <typename T, int N>
  288. void __PrintData<__StackTag, __CommonTag, T, N>::__Print(const T &val)
  289. {
  290.     // 得到一个反序的Stack
  291.     T reverseVal = __reverseStack(val);
  293.     // 打印缩进与Stack容器类别的左定界符
  294.     cout << string(N * __INDENTATION_LEN, __SPACE) << __STACK_BEGIN;
  296.     // 不换行，依次打印Stack容器中的每个元素，以及元素之间的分隔符
  297.     if (!reverseVal.empty())
  298.     {
  299.         cout << reverseVal.top();
  300.         reverseVal.pop();
  302.         while (!reverseVal.empty())
  303.         {
  304.             cout << __VALUE_SPLICE << reverseVal.top();
  305.             reverseVal.pop();
  306.         }
  307.     }
  309.     // 打印Stack容器类别的右定界符
  310.     cout << __STACK_END;
  311. }
  314. // 打印__QueueTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  315. template <typename SubTag, typename T, int N>
  316. void __PrintData<__QueueTag, SubTag, T, N>::__Print(T val)
  317. {
  318.     // 打印缩进与Queue容器类别的左定界符，然后换行
  319.     cout << string(N * __INDENTATION_LEN, __SPACE) << __QUEUE_BEGIN << endl;
  321.     while (!val.empty())
  322.     {
  323.         // 缩进层数+1，使用Queue容器中的元素的__PrintData版本，依次打印Queue容器中的每个元素
  324.         __PrintData<
  325.             SubTag,
  326.             typename __SubCategoryTraits<SubTag, typename T::value_type>::__Category,
  327.             typename T::value_type,
  328.             N + 1
  329.         >::__Print(val.front());
  331.         // 打印行末分隔符后换行
  332.         cout << __LINE_END << endl;
  334.         // 出队列
  335.         val.pop();
  336.     }
  338.     // 打印缩进与Queue容器类别的右定界符
  339.     cout << string(N * __INDENTATION_LEN, __SPACE) << __QUEUE_END;
  340. }
  343. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  344. template <typename T, int N>
  345. void __PrintData<__QueueTag, __CommonTag, T, N>::__Print(T val)
  346. {
  347.     // 打印缩进与Queue容器类别的左定界符
  348.     cout << string(N * __INDENTATION_LEN, __SPACE) << __QUEUE_BEGIN;
  350.     // 不换行，依次打印Queue容器中的每个元素，以及元素之间的分隔符
  351.     if (!val.empty())
  352.     {
  353.         cout << val.front();
  354.         val.pop();
  356.         while (!val.empty())
  357.         {
  358.             cout << __VALUE_SPLICE << val.front();
  359.             val.pop();
  360.         }
  361.     }
  363.     // 打印Queue容器类别的右定界符
  364.     cout << __QUEUE_END;
  365. }

怎么打印Tuple？虽然Tuple不能通过真正的for循环进行遍历，但我们可以使用编译期的“for循环”对Tuple进行“遍历”。请看以下示例：

  1. // 以紧凑（单行）的打印格式打印Tuple
  2. // 从“索引值”0，向“最大索引值”TopIdx进行“迭代”
  3. template <typename T, int Idx, int TopIdx>
  4. struct __PrintTupleOneLine
  5. {
  6.     static void __Print(const T &val);
  7. };
  10. // 当Idx == TopIdx时，“迭代”结束
  11. template <typename T, int TopIdx>
  12. struct __PrintTupleOneLine<T, TopIdx, TopIdx>
  13. {
  14.     static void __Print(const T &val) {}
  15. };
  18. // 以宽松（多行）的打印格式打印Tuple
  19. // 从“索引值”0，向“最大索引值”TopIdx进行“迭代”
  20. template <typename T, int N, int Idx, int TopIdx>
  21. struct __PrintTupleMultiLine
  22. {
  23.     static void __Print(const T &val);
  24. };
  27. // 当Idx == TopIdx时，“迭代”结束
  28. template <typename T, int N, int TopIdx>
  29. struct __PrintTupleMultiLine<T, N, TopIdx, TopIdx>
  30. {
  31.     static void __Print(const T &val) {}
  32. };
  35. template <typename T, int Idx, int TopIdx>
  36. void __PrintTupleOneLine<T, Idx, TopIdx>::__Print(const T &val)
  37. {
  38.     // 打印“val[Idx]”
  39.     cout << get<Idx>(val);
  41.     // 如果“val[Idx]”不是Tuple的最后一个元素，则打印元素之间的分隔符
  42.     if (Idx + 1 < TopIdx)
  43.     {
  44.         cout << __VALUE_SPLICE;
  45.     }
  47.     // 继续打印“val[Idx + 1]”...
  48.     __PrintTupleOneLine<T, Idx + 1, TopIdx>::__Print(val);
  49. }
  52. template <typename T, int N, int Idx, int TopIdx>
  53. void __PrintTupleMultiLine<T, N, Idx, TopIdx>::__Print(const T &val)
  54. {
  55.     // 缩进层数+1，使用“val[Idx]”的__PrintData版本打印“val[Idx]”
  56.     __PrintData<
  58.         typename __CategoryTraits<typename tuple_element<Idx, T>::type>::__Category,
  60.         typename __SubCategoryTraits<
  61.             typename __CategoryTraits<typename tuple_element<Idx, T>::type>::__Category,
  62.             typename tuple_element<Idx, T>::type
  63.         >::__Category,
  65.         typename tuple_element<Idx, T>::type,
  67.         N + 1
  69.     >::__Print(get<Idx>(val));
  71.     // 打印行末分隔符后换行
  72.     cout << __LINE_END << endl;
  74.     // 继续打印“val[Idx + 1]”...
  75.     __PrintTupleMultiLine<T, N, Idx + 1, TopIdx>::__Print(val);
  76. }

此时，我们就可以提供用于打印Tuple的__PrintData的定义了：

  1. // 打印__TupleTag类别 + 任意子类别组合的值，采用宽松的打印格式...
  2. template <typename SubTag, typename T, int N>
  3. void __PrintData<__TupleTag, SubTag, T, N>::__Print(const T &val)
  4. {
  5.     // 打印缩进与Tuple容器类别的左定界符，然后换行
  6.     cout << string(N * __INDENTATION_LEN, __SPACE) << __TUPLE_BEGIN << endl;
  8.     // 调用多行版本的Tuple打印函数，打印val
  9.     __PrintTupleMultiLine<T, N, 0, tuple_size<T>::value>::__Print(val);
  11.     // 打印Tuple容器类别的右定界符
  12.     cout << string(N * __INDENTATION_LEN, __SPACE) << __TUPLE_END;
  13. }
  16. // ...但是，如果子类别是__CommonTag，则采用紧凑的打印格式
  17. template <typename T, int N>
  18. void __PrintData<__TupleTag, __CommonTag, T, N>::__Print(const T &val)
  19. {
  20.     // 打印缩进与Tuple容器类别的左定界符
  21.     cout << string(N * __INDENTATION_LEN, __SPACE) << __TUPLE_BEGIN;
  23.     // 调用单行版本的Tuple打印函数，打印val
  24.     __PrintTupleOneLine<T, 0, tuple_size<T>::value>::__Print(val);
  26.     // 打印Tuple容器类别的右定界符
  27.     cout << __TUPLE_END;
  28. }

至此，我们已经实现了print函数所需要的一切底层组件。现在我们需要做的，就是汇聚所有的这些底层组件，最终实现print函数。请看以下示例：

  1. template <typename T>
  2. void print(const T &val)
  3. {
  4.     __PrintData<
  6.         // T的类别
  7.         typename __CategoryTraits<T>::__Category,
  9.         // T的子类别
  10.         typename __SubCategoryTraits<
  11.             typename __CategoryTraits<T>::__Category,
  12.             T
  13.         >::__Category,
  15.         // val的类型
  16.         T,
  18.         // 缩进层数从0开始
  19.         0
  21.     >::__Print(val);
  23.     cout << endl;
  24. }

让我们立即来试试这个print函数的效果：

  1. int main()
  2. {
  3.     // 普通值
  4.     int sampleInt = 123;
  5.     double *samplePtr = nullptr;
  6.     string sampleStr = "abc";
  8.     print(sampleInt);  // 123
  9.     print(samplePtr);  // 0
  10.     print(sampleStr);  // abc
  13.     // 线性容器
  14.     array<int, 3> sampleArray {1, 2, 3};
  15.     vector<string> sampleVector {"abc", "def", "ghi"};
  16.     list<deque<forward_list<string>>> sampleComplexContainer {{{"abc", "def"}, {"ghi", "jkl"}}, {{"mno", "pqr"}, {"stu", "vwx"}}};
  18.     print(sampleArray);   // [1, 2, 3]
  19.     print(sampleVector);  // [abc, def, ghi]
  21.     /*
  22.     [
  23.         [
  24.             [abc, def],
  25.             [ghi, jkl],
  26.         ],
  27.         [
  28.             [mno, pqr],
  29.             [stu, vwx],
  30.         ],
  31.     ]
  32.     */
  33.     print(sampleComplexContainer);
  36.     // Map容器
  37.     map<int, string> sampleMap {{1, "abc"}, {2, "def"}, {3, "ghi"}};
  38.     multimap<int, vector<string>> sampleComplexMap {{1, {"abc", "def"}}, {2, {"ghi", "jkl"}}, {3, {"mno", "pqu"}}};
  40.     /*
  41.     {
  42.         (1: abc),
  43.         (2: def),
  44.         (3: ghi),
  45.     }
  46.     */
  47.     print(sampleMap);
  49.     /*
  50.     {
  51.         (
  52.             1:
  53.             [abc, def],
  54.         ),
  55.         (
  56.             2:
  57.             [ghi, jkl],
  58.         ),
  59.         (
  60.             3:
  61.             [mno, pqu],
  62.         ),
  63.     }
  64.     */
  65.     print(sampleComplexMap);
  68.     // Set容器
  69.     set<int> sampleSet {1, 2, 3};
  70.     multiset<vector<bool>> sampleComplexSet {{true, false}, {false, true}, {true, false, false, true}};
  72.     print(sampleSet);  // {1, 2, 3}
  74.     /*
  75.     {
  76.         [0, 1],
  77.         [1, 0],
  78.         [1, 0, 0, 1],
  79.     }
  80.     */
  81.     print(sampleComplexSet);
  84.     // Pair
  85.     pair<int, string> samplePair {1, "abc"};
  86.     pair<int, vector<string>> sampleComplexPair {1, {"abc", "def", "ghi"}};
  88.     print(samplePair);  // (1, abc)
  90.     /*
  91.     (
  92.         1,
  93.         [abc, def, ghi],
  94.     )
  95.     */
  96.     print(sampleComplexPair);
  99.     // Tuple容器
  100.     tuple<int, double, char, string> sampleTuple {1, 2., 'a', "abc"};
  101.     tuple<int, double, char, string, vector<string>> sampleComplexTuple {1, 2., 'a', "abc", {"abc", "def", "ghi"}};
  103.     print(sampleTuple);  // (1, 2, a, abc)
  105.     /*
  106.     (
  107.         1,
  108.         2,
  109.         a,
  110.         abc,
  111.         [abc, def, ghi],
  112.     )
  113.     */
  114.     print(sampleComplexTuple);
  117.     // Stack容器
  118.     stack<int> sampleStack;
  120.     sampleStack.push(1);
  121.     sampleStack.push(2);
  122.     sampleStack.push(3);
  124.     stack<vector<string>> sampleComplexStack;
  126.     sampleComplexStack.push({"abc", "def"});
  127.     sampleComplexStack.push({"ghi", "jkl"});
  128.     sampleComplexStack.push({"mno", "pqr"});
  130.     /*
  131.     栈底 --------> 栈顶
  132.          [1, 2, 3]
  133.     */
  134.     print(sampleStack);
  136.     /*
  137.                      栈底
  138.     [                 |
  139.         [abc, def],   |
  140.         [ghi, jkl],   |
  141.         [mno, pqr],   |
  142.     ]                 v
  143.                      栈顶
  144.     */
  145.     print(sampleComplexStack);
  148.     // Queue容器
  149.     queue<int> sampleQueue;
  151.     sampleQueue.push(1);
  152.     sampleQueue.push(2);
  153.     sampleQueue.push(3);
  155.     priority_queue<vector<string>> sampleComplexPriorityQueue;
  157.     sampleComplexPriorityQueue.push({"abc", "def"});
  158.     sampleComplexPriorityQueue.push({"ghi", "jkl"});
  159.     sampleComplexPriorityQueue.push({"mno", "pqr"});
  161.     /*
  162.     队列首 <-------- 队列尾
  163.            [1, 2, 3]
  164.     */
  165.     print(sampleQueue);
  167.     /*
  168.                      队列首
  169.     [                  ^
  170.         [mno, pqr],    |
  171.         [ghi, jkl],    |
  172.         [abc, def],    |
  173.     ]                  |
  174.                      队列尾
  175.     */
  176.     print(sampleComplexPriorityQueue);
  177. }

至此，print函数的实现也就全部完成了。

5.3 本章后记

本章，我们首先通过一个简单的STL advance函数，讨论了编译期分派技术。这一函数的实现过程能够带给我们两点思考：

  1. 为什么我们能在用户无感知的情况下实现分派呢？不难发现：你，作为一个函数的实现者，有一样东西是用户所不具有的，那就是类型。当用户使用一个值来调用函数时，你不仅能得到这个值，还能“顺便”得到这个值的类型，而正是因为有了这多出来的类型，我们就能在类型上大做文章，实现出很多“神奇”的接口
  2. 事实上，并没有真正的“多功能函数”。但我们可以通过“添加中间层可解决一切问题”这一“经典定理”，使得单一的接口函数，根据传入的实参类型的不同，“多功能的”调用多个底层的实现函数，从而达到“多功能函数”的效果

紧接着，我们实现了一个代码更为复杂的print函数。观其输出结果，不禁让我们感慨：一个小小的T，在经过我们的“大做文章”之后，竟能够表现出如此丰富的多样性！这，就是编译期分派的强大威力所在！

6 “突破极限”的容器——Tuple

Tuple是一种非常特殊且高级的数据结构，其能够容纳和取用数量、类型都不定的一组值，你也可以将Tuple理解为某种“匿名结构体”。乍看之下，“数量、类型都不定”和模板中“什么都是已经确定的编译期常量”从语法上就是完全相悖的，和容器的“所有元素的类型必须相同”的原则也是完全相悖的，似乎，Tuple是一种“突破极限”的容器。可事实真的是如此吗？

6.1 可递归Pair

首先，请看下面这段“平淡无奇”的代码：

  1. template <typename T1, typename T2>
  2. struct __RecursionPair
  3. {
  4. public:
  6.     // 数据成员
  7.     T1 __first;
  8.     T2 __second;
  11.     // 构造函数
  12.     __RecursionPair();
  13.     __RecursionPair(const T1 &first, const T2 &second);
  14. };
  17. template <typename T1, typename T2>
  18. __RecursionPair<T1, T2>::__RecursionPair() = default;
  21. template <typename T1, typename T2>
  22. __RecursionPair<T1, T2>::__RecursionPair(const T1 &first, const T2 &second):
  23.     __first(first), __second(second) {}
  26. // 针对只有一个值的Pair的特化
  27. template <typename T1>
  28. struct __RecursionPair<T1, void>
  29. {
  30. public:
  32.     // 数据成员
  33.     T1 __first;
  36.     // 构造函数
  37.     __RecursionPair();
  38.     explicit __RecursionPair(const T1 &first);
  39. };
  42. template <typename T1>
  43. __RecursionPair<T1, void>::__RecursionPair() = default;
  46. template <typename T1>
  47. __RecursionPair<T1, void>::__RecursionPair(const T1 &first): __first(first) {}
  50. int main()
  51. {
  52.     __RecursionPair<int, double> _(1, 2.);
  53.     __RecursionPair<int, void> __(1);
  54. }

“这不就是STL的Pair吗？”，你一定会有这样的疑问。没错，这确实就是STL的Pair，但请你继续看：

  1. __RecursionPair<int, __RecursionPair<double, __RecursionPair<char, string>>> multiPair;  // 还有这种操作？？？

没错！就是有这样的操作。此时，也许你已经意识到了，只要“无限堆叠”这样的Pair，理论上就能实现一个任意数量+任意类型的容器了。我们称这样的Pair为“可递归Pair”。

故事结束了吗？不，这才只是个开始。我们可以立即发现，这种“无限堆叠”产生的“千层饼”，是一个非常反人类的东西，不仅没有“索引值”，甚至为了取得第10个值，竟然需要连着写9遍“.second”！这也太反人类了！请不要着急，接着往下看。

6.2 为可递归Pair的类型添加“索引值”

接下来，我们需要解决似乎很棘手的一个问题：如何根据“索引值”获取可递归Pair的某个位置的类型呢？要知道，可递归Pair里面可是根本没有“索引值”这一概念啊。

让我们先试着迈出第一步：获取__RecursionPair<T1, void>的T1。请看以下示例：

  1. // 原型
  2. // 通过typename __RecursionPairType<T, N>::__ValueType获取“T[N]”的类型
  3. template <int N, typename T>
  4. struct __RecursionPairType;
  7. // 获取__RecursionPair<T1, void>的第0个类型（相当于“T[0]”的类型）
  8. template <typename T1>
  9. struct __RecursionPairType<0, __RecursionPair<T1, void>>
  10. {
  11.     // __RecursionPair<T1, void>的第0个类型显然就是T1
  12.     typedef T1 __ValueType;
  13. };

似乎很顺利对不对？让我们继续：获取__RecursionPair<T1, T2>的T1和T2。请看以下示例：

  1. // 获取__RecursionPair<T1, T2>的第0个类型（相当于“T[0]”的类型）
  2. template <typename T1, typename T2>
  3. struct __RecursionPairType<0, __RecursionPair<T1, T2>>
  4. {
  5.     // __RecursionPair<T1, T2>的第0个类型显然就是T1
  6.     typedef T1 __ValueType;
  7. };
  10. // 获取__RecursionPair<T1, T2>的第1个类型（相当于“T[1]”的类型）
  11. template <typename T1, typename T2>
  12. struct __RecursionPairType<1, __RecursionPair<T1, T2>>
  13. {
  14.     // __RecursionPair<T1, T2>的第1个类型显然就是T2
  15.     typedef T2 __ValueType;
  16. };

接下来，我们就要面对真正的难题了，它就是：

  1. __RecursionPair<T1, __RecursionPair<T2, T3>>

仔细分析这一类型不难发现：T1和T2一定不会继续是一个__RecursionPair类型（因为我们人为地“默认”了可递归Pair只有second可以进行递归，实际上first也可以进行递归，但是这样的代码看上去比较“别扭”）。所以，我们立即可以给出以下实现：

  1. // 获取__RecursionPair<T1, __RecursionPair<T2, T3>>的第0个类型（相当于“T[0]”的类型）
  2. template <typename T1, typename T2, typename T3>
  3. struct __RecursionPairType<0, __RecursionPair<T1, __RecursionPair<T2, T3>>>
  4. {
  5.     // 因为T1一定不会继续是一个__RecursionPair类型
  6.     // 所以__RecursionPair<T1, __RecursionPair<T2, T3>>的第0个类型应该就是T1
  7.     typedef T1 __ValueType;
  8. };
  11. // 获取__RecursionPair<T1, __RecursionPair<T2, T3>>的第1个类型（相当于“T[1]”的类型）
  12. template <typename T1, typename T2, typename T3>
  13. struct __RecursionPairType<1, __RecursionPair<T1, __RecursionPair<T2, T3>>>
  14. {
  15.     // 因为T2一定不会继续是一个__RecursionPair类型
  16.     // 所以__RecursionPair<T1, __RecursionPair<T2, T3>>的第1个类型应该就是T2
  17.     typedef T2 __ValueType;
  18. };

那么，如果N大于1，要怎么办呢？此时，虽然我们自己已经无能为力（因为我们并没有能力“拆分”T3），但是我们可以“寄希望于”递归。请看以下示例：

  1. // 获取__RecursionPair<T1, __RecursionPair<T2, T3>>的第N（N > 1）个类型（相当于“T[N]”的类型）
  2. template <int N, typename T1, typename T2, typename T3>
  3. struct __RecursionPairType<N, __RecursionPair<T1, __RecursionPair<T2, T3>>>
  4. {
  5.     // 如果N大于1，那么“T[N]”的类型应该是__RecursionPair<T2, T3>的第N - 1个类型
  6.     typedef typename __RecursionPairType<N - 1, __RecursionPair<T2, T3>>::__ValueType __ValueType;
  7. };

至此，我们就完整实现了根据“索引值”获取可递归Pair的某个位置的类型这一工具。让我们来看看效果：

  1. int main()
  2. {
  3.     typedef __RecursionPair<int, __RecursionPair<double, __RecursionPair<char, string>>> Type;
  4.     cout << typeid(__RecursionPairType<3, Type>::__ValueType).name();  // string
  5. }

可以看出，输出结果完全符合我们的预期。

看到这里，也许你会觉得上述实现中的第4个和第5个特化（即__RecursionPairType<0, __RecursionPair<T1, __RecursionPair<T2, T3>>>和__RecursionPairType<1, __RecursionPair<T1, __RecursionPair<T2, T3>>>版本）似乎是多余的？你可以去掉这些特化，然后编译试试看。

6.3 为可递归Pair的值添加“索引值”

有了上文中__RecursionPairType的铺垫，根据“索引值”获取可递归Pair的某个位置的值这一功能似乎也可以“依葫芦画瓢”进行实现了。同样，让我们先迈出第一步：

  1. // 原型
  2. // 通过__RecursionPairValue<N, T>::__Get(pairObj)获取“pairObj[N]”的值
  3. template <int N, typename T>
  4. struct __RecursionPairValue;
  7. // 获取__RecursionPair<T1, void>的“pairObj[0]”的值
  8. template <typename T1>
  9. struct __RecursionPairValue<0, __RecursionPair<T1, void>>
  10. {
  11.     // __Get函数的参数类型显然就是__RecursionPair<T1, void>
  12.     typedef __RecursionPair<T1, void> __PairType;
  15.     // __Get函数的返回值类型显然就是T1
  16.     typedef T1 __ValueType;
  19.     // 实际的返回值显然就是pairObj.__first
  20.     static __ValueType &__Get(__PairType &pairObj) { return pairObj.__first; }
  21.     static const __ValueType &__Get(const __PairType &pairObj) { return pairObj.__first; }
  22. };

让我们继续。接下来实现__RecursionPair<T1, T2>的取值：

  1. // 获取__RecursionPair<T1, T2>的“pairObj[0]”的值
  2. template <typename T1, typename T2>
  3. struct __RecursionPairValue<0, __RecursionPair<T1, T2>>
  4. {
  5.     // __Get函数的参数类型显然就是__RecursionPair<T1, T2>
  6.     typedef __RecursionPair<T1, T2> __PairType;
  9.     // __Get函数的返回值类型显然就是T1
  10.     typedef T1 __ValueType;
  13.     // 实际的返回值显然就是pairObj.__first
  14.     static __ValueType &__Get(__PairType &pairObj) { return pairObj.__first; }
  15.     static const __ValueType &__Get(const __PairType &pairObj) { return pairObj.__first; }
  16. };
  19. // 获取__RecursionPair<T1, T2>的“pairObj[1]”的值
  20. template <typename T1, typename T2>
  21. struct __RecursionPairValue<1, __RecursionPair<T1, T2>>
  22. {
  23.     // __Get函数的参数类型显然就是__RecursionPair<T1, T2>
  24.     typedef __RecursionPair<T1, T2> __PairType;
  27.     // __Get函数的返回值类型显然就是T2
  28.     typedef T2 __ValueType;
  31.     // 实际的返回值显然就是pairObj.__second
  32.     static __ValueType &__Get(__PairType &pairObj) { return pairObj.__second; }
  33.     static const __ValueType &__Get(const __PairType &pairObj) { return pairObj.__second; }
  34. };

让我们继续。接下来实现__RecursionPair<T1, __RecursionPair<T2, T3>>的取值：

  1. // 获取__RecursionPair<T1, __RecursionPair<T2, T3>>的“pairObj[0]”的值
  2. template <typename T1, typename T2, typename T3>
  3. struct __RecursionPairValue<0, __RecursionPair<T1, __RecursionPair<T2, T3>>>
  4. {
  5.     // __Get函数的参数类型显然就是__RecursionPair<T1, __RecursionPair<T2, T3>>
  6.     typedef __RecursionPair<T1, __RecursionPair<T2, T3>> __PairType;
  9.     // __Get函数的返回值类型显然就是T1
  10.     typedef T1 __ValueType;
  13.     // 实际的返回值显然就是pairObj.__first
  14.     static __ValueType &__Get(__PairType &pairObj) { return pairObj.__first; }
  15.     static const __ValueType &__Get(const __PairType &pairObj) { return pairObj.__first; }
  16. };
  19. // 获取__RecursionPair<T1, __RecursionPair<T2, T3>>的“pairObj[1]”的值
  20. template <typename T1, typename T2, typename T3>
  21. struct __RecursionPairValue<1, __RecursionPair<T1, __RecursionPair<T2, T3>>>
  22. {
  23.     // __Get函数的参数类型显然就是__RecursionPair<T1, __RecursionPair<T2, T3>>
  24.     typedef __RecursionPair<T1, __RecursionPair<T2, T3>> __PairType;
  27.     // __Get函数的返回值类型显然就是T2
  28.     typedef T2 __ValueType;
  31.     // 实际的返回值显然就是pairObj.__second.__first
  32.     static __ValueType &__Get(__PairType &pairObj) { return pairObj.__second.__first; }
  33.     static const __ValueType &__Get(const __PairType &pairObj) { return pairObj.__second.__first; }
  34. };

那么，如果N大于1，要怎么办呢？我们需要解决两个问题：

  1. Get函数的返回值类型是什么？
  2. 怎么得到“pairObj[N]”的值？

第一个问题的解决方案不言而喻：我们已经实现了可以获取到可递归Pair的任意位置的类型的工具，这当然可以在这里为我们所用；对于第二个问题，我们同样可以基于递归，对pairObj.second进行“拆分”，直至N降至1为止。请看以下示例：

  1. // 获取__RecursionPair<T1, __RecursionPair<T2, T3>>的“pairObj[N]”的值
  2. template <int N, typename T1, typename T2, typename T3>
  3. struct __RecursionPairValue<N, __RecursionPair<T1, __RecursionPair<T2, T3>>>
  4. {
  5.     // __Get函数的参数类型显然就是__RecursionPair<T1, __RecursionPair<T2, T3>>
  6.     typedef __RecursionPair<T1, __RecursionPair<T2, T3>> __PairType;
  9.     // __Get函数的返回值类型需要依赖我们前面已经实现的__RecursionPairType获取
  10.     typedef typename __RecursionPairType<N, __PairType>::__ValueType __ValueType;
  13.     // 我们并没有能力“拆分”pairObj.__second.__second，但是我们可以“寄希望于”递归
  14.     static __ValueType &__Get(__PairType &pairObj)
  15.     {
  16.         return __RecursionPairValue<N - 1, __RecursionPair<T2, T3>>::__Get(pairObj.__second);
  17.     }
  20.     // 同上
  21.     static const __ValueType &__Get(const __PairType &pairObj)
  22.     {
  23.         return __RecursionPairValue<N - 1, __RecursionPair<T2, T3>>::__Get(pairObj.__second);
  24.     }
  25. };

至此，我们就完整实现了根据“索引值”获取可递归Pair的某个位置的值这一工具。让我们来看看效果：

  1. int main()
  2. {
  3.     __RecursionPair<int, __RecursionPair<double, __RecursionPair<char, string>>> testPair;
  4.     __RecursionPairValue<3, decltype(testPair)>::__Get(testPair) = "abc";
  5.     cout << __RecursionPairValue<3, decltype(testPair)>::__Get(testPair);  // abc
  6. }

同样，如果你觉得上述实现中的第4个和第5个特化（即__RecursionPairValue<0, __RecursionPair<T1, __RecursionPair<T2, T3>>>和__RecursionPairValue<1, __RecursionPair<T1, __RecursionPair<T2, T3>>>版本）是多余的，你可以去掉这些特化，然后编译试试看。

6.4 将“千层饼”擀成“单层饼”

本节将会是整个Tuple的实现中最为精彩的部分！

我们虽然已经实现了针对可递归Pair的取类型和取值工具，但我们还是没有实现出一个“扁平的”真正的Tuple（没错，终于又看到Tuple这个词了）。接下来，我们就开始着手考虑，如何将可递归Pair这张“千层饼”擀平，变成一张“单层饼”Tuple。

如何实现“擀平”这一操作呢？稍加思考不难发现，可递归Pair和Tuple之间似乎存在着这样的一一对应关系：

  • 含有一个元素的Tuple，就是一个__RecursionPair<T1, void>
  • 含有两个元素的Tuple，就是一个__RecursionPair<T1, T2>
  • 含有三个元素的Tuple，就是一个__RecursionPair<T1, __RecursionPair<T2, T3>>
  • 含有四个元素的Tuple，就是一个__RecursionPair<T1, __RecursionPair<T2, __RecursionPair<T3, T4>>>
  • ...

如何描述这种“是一个”的语义？哦！是继承！

请看以下示例：

  1. // 原型
  2. // 通过Tuple<Types...>构造一个Tuple
  3. template <typename... Types>
  4. struct Tuple;
  7. // 含有一个元素的Tuple，就是一个__RecursionPair<T1, void>
  8. template <typename T1>
  9. struct Tuple<T1>: __RecursionPair<T1, void>
  10. {
  11.     // 我是一个怎样的__RecursionPair？当然是继承的那个！
  12.     typedef __RecursionPair<T1, void> __PairType;
  15.     // 构造函数（待实现）
  16.     Tuple();
  17.     Tuple(const T1 &first);
  18. };
  21. // 含有两个元素的Tuple，就是一个__RecursionPair<T1, T2>
  22. template <typename T1, typename T2>
  23. struct Tuple<T1, T2>: __RecursionPair<T1, T2>
  24. {
  25.     // 我是一个怎样的__RecursionPair？当然也是继承的那个！
  26.     typedef __RecursionPair<T1, T2> __PairType;
  29.     // 构造函数（待实现）
  30.     Tuple();
  31.     Tuple(const T1 &first, const T2 &second);
  32. };
  35. // 默认构造函数
  36. template <typename T1>
  37. Tuple<T1>::Tuple() = default;
  40. // 只需要调用Tuple的“可递归Pair形态”（即父类）的构造函数即可
  41. template <typename T1>
  42. Tuple<T1>::Tuple(const T1 &first): __PairType(first) {}
  45. // 默认构造函数
  46. template <typename T1, typename T2>
  47. Tuple<T1, T2>::Tuple() = default;
  50. // 同样，只需要调用Tuple的“可递归Pair形态”（即父类）的构造函数即可
  51. template <typename T1, typename T2>
  52. Tuple<T1, T2>::Tuple(const T1 &first, const T2 &second): __PairType(first, second) {}

那么，含有不止两个元素的Tuple，是哪个可递归Pair呢？如果你已经注意到了上面的两个Tuple实现中的“看似无用”的typedef，那么问题就能迎刃而解。这些typedef，保存了当前Tuple所对应的“可递归Pair形态”。从可递归Pair的角度去思考，不难找到以下规律：

  • Tuple<T1, T2, T3>的“可递归Pair形态”是__RecursionPair<T1, typename Tuple<T2, T3>::__PairType>，即：将T1，与Tuple<T2, T3>的“可递归Pair形态”放入一个__RecursionPair中，最终得到的结果是__RecursionPair<T1, __RecursionPair<T2, T3>>
  • Tuple<T1, T2, T3, T4>的“可递归Pair形态”是__RecursionPair<T1, typename Tuple<T2, T3, T4>::__PairType>，即：将T1，与Tuple<T2, T3, T4>的“可递归Pair形态”放入一个__RecursionPair中（Tuple<T2, T3, T4>的“可递归Pair形态”就是上面已经得到的Tuple<T1, T2, T3>的“可递归Pair形态”），最终得到的结果是__RecursionPair<T1, __RecursionPair<T2, __RecursionPair<T3, T4>>>
  • ...
  • Tuple<T1, Types...>的“可递归Pair形态”是__RecursionPair<T1, typename Tuple<Types...>::__PairType>，即：将T1，与Tuple<Types...>的“可递归Pair形态”放入一个__RecursionPair中，最终得到的结果是__RecursionPair<T1, __RecursionPair<T2, __RecursionPair<T3, ..., __RecursionPair<T(N - 1), T(N)>>>...>

找到了这一规律，代码实现也就轻而易举了。请看以下示例：

  1. // Tuple<T1, Types...>的“可递归Pair形态”是：将T1，与typename Tuple<Types...>::__PairType
  2. //（即Tuple<Types...>的“可递归Pair形态”）放入一个__RecursionPair中
  3. template <typename T1, typename... Types>
  4. struct Tuple<T1, Types...>: __RecursionPair<T1, typename Tuple<Types...>::__PairType>
  5. {
  6.     // 我是一个怎样的__RecursionPair？同样也是继承的那个！
  7.     typedef __RecursionPair<T1, typename Tuple<Types...>::__PairType> __PairType;
  10.     // 构造函数（待实现）
  11.     Tuple();
  12.     Tuple(const T1 &first, const Types &... Args);
  13. };

那么，这样的一个含有多个元素的Tuple，其构造函数又该如何实现呢？通过上文的讨论，我们不难发现：不管是什么样的Tuple（从只含有一个元素的Tuple到含有很多个元素的Tuple），其父类都是一个可递归Pair，而可递归Pair也是Pair，其构造函数永远只需要两个值（不管是多么复杂的可递归Pair）。所以，我们仍然可以通过直接调用父类的构造函数来对任意的Tuple进行构造。我们需要哪两个值来调用复杂的可递归Pair的构造函数呢？让我们继续进行“找规律”：

  • 为了构造一个Tuple<T1, T2, T3>(Arg1, Arg2, Arg3)，我们需要构造一个typename Tuple<T1, T2, T3>::__PairType，即一个__RecursionPair<T1, __RecursionPair<T2, T3>>，其中，T1来自于Arg1，而__RecursionPair<T2, T3>可以通过构造一个Tuple<T2, T3>(Arg2, Arg3)得到（因为一个Tuple<T2, T3>就是一个__RecursionPair<T2, T3>）
  • 为了构造一个Tuple<T1, T2, T3, T4>(Arg1, Arg2, Arg3, Arg4)，我们需要构造一个typename Tuple<T1, T2, T3, T4>::__PairType，即一个__RecursionPair<T1, __RecursionPair<T2, __RecursionPair<T3, T4>>>，其中，T1同样来自于Arg1，而__RecursionPair<T2, __RecursionPair<T3, T4>>可以通过构造一个Tuple<T2, T3, T4>(Arg2, Arg3, Arg4)得到（因为一个Tuple<T2, T3, T4>就是一个__RecursionPair<T2, __RecursionPair<T3, T4>>）
  • ...
  • 为了构造一个Tuple<T1, Types...>(first, Args...)，我们需要构造一个typename Tuple<T1, Types...>::__PairType，即一个__RecursionPair<T1, typename Tuple<Types...>::__PairType>，其中，T1来自于first，而typename Tuple<Types...>::__PairType可以通过构造一个Tuple<Types...>(Args...)得到（因为一个Tuple<Types...>就是一个typename Tuple<Types...>::__PairType）

我们再一次通过找规律的方法得到了结论！接下来就可以进行代码实现了。请看以下示例：

  1. // 默认构造函数
  2. template <typename T1, typename... Types>
  3. Tuple<T1, Types...>::Tuple() = default;
  6. // 只需要调用Tuple的“可递归Pair形态”（即父类）的构造函数即可
  7. // 构造__PairType的两个参数分别来自于first与构造Tuple<Types...>(Args...)所得到的一个__RecursionPair
  8. template <typename T1, typename... Types>
  9. Tuple<T1, Types...>::Tuple(const T1 &first, const Types &... Args):
  10.     __PairType(first, Tuple<Types...>(Args...)) {}

至此，Tuple的实现中最重要的部分：Tuple的构造函数，也就全部实现完毕了。让我们立即来试用一下。请看以下示例：

  1. int main()
  2. {
  3.     Tuple<int, double, char, string> sampleTuple(1, 2., '3', "4");
  5.     cout << __RecursionPairValue<0, decltype(sampleTuple)::__PairType>::__Get(sampleTuple) << endl;  // 1
  6.     cout << __RecursionPairValue<1, decltype(sampleTuple)::__PairType>::__Get(sampleTuple) << endl;  // 2
  7.     cout << __RecursionPairValue<2, decltype(sampleTuple)::__PairType>::__Get(sampleTuple) << endl;  // 3
  8.     cout << __RecursionPairValue<3, decltype(sampleTuple)::__PairType>::__Get(sampleTuple) << endl;  // 4
  9. }

由此可见，Tuple的构造函数工作正常（虽然我们暂时还只能通过“可递归Pair时代”的工具获取到其内部的值）。

6.5 Tuple的其他功能的实现

最后，就是一些简单的周边功能的实现了。

首先是MakeTuple快捷函数，此函数只需要使用一个可变参数模板封装Tuple的构造函数即可。请看以下示例：

  1. template <typename... Types>
  2. inline Tuple<Types...> MakeTuple(const Types &... Args)
  3. {
  4.     return Tuple<Types...>(Args...);
  5. }
  8. int main()
  9. {
  10.     auto sampleTuple = MakeTuple(1, 2., '3');
  11. }

然后是根据“索引值”获取Tuple的某个位置的类型的类，实现时只需要将全部操作直接委托给我们已经实现的__RecursionPairType即可。请看以下示例：

  1. // 原型
  2. // 通过typename TupleType<N, T>::Type获取“T[N]”的类型
  3. template <int N, typename T>
  4. struct TupleType;
  7. // 仅当T是一个Tuple时，此类才有意义
  8. template <int N, typename... Types>
  9. struct TupleType<N, Tuple<Types...>>
  10. {
  11.     // 使用__RecursionPairType作用于Tuple<Types...>的“可递归Pair形态”上，就能获取“Tuple<Types...>[N]”的类型
  12.     typedef typename __RecursionPairType<N, typename Tuple<Types...>::__PairType>::__ValueType Type;
  13. };
  16. int main()
  17. {
  18.     Tuple<int, double, char, string> sampleTuple(1, 2., '3', "4");
  20.     cout << typeid(TupleType<0, decltype(sampleTuple)>::Type).name() << endl;  // int
  21.     cout << typeid(TupleType<1, decltype(sampleTuple)>::Type).name() << endl;  // double
  22.     cout << typeid(TupleType<2, decltype(sampleTuple)>::Type).name() << endl;  // char
  23.     cout << typeid(TupleType<3, decltype(sampleTuple)>::Type).name() << endl;  // string
  24. }

然后是根据“索引值”获取Tuple的某个位置的值的函数，实现时只需要将全部操作直接委托给我们已经实现的TupleType以及__RecursionPairValue即可。请看以下示例：

  1. // 函数的返回值就是typename TupleType<N, Tuple<Types...>>::Type
  2. template <int N, typename... Types>
  3. inline typename TupleType<N, Tuple<Types...>>::Type &Get(Tuple<Types...> &tupleObj)
  4. {
  5.     // 使用__RecursionPairValue作用于Tuple<Types...>的“可递归Pair形态”上，就能获取“tupleObj[N]”的值
  6.     return __RecursionPairValue<N, typename Tuple<Types...>::__PairType>::__Get(tupleObj);
  7. }
  10. // 同上
  11. template <int N, typename... Types>
  12. inline const typename TupleType<N, Tuple<Types...>>::Type &Get(const Tuple<Types...> &tupleObj)
  13. {
  14.     return __RecursionPairValue<N, typename Tuple<Types...>::__PairType>::__Get(tupleObj);
  15. }
  18. int main()
  19. {
  20.     Tuple<int, double, char, string> sampleTuple(1, 2., '3', "4");
  22.     cout << Get<0>(sampleTuple) << endl;  // 1
  23.     cout << Get<1>(sampleTuple) << endl;  // 2
  24.     cout << Get<2>(sampleTuple) << endl;  // 3
  25.     cout << Get<3>(sampleTuple) << endl;  // 4
  26. }

最后是获取Tuple的长度的类，直接使用sizeof...(Types)即可。请看以下示例：

  1. // 原型
  2. template <typename T>
  3. struct TupleSize;
  6. // 仅当T是一个Tuple时，此类才有意义
  7. template <typename... Types>
  8. struct TupleSize<Tuple<Types...>>
  9. {
  10.     // Tuple的长度显然就是Tuple的可变模板参数的数量
  11.     static constexpr int Size = sizeof...(Types);
  12. };
  15. int main()
  16. {
  17.     cout << TupleSize<Tuple<int, double, char, string>>::Size << endl;  // 4
  18. }

至此，Tuple的实现也就全部完成了。

6.6 本章后记

Tuple，作为一个看起来已然“突破极限”的高级容器，其背后的核心竟然只是一个“平淡无奇”的Pair，这不得不令人惊讶于基于模板的高阶抽象的威力。在Tuple的实现过程中，我们充分利用了模板偏特化，用以描绘出各种不同“形态”的可递归Pair；我们也使用了继承，用以描绘出Tuple与可递归Pair的一一对应关系。在这里，模板与继承，这两个“不同世界的产物”，被巧妙的结合在了一起，最终为我们带来了一场十分精彩的二重奏！

7 模板与高性能计算的极佳配合——表达式模板

表达式模板？什么？你没听说过？那就对了！通过本章的讨论，你就会了解到：模板是如何在用户无感知的前提下，将高性能计算引入我们的程序中的。

7.1 表达式的困境

让我们从一个看似很简单的问题开始：

  1. 如何实现向量的加法运算？

如果使用STL的array表示向量，不难做出以下实现：

  1. template <typename T, size_t N>
  2. array<T, N> operator+(const array<T, N> &lhs, const array<T, N> &rhs)
  3. {
  4.     array<T, N> resArray;
  6.     for (int idx = 0; idx < N; idx++) resArray[idx] = lhs[idx] + rhs[idx];
  8.     return resArray;
  9. }
  12. int main()
  13. {
  14.     array<int, 3> lhs {1, 2, 3}, rhs {4, 5, 6}, res;
  16.     res = lhs + rhs;
  18.     for (auto val: res) cout << val << endl;  // 5 7 9
  19. }

这个实现有什么问题呢？请看以下示例：

  1. lhs + rhs + lhs + rhs + lhs + rhs + lhs + rhs + lhs + rhs;  // 哦！大量的冗余计算！

在上面这个“10连加”表达式中，operator+函数一共被调用了9次，这也就意味着：函数体内的resArray临时变量被创建、return了9次（假设没有NRV优化），for循环也被执行了9次，而这还只是一次“10连加”所造成的结果。可想而知，在计算量变得越来越大时，这是多么大的时间耗费！此时，我们不难想到，上述的“10连加”表达式实际上能够被优化为如下实现：

  1. // 实际上只需要一次函数调用
  2. template <typename T, size_t N>
  3. array<T, N> operator+(const array<T, N> &lhs, const array<T, N> &rhs)
  4. {
  5.     array<T, N> resArray;
  7.     // 实际上也只需要一次循环
  8.     for (int idx = 0; idx < N; idx++)
  9.     {
  10.         // 只需要在循环体内执行“10连加”即可
  11.         resArray[idx] = lhs[idx] + rhs[idx] + lhs[idx] + rhs[idx] + lhs[idx] +
  12.             rhs[idx] + lhs[idx] + rhs[idx] + lhs[idx] + rhs[idx];
  13.     }
  15.     return resArray;
  16. }

可问题是，编译器就算有能力优化成这样的实现，其也不能优化成这样。这是由于C++的表达式语义本就是“积极主动的”，当编译器看到lhs + rhs...时，其就必须遵守C++的语义规定，立即计算此加法，而“暂且不顾”后续表达式。

看来，编译器优化是彻底不可能帮得上忙了。这让我们陷入了困境之中。

7.2 一个天马行空的想法

既然编译器帮不上忙，那我们是否能通过某种技术，“绕过”编译器的这种主动计算呢？如果你的想象力足够丰富，也许你会有这样的想法：

  1. 能否将表达式看作某种“字符串”，这样，加法就相当于“字符串的拼接”呢？而当我们真的需要表达式的结果时，我们可以实现一个对“表达式字符串”进行求值的函数来进行求值。

这是一个天马行空的想法，但基于模板，这个想法是真的可以实现的！这就是本章将要讨论的表达式模板技术。

7.3 向量类的实现

首先，让我们实现一个Array类，用于存放一个向量。请看以下示例：

  1. template <typename T, int N>
  2. class __Array
  3. {
  4. public:
  6.     // 构造函数
  7.     __Array();
  8.     explicit __Array(const T &val);
  9.     __Array(initializer_list<T> initializerList);
  12.     // operator[]
  13.     T &operator[](int idx) { return __data[idx]; }
  14.     const T &operator[](int idx) const { return __data[idx]; }
  17. private:
  19.     // 一个C语言数组，用于存放向量
  20.     T __data[N];
  21. };
  24. template <typename T, int N>
  25. __Array<T, N>::__Array() = default;
  28. template <typename T, int N>
  29. __Array<T, N>::__Array(const T &val)
  30. {
  31.     for (int idx = 0; idx < N; idx++)
  32.     {
  33.         __data[idx] = val;
  34.     }
  35. }
  38. template <typename T, int N>
  39. __Array<T, N>::__Array(initializer_list<T> initializerList)
  40. {
  41.     int idx = 0;
  43.     for (auto &val: initializerList)
  44.     {
  45.         __data[idx++] = val;
  46.     }
  47. }
  50. int main()
  51. {
  52.     __Array<int, 3> lhs {1, 2, 3};
  54.     for (int idx = 0; idx < 3; idx++) cout << lhs[idx] << endl;  // 1 2 3
  55. }

我们为这个Array实现了默认构造函数，Fill构造函数，initializer_list构造函数，以及operator[]重载。看上去平淡无奇，不是吗？

7.4 “表达式字符串”的实现

接下来，我们就来实现上文中的“表达式字符串”（当然，我们不是真的去实现一个特殊的字符串）。一个“表达式字符串”，如“lhs + rhs”，是由哪几部分组成的呢？显然，其是由lhs、“+”以及rhs组成，其中，lhs与rhs代表的是某个值，而“+”代表的是一个动作。如果我们使用两个变量分别存放lhs与rhs，并使用一个函数表达“+”这一动作，我们就能够实现出一个“表达式字符串”了。而将这些内容封装进一个模板中，我们也就得到了一个“表达式模板”。请看以下示例：

  1. // 加法表达式模板
  2. template <typename T, typename LExpr, typename RExpr>
  3. class __Plus
  4. {
  5. public:
  7.     // 构造函数
  8.     __Plus(const LExpr &lhs, const RExpr &rhs);
  11.     // 当对这个表达式模板进行[...]运算的时候，就能得到这个表达式模板在某个“索引值”位置上的加法计算的结果
  12.     // 也就是说，表达式模板也是某种从外观上看和向量别无二致的东西
  13.     T operator[](int idx) const { return __lhs[idx] + __rhs[idx]; }
  16. private:
  18.     // 用于保存LExpr与RExpr的引用的数据成员
  19.     const LExpr &__lhs;
  20.     const RExpr &__rhs;
  21. };
  24. template <typename T, typename LExpr, typename RExpr>
  25. __Plus<T, LExpr, RExpr>::__Plus(const LExpr &lhs, const RExpr &rhs):
  26.     __lhs(lhs), __rhs(rhs) {}

__Plus的模板参数包含加法的返回值类型T，以及左右值类型LExpr和RExpr；在__Plus中，我们声明了两个分别指向LExpr和RExpr的引用；而在构造函数中，lhs、rhs被分别绑定至类中的两个引用上，此时，我们并没有执行任何加法运算。那么，什么时候才执行加法运算呢？从代码中不难看出，直到operator[]时，才会真正计算加法。

这是一种利用模板实现的“惰性计算”技术，当加法语义出现时，我们并没有真的执行加法，而只是执行了一次成本很低的“记录”操作，我们记录了执行一次加法所需要的全部信息：左值、加这个动作、以及右值。仅当真正需要加法的结果时，__Plus才会“在我们强硬的驱使下”计算加法。并且，就算是在这种“强硬的驱使下”，__Plus每次也只会计算一个位置的加法。这就使得__Plus能够最大程度的规避无意义的加法计算（设想我们进行了一次十万维向量的加法，但我们只需要知道第五万维这一个位置的加法结果）。

此外，__Plus在设计上刻意的模仿了__Array的操作，这就使得__Plus也能够像一个__Array那样具有“索引值”。这样做的意义是什么呢？仅仅是为了方便、美观吗？我们将在下一节中揭晓答案。

接下来，让我们试着使用一下__Plus类，体验一下这种“惰性计算”技术。请看以下示例：

  1. int main()
  2. {
  3.     __Array<int, 3> lhs {1, 2, 3}, rhs {4, 5, 6};
  5.     // 保存了lhs + rhs这个表达式，但不对其进行计算
  6.     __Plus<int, __Array<int, 3>, __Array<int, 3>> res(lhs, rhs);
  8.     for (int idx = 0; idx < 3; idx++)
  9.     {
  10.         // 这里才计算加法
  11.         cout << res[idx] << endl;
  12.     }
  13. }

看到这里，也许你会恍然大悟：“哦！这个__Plus和上一章的可递归Pair一样，也是可以递归的！”请看以下示例：

  1. int main()
  2. {
  3.     __Array<int, 3> lhs {1, 2, 3}, rhs {4, 5, 6};
  5.     // 保存了lhs + rhs + lhs这个表达式，但不对其进行计算
  6.     // 可是这也太反人类了吧！
  7.     __Plus<int, __Array<int, 3>, __Array<int, 3>> tmp(lhs, rhs);
  8.     __Plus<int, __Plus<int, __Array<int, 3>, __Array<int, 3>>, __Array<int, 3>> res(tmp, lhs);
  10.     for (int idx = 0; idx < 3; idx++)
  11.     {
  12.         // 这里才计算加法
  13.         cout << res[idx] << endl;
  14.     }
  15. }

我们通过整整两行的“超长”代码，“终于”实现了lhs + rhs + lhs的惰性加法。显然，这样的实现是非常“反人类”的，有什么办法能对其进行简化，甚至让用户无感知呢？稍加思索就能够发现，只要使用运算符重载，我们就能把所有这些都隐藏于幕后，只留下lhs + rhs + lhs本身。请看以下示例：

  1. template </* 这里写什么？*/>
  2. /* 这里写什么？*/ operator+(const /* 这里写什么？*/ &lhs, const /* 这里写什么？*/ &rhs)
  3. {
  4.     return /* 这里写什么？*/;
  5. }
  8. int main()
  9. {
  10.     /* 这里写什么？*/ lhs {1, 2, 3}, rhs {4, 5, 6}, res;
  12.     // 最终的效果，太棒了！
  13.     res = lhs + rhs + lhs;
  15.     for (int idx = 0; idx < 3; idx++)
  16.     {
  17.         cout << res[idx] << endl;
  18.     }
  19. }

对于operator+，其需要同时满足“__Array + __Array”、“__Array + __Plus”、“__Plus + __Array”、“__Plus + __Plus”等等的“排列组合”（并且，请不要忘了：除了“加”，还有“减乘除”呢！）。这就使得我们难以确定lhs与rhs的类型。难道真的要为每种情况都写一个operator+重载吗？请接着往下看。

7.5 再加一层抽象

如何规避这种“排列组合”呢？让我们开拓一下思维，不难发现：单独的一个__Array是一个表达式，而__Plus（任意两个表达式相加的结果）也是一个表达式，并且他们的共性即在于，都是可以基于operator[]进行表达式求值的。至此，解决方案水落石出：我们可以在__Array和__Plus之上再增加一个抽象层，表达“表达式”语义，而__Array和__Plus在此抽象层中并无区别，都是一个可以进行operator[]运算的“表达式”。此时你应该能够明白：为什么__Plus要“刻意”模仿__Array的operator[]了。请看以下示例：

  1. template <typename T, int N, typename Expr>
  2. class __Expression
  3. {
  4. public:
  6.     // 适用于__Array的构造函数
  7.     __Expression();
  8.     explicit __Expression(const T &val);
  9.     __Expression(initializer_list<T> initializerList);
  12.     // 适用于__Plus的构造函数
  13.     __Expression(const Expr &expr);
  16.     // operator[]直接委托给__expr执行
  17.     T &operator[](int idx) { return __expr[idx]; }
  18.     T operator[](int idx) const { return __expr[idx]; }
  21.     // operator=
  22.     template <typename RExpr>
  23.     __Expression &operator=(const __Expression<T, N, RExpr> &rhs);
  26. private:
  28.     // __expr可能是一个__Array，也可能是一个__Plus
  29.     Expr __expr;
  30. };
  33. template <typename T, int N, typename Expr>
  34. __Expression<T, N, Expr>::__Expression() = default;
  37. template <typename T, int N, typename Expr>
  38. __Expression<T, N, Expr>::__Expression(const T &val): __expr(val) {}
  41. template <typename T, int N, typename Expr>
  42. __Expression<T, N, Expr>::__Expression(initializer_list<T> initializerList): __expr(initializerList) {}
  45. template <typename T, int N, typename Expr>
  46. __Expression<T, N, Expr>::__Expression(const Expr &expr): __expr(expr) {}
  49. // operator=直接委托给__expr执行
  50. // 直到operator=发生时，rhs才会真正被计算
  51. template <typename T, int N, typename Expr>
  52. template <typename RhsExpr>
  53. __Expression<T, N, Expr> &__Expression<T, N, Expr>::operator=(
  54.     const __Expression<T, N, RhsExpr> &rhs)
  55. {
  56.     for (int idx = 0; idx < N; idx++)
  57.     {
  58.         // 计算rhs[idx]的值，并赋值给左值
  59.         __expr[idx] = rhs[idx];
  60.     }
  62.     return *this;
  63. }

让我们来分析这一实现：既然我们需要将__Array和__Plus都抽象为一个表达式，那么我们就可以增加一个模板参数Expr，用以标明这个__Expression到底是什么（是__Array还是__Plus）。由于Expr既可以是__Array又可以是__Plus，我们就需要实现多个构造函数，使得这两种类型的值都可以在__Expression中构造。所以，我们实现了三个和__Array的三个构造函数功能一致的构造函数，以及可以使用一个Expr作为参数的构造函数。然后，我们将operator[]和operator=都直接委托给__expr执行。

显然，当用户在使用的时候，__Expression的Expr模板参数必须是__Array，所以我们可以声明一个固定了Expr模板参数的模板，作为面向用户的Array接口。请看以下示例：

  1. // 最终面向用户的Array接口
  2. template <typename T, int N>
  3. using Array = __Expression<T, N, __Array<T, N>>;

同时，作为实现者，我们也可以创造一些更复杂的Expr模板参数。所以，就让我们来实现上一节中未能实现的operator+吧。请看以下示例：

  1. // __Expression<T, N, LExpr> + __Expression<T, N, RExpr>的结果是一个新的__Expression
  2. // 其第一、二模板参数不变，第三模板参数是LExpr + RExpr的结果，即__Plus<T, LExpr, RExpr>
  3. template <typename T, int N, typename LExpr, typename RExpr>
  4. inline __Expression<T, N, __Plus<T, LExpr, RExpr>> operator+(
  5.     const __Expression<T, N, LExpr> &lhs, const __Expression<T, N, RExpr> &rhs)
  6. {
  7.     // 用lhs与rhs的__expr，构造出一个__Plus
  8.     // 再用这个__Plus，构造出一个新的__Expression（使用的是__Expression的第四构造函数）
  9.     return __Expression<T, N, __Plus<T, LExpr, RExpr>>(
  10.         __Plus<T, LExpr, RExpr>(lhs.__expr, rhs.__expr));
  11. }

看上去很复杂的样子？让我们来分析一下。首先，由于我们并不知道lhs和rhs的Expr分别是什么（二者都可能是__Array，如果这是一个“新的”Array；或__Plus，如果这已经是一个表达式），所以我们需要两个模板参数LExpr与RExpr，以分别代表lhs和rhs的Expr类型；但同时我们知道，只有相同类型的Array之间可以进行运算，所以我们只需要一套T与N即可。所以，两个形参分别是const Array<T, N, LExpr> &lhs与const Array<T, N, RExpr> &rhs。

返回值是什么呢？不难发现，当__Expression<T, N, LExpr>与__Expression<T, N, RExpr>相加后，结果仍然是一个新的__Expression，而真正需要相加的其实是LExpr与RExpr，且相加的结果是__Plus<T, LExpr, RExpr>（事实上，相加的结果也可以就是__Plus<T, __Expression<T, N, LExpr>, __Expression<T, N, RExpr>>，你一定不难想出其中原因。但很明显，这样的代码也实在是太长，太反人类了），故返回值的类型就是一个Expr模板参数为__Plus<T, LExpr, RExpr>的__Expression，即__Expression<T, N, __Plus<T, LExpr, RExpr>>，而实际的返回值需要先使用lhs与rhs的__expr，构造出一个__Plus，再用这个__Plus，构造出一个新的__Expression。这里使用的是__Expression的第四构造函数。

现在，让我们试着使用一下我们刚刚实现的Array（请注意：如果你现在就实际编译以下这段代码，请去除__Expression的__expr的private限定，或为operator+函数进行友元授权）。请看以下示例：

  1. int main()
  2. {
  3.     // lhs，rhs，res的实际类型都是__Expression<int, 3, __Array<int, 3>>
  4.     Array<int, 3> lhs {1, 2, 3}, rhs {4, 5, 6}, res;
  6.     // “什么都不做”（不会进行实际的运算）
  7.     lhs + rhs + lhs;
  9.     // lhs + rhs...的类型是__Expression<int, 3, __Plus<__Array<int, 3>, __Array<int, 3>>>
  10.     // ... + lhs的类型是__Expression<int, 3, __Plus<__Plus<__Array<int, 3>, __Array<int, 3>>, __Array<int, 3>>>
  11.     // 直到operator=发生时，才会进行实际的运算
  12.     res = lhs + rhs + lhs;
  14.     for (int idx = 0; idx < 3; idx++)
  15.     {
  16.         // 此时，res[idx]就是一次指针运算
  17.         cout << res[idx] << endl;
  18.     }
  19. }

观察上述代码不难发现，我们仅仅才做了两次加法，__Expression的类型就已经“长的没法看”了。但是事实上，我们根本就不用关心__Expression的类型究竟是什么，而只需要牢记以下两点即可：

  1. 不管进行多少次计算，或一次计算都还没有进行（即一个Array），我们所操作的都是一个（可能具有很复杂类型的）__Expression
  2. 对__Expression进行operator[]，就相当于对__Expression中的__expr进行operator[]；而__expr无非只有两种情况：其要么是一个__Array，此时，operator[]就相当于一次数组取值；要么是一个__Plus，此时，operator[]就相当于递归地调用lhs[idx] + rhs[idx]，直到lhs与rhs都不再是一个__Plus为止

由此可见，__Expression一方面为用户提供了对于表达式模板的存在无感知的Array类，另一方面又丝毫不丢失其作为表达式模板的功能，实在是一个优秀的“左右开弓”类；另一方面，由于我们的__Array与__Plus均实现了统一的operator[]接口，这就使得__Expression能够“自适应地”最终实现对其自身的求值。以上种种，都能够为我们展现出“抽象”这一思想的精彩之处。

7.6 让标量也加入进来

在数学中，一个向量不仅可以和另一个向量相加，还可以和一个标量（即一个T类型的值）相加。本节我们就来实现这一功能。

如何让标量也加入我们的“__Expression大家族”中呢？没错，关键就在于我们在上几节已经“老生常谈”的operator[]。虽然标量根本就没有operator[]这一概念，我们也可以“强行的”为其添加这一概念，以使其适配__Expression的需要。请看以下示例：

  1. // 为标量提供的封装类，从而使得标量也能够适配__Expression
  2. template <typename T>
  3. class __Scalar
  4. {
  5. public:
  7.     // 构造函数
  8.     __Scalar(T val);
  11.     // 强行为标量提供一个“莫名其妙的”operator[]
  12.     // 不管索引值是多少（事实上我们根本就无视了这个索引值），都返回val
  13.     T operator[](int) const { return __val; }
  16. private:
  18.     // 使用一个T类型的数据成员存放构造函数中的val
  19.     T __val;
  20. };
  23. template <typename T>
  24. __Scalar<T>::__Scalar(T val): __val(val) {}

此时，__Expression的Expr模板参数就不仅可以是__Array或__Plus，还可以是__Scalar了。

让我们继续，实现适用于__Expression与__Scalar之间的加法的运算符重载。请看以下示例：

  1. // __Expression<T, N, LExpr> + T
  2. // 其结果为__Plus<T, LExpr, __Scalar<T>>
  3. template <typename T, int N, typename LExpr>
  4. inline __Expression<T, N, __Plus<T, LExpr, __Scalar<T>>> operator+(
  5.     const __Expression<T, N, LExpr> &lhs, const T &rhs)
  6. {
  7.     // 先使用rhs构造出一个__Scalar<T>
  8.     // 再使用lhs的__expr和__Scalar<T>构造出一个__Plus
  9.     // 最后使用一个__Plus构造出一个新的__Expression
  10.     return __Expression<T, N, __Plus<T, LExpr, __Scalar<T>>>(
  11.         __Plus<T, LExpr, __Scalar<T>>(lhs.__expr, __Scalar<T>(rhs)));
  12. }
  15. // T + __Expression<T, N, RExpr>
  16. // 其结果为：__Plus<T, __Scalar<T>, RExpr>
  17. template <typename T, int N, typename RExpr>
  18. inline __Expression<T, N, __Plus<T, __Scalar<T>, RExpr>> operator+(
  19.     const T &lhs, const __Expression<T, N, RExpr> &rhs)
  20. {
  21.     // 先使用lhs构造出一个__Scalar<T>
  22.     // 再使用__Scalar<T>和rhs的__expr构造出一个__Plus
  23.     // 最后使用一个__Plus构造出一个新的__Expression
  24.     return __Expression<T, N, __Plus<T, __Scalar<T>, RExpr>>(
  25.         __Plus<T, __Scalar<T>, RExpr>(__Scalar<T>(lhs), rhs.__expr));
  26. }

在我们试用这一功能前，其实还有一件事是没有完成的。请设想：当我们写下“lhs + 1”这一表达式时，这里的“1”显然是一个临时量，而如果使用我们现在所实现的__Plus，那么这个临时量“1”将被存入一个引用中。这将立即导致“悬挂引用”的发生！所以，我们需要实现一个简单的Traits类，在面对一个__Scalar时，将__Plus中的数据成员类型，从引用类型自动切换至值类型。这一Traits的实现非常简单，请看以下示例：

  1. // 不管T是是什么，都萃取出一个const T &类型...
  2. template <typename T>
  3. struct __ScalarTypeTraits
  4. {
  5.     typedef const T &__Type;
  6. };
  9. // ...但是，如果T是一个__Scalar<T>类型，则萃取出一个__Scalar<T>类型
  10. template <typename T>
  11. struct __ScalarTypeTraits<__Scalar<T>>
  12. {
  13.     typedef __Scalar<T> __Type;
  14. };

有了这个Traits，我们就可以使用这个Traits改进我们的__Plus类了。请看以下示例：

  1. template <typename T, typename LExpr, typename RExpr>
  2. class __Plus
  3. {
  5. // ...
  8. private:
  10.     // 原实现：
  11.     // const LExpr &__lhs;
  12.     // const RExpr &__rhs;
  14.     // 改进后的实现：
  15.     // 在LExpr（或RExpr）为__Scalar<LExpr>（或__Scalar<RExpr>）时
  16.     // __Type将从引用类型自动切换至值类型
  17.     typename __ScalarTypeTraits<LExpr>::__Type __lhs;
  18.     typename __ScalarTypeTraits<RExpr>::__Type __rhs;
  19. };

至此，我们就可以将标量也加入到表达式模板中了（请注意：如果你现在就实际编译以下这段代码，请去除__Expression的__expr的private限定，或为operator+函数进行友元授权）。请看以下示例：

  1. int main()
  2. {
  3.     Array<int, 3> lhs {1, 2, 3}, rhs {4, 5, 6}, res;
  5.     // 加入标量
  6.     res = lhs + rhs + lhs + 1;
  8.     // 7 10 13
  9.     for (int idx = 0; idx < 3; idx++)
  10.     {
  11.         cout << res[idx] << endl;
  12.     }
  13. }

本节中，我们通过一个对标量的简单的封装类，使得标量也能够加入到表达式模板中；同时，为了避免标量临时量所引发的“悬挂引用”问题，我们又实现了一个简单的Traits类，用于在面对标量时自动将表达式模板中的引用类型切换为值类型。

至此，表达式模板的全部技术就都讨论完毕了。下一节，我们将最终给出表达式模板的完整实现。

7.7 完整的实现

由于本章的代码较为分散，且我们仍有很多重复性的代码没有于上文中给出。故本节中，我们将给出表达式模板的完整实现。主要包含以下几点新增内容：

  1. 我们不仅需要实现operator+，还要实现operator-、operator*、operator/和operator%。这些实现都是operator+的简单重复
  2. 我们需要为所有的operator函数添加友元授权
  3. 我们需要为__Expression实现operator<<重载（实现方案与operator=一致）

请看以下示例：

  1. // “梦开始的地方”：__Array类
  2. template <typename T, int N>
  3. class __Array
  4. {
  5. public:
  7.     // 构造函数
  8.     __Array();
  9.     explicit __Array(const T &val);
  10.     __Array(initializer_list<T> initializerList);
  13.     // operator[]
  14.     T &operator[](int idx) { return __data[idx]; }
  15.     const T &operator[](int idx) const { return __data[idx]; }
  18. private:
  20.     // 数据成员
  21.     T __data[N];
  22. };
  25. template <typename T, int N>
  26. __Array<T, N>::__Array() = default;
  29. template <typename T, int N>
  30. __Array<T, N>::__Array(const T &val)
  31. {
  32.     for (int idx = 0; idx < N; idx++)
  33.     {
  34.         __data[idx] = val;
  35.     }
  36. }
  39. template <typename T, int N>
  40. __Array<T, N>::__Array(initializer_list<T> initializerList)
  41. {
  42.     int idx = 0;
  44.     for (auto &val: initializerList)
  45.     {
  46.         __data[idx++] = val;
  47.     }
  48. }
  51. // 标量适配器
  52. template <typename T>
  53. class __Scalar
  54. {
  55. public:
  57.     // 构造函数
  58.     __Scalar(T val);
  61.     // operator[]
  62.     T operator[](int) const { return __val; }
  65. private:
  67.     // 数据成员
  68.     T __val;
  69. };
  72. template <typename T>
  73. __Scalar<T>::__Scalar(T val): __val(val) {}
  76. // 标量值类型萃取器
  77. template <typename T>
  78. struct __ScalarTypeTraits
  79. {
  80.     typedef const T &__Type;
  81. };
  84. template <typename T>
  85. struct __ScalarTypeTraits<__Scalar<T>>
  86. {
  87.     typedef __Scalar<T> __Type;
  88. };
  91. // 加法表达式模板
  92. template <typename T, typename LExpr, typename RExpr>
  93. class __Plus
  94. {
  95. public:
  97.     // 构造函数
  98.     __Plus(const LExpr &lhs, const RExpr &rhs);
  101.     // operator[]
  102.     T operator[](int idx) const { return __lhs[idx] + __rhs[idx]; }
  105. private:
  107.     // 数据成员
  108.     typename __ScalarTypeTraits<LExpr>::__Type __lhs;
  109.     typename __ScalarTypeTraits<RExpr>::__Type __rhs;
  110. };
  113. // 减法表达式模板
  114. template <typename T, typename LExpr, typename RExpr>
  115. class __Minus
  116. {
  117. public:
  119.     // 构造函数
  120.     __Minus(const LExpr &lhs, const RExpr &rhs);
  123.     // operator[]
  124.     T operator[](int idx) const { return __lhs[idx] - __rhs[idx]; }
  127. private:
  129.     // 数据成员
  130.     typename __ScalarTypeTraits<LExpr>::__Type __lhs;
  131.     typename __ScalarTypeTraits<RExpr>::__Type __rhs;
  132. };
  135. // 乘法表达式模板
  136. template <typename T, typename LExpr, typename RExpr>
  137. class __Multiplies
  138. {
  139. public:
  141.     // 构造函数
  142.     __Multiplies(const LExpr &lhs, const RExpr &rhs);
  145.     // operator[]
  146.     T operator[](int idx) const { return __lhs[idx] * __rhs[idx]; }
  149. private:
  151.     // 数据成员
  152.     typename __ScalarTypeTraits<LExpr>::__Type __lhs;
  153.     typename __ScalarTypeTraits<RExpr>::__Type __rhs;
  154. };
  157. // 除法表达式模板
  158. template <typename T, typename LExpr, typename RExpr>
  159. class __Divides
  160. {
  161. public:
  163.     // 构造函数
  164.     __Divides(const LExpr &lhs, const RExpr &rhs);
  167.     // operator[]
  168.     T operator[](int idx) const { return __lhs[idx] / __rhs[idx]; }
  171. private:
  173.     // 数据成员
  174.     typename __ScalarTypeTraits<LExpr>::__Type __lhs;
  175.     typename __ScalarTypeTraits<RExpr>::__Type __rhs;
  176. };
  179. // 取模表达式模板
  180. template <typename T, typename LExpr, typename RExpr>
  181. class __Modulus
  182. {
  183. public:
  185.     // 构造函数
  186.     __Modulus(const LExpr &lhs, const RExpr &rhs);
  189.     // operator[]
  190.     T operator[](int idx) const { return __lhs[idx] % __rhs[idx]; }
  193. private:
  195.     // 数据成员
  196.     typename __ScalarTypeTraits<LExpr>::__Type __lhs;
  197.     typename __ScalarTypeTraits<RExpr>::__Type __rhs;
  198. };
  201. template <typename T, typename LExpr, typename RExpr>
  202. __Plus<T, LExpr, RExpr>::__Plus(const LExpr &lhs, const RExpr &rhs): __lhs(lhs), __rhs(rhs) {}
  205. template <typename T, typename LExpr, typename RExpr>
  206. __Minus<T, LExpr, RExpr>::__Minus(const LExpr &lhs, const RExpr &rhs): __lhs(lhs), __rhs(rhs) {}
  209. template <typename T, typename LExpr, typename RExpr>
  210. __Multiplies<T, LExpr, RExpr>::__Multiplies(const LExpr &lhs, const RExpr &rhs): __lhs(lhs), __rhs(rhs) {}
  213. template <typename T, typename LExpr, typename RExpr>
  214. __Divides<T, LExpr, RExpr>::__Divides(const LExpr &lhs, const RExpr &rhs): __lhs(lhs), __rhs(rhs) {}
  217. template <typename T, typename LExpr, typename RExpr>
  218. __Modulus<T, LExpr, RExpr>::__Modulus(const LExpr &lhs, const RExpr &rhs): __lhs(lhs), __rhs(rhs) {}
  221. // __Expression表达式类
  222. template <typename T, int N, typename Expr>
  223. class __Expression
  224. {
  225. public:
  227.     // 构造函数
  228.     __Expression();
  229.     explicit __Expression(const T &val);
  230.     __Expression(initializer_list<T> initializerList);
  231.     __Expression(const Expr &expr);
  234.     // operator[]
  235.     T &operator[](int idx) { return __expr[idx]; }
  236.     T operator[](int idx) const { return __expr[idx]; }
  239.     // operator=
  240.     template <typename RExpr>
  241.     __Expression &operator=(const __Expression<T, N, RExpr> &rhs);
  244. private:
  246.     // 数据成员
  247.     Expr __expr;
  250. // 以下均为友元授权
  252. // operator+
  253. template <typename T_, int N_, typename LExpr, typename RExpr>
  254. friend inline __Expression<T_, N_, __Plus<T_, LExpr, RExpr>> operator+(
  255.     const __Expression<T_, N_, LExpr> &lhs, const __Expression<T_, N_, RExpr> &rhs);
  258. template <typename T_, int N_, typename LExpr>
  259. friend inline __Expression<T_, N_, __Plus<T_, LExpr, __Scalar<T_>>> operator+(
  260.     const __Expression<T_, N_, LExpr> &lhs, const T_ &rhs);
  263. template <typename T_, int N_, typename RExpr>
  264. friend inline __Expression<T_, N_, __Plus<T_, __Scalar<T_>, RExpr>> operator+(
  265.     const T_ &lhs, const __Expression<T_, N_, RExpr> &rhs);
  268. // operator-
  269. template <typename T_, int N_, typename LExpr, typename RExpr>
  270. friend inline __Expression<T_, N_, __Minus<T_, LExpr, RExpr>> operator-(
  271.     const __Expression<T_, N_, LExpr> &lhs, const __Expression<T_, N_, RExpr> &rhs);
  274. template <typename T_, int N_, typename LExpr>
  275. friend inline __Expression<T_, N_, __Minus<T_, LExpr, __Scalar<T_>>> operator-(
  276.     const __Expression<T_, N_, LExpr> &lhs, const T_ &rhs);
  279. template <typename T_, int N_, typename RExpr>
  280. friend inline __Expression<T_, N_, __Minus<T_, __Scalar<T_>, RExpr>> operator-(
  281.     const T_ &lhs, const __Expression<T_, N_, RExpr> &rhs);
  284. // operator*
  285. template <typename T_, int N_, typename LExpr, typename RExpr>
  286. friend inline __Expression<T_, N_, __Multiplies<T_, LExpr, RExpr>> operator*(
  287.     const __Expression<T_, N_, LExpr> &lhs, const __Expression<T_, N_, RExpr> &rhs);
  290. template <typename T_, int N_, typename LExpr>
  291. friend inline __Expression<T_, N_, __Multiplies<T_, LExpr, __Scalar<T_>>> operator*(
  292.     const __Expression<T_, N_, LExpr> &lhs, const T_ &rhs);
  295. template <typename T_, int N_, typename RExpr>
  296. friend inline __Expression<T_, N_, __Multiplies<T_, __Scalar<T_>, RExpr>> operator*(
  297.     const T_ &lhs, const __Expression<T_, N_, RExpr> &rhs);
  300. // operator/
  301. template <typename T_, int N_, typename LExpr, typename RExpr>
  302. friend inline __Expression<T_, N_, __Divides<T_, LExpr, RExpr>> operator/(
  303.     const __Expression<T_, N_, LExpr> &lhs, const __Expression<T_, N_, RExpr> &rhs);
  306. template <typename T_, int N_, typename LExpr>
  307. friend inline __Expression<T_, N_, __Divides<T_, LExpr, __Scalar<T_>>> operator/(
  308.     const __Expression<T_, N_, LExpr> &lhs, const T_ &rhs);
  311. template <typename T_, int N_, typename RExpr>
  312. friend inline __Expression<T_, N_, __Divides<T_, __Scalar<T_>, RExpr>> operator/(
  313.     const T_ &lhs, const __Expression<T_, N_, RExpr> &rhs);
  316. // operator%
  317. template <typename T_, int N_, typename LExpr, typename RExpr>
  318. friend inline __Expression<T_, N_, __Modulus<T_, LExpr, RExpr>> operator%(
  319.     const __Expression<T_, N_, LExpr> &lhs, const __Expression<T_, N_, RExpr> &rhs);
  322. template <typename T_, int N_, typename LExpr>
  323. friend inline __Expression<T_, N_, __Modulus<T_, LExpr, __Scalar<T_>>> operator%(
  324.     const __Expression<T_, N_, LExpr> &lhs, const T_ &rhs);
  327. template <typename T_, int N_, typename RExpr>
  328. friend inline __Expression<T_, N_, __Modulus<T_, __Scalar<T_>, RExpr>> operator%(
  329.     const T_ &lhs, const __Expression<T_, N_, RExpr> &rhs);
  330. };
  333. template <typename T, int N, typename Expr>
  334. __Expression<T, N, Expr>::__Expression() = default;
  337. template <typename T, int N, typename Expr>
  338. __Expression<T, N, Expr>::__Expression(const T &val): __expr(val) {}
  341. template <typename T, int N, typename Expr>
  342. __Expression<T, N, Expr>::__Expression(initializer_list<T> initializerList): __expr(initializerList) {}
  345. template <typename T, int N, typename Expr>
  346. __Expression<T, N, Expr>::__Expression(const Expr &expr): __expr(expr) {}
  349. template <typename T, int N, typename Expr>
  350. template <typename RhsExpr>
  351. __Expression<T, N, Expr> &__Expression<T, N, Expr>::operator=(
  352.     const __Expression<T, N, RhsExpr> &rhs)
  353. {
  354.     for (int idx = 0; idx < N; idx++)
  355.     {
  356.         __expr[idx] = rhs[idx];
  357.     }
  359.     return *this;
  360. }
  363. // 运算符重载
  365. // __Expression + __Expression
  366. template <typename T, int N, typename LExpr, typename RExpr>
  367. inline __Expression<T, N, __Plus<T, LExpr, RExpr>> operator+(
  368.     const __Expression<T, N, LExpr> &lhs, const __Expression<T, N, RExpr> &rhs)
  369. {
  370.     return __Expression<T, N, __Plus<T, LExpr, RExpr>>(
  371.         __Plus<T, LExpr, RExpr>(lhs.__expr, rhs.__expr));
  372. }
  375. // __Expression + __Scalar
  376. template <typename T, int N, typename LExpr>
  377. inline __Expression<T, N, __Plus<T, LExpr, __Scalar<T>>> operator+(
  378.     const __Expression<T, N, LExpr> &lhs, const T &rhs)
  379. {
  380.     return __Expression<T, N, __Plus<T, LExpr, __Scalar<T>>>(
  381.         __Plus<T, LExpr, __Scalar<T>>(lhs.__expr, __Scalar<T>(rhs)));
  382. }
  385. // __Scalar + __Expression
  386. template <typename T, int N, typename RExpr>
  387. inline __Expression<T, N, __Plus<T, __Scalar<T>, RExpr>> operator+(
  388.     const T &lhs, const __Expression<T, N, RExpr> &rhs)
  389. {
  390.     return __Expression<T, N, __Plus<T, __Scalar<T>, RExpr>>(
  391.         __Plus<T, __Scalar<T>, RExpr>(__Scalar<T>(lhs), rhs.__expr));
  392. }
  395. // __Expression - __Expression
  396. template <typename T, int N, typename LExpr, typename RExpr>
  397. inline __Expression<T, N, __Minus<T, LExpr, RExpr>> operator-(
  398.     const __Expression<T, N, LExpr> &lhs, const __Expression<T, N, RExpr> &rhs)
  399. {
  400.     return __Expression<T, N, __Minus<T, LExpr, RExpr>>(
  401.         __Minus<T, LExpr, RExpr>(lhs.__expr, rhs.__expr));
  402. }
  405. // __Expression - __Scalar
  406. template <typename T, int N, typename LExpr>
  407. inline __Expression<T, N, __Minus<T, LExpr, __Scalar<T>>> operator-(
  408.     const __Expression<T, N, LExpr> &lhs, const T &rhs)
  409. {
  410.     return __Expression<T, N, __Minus<T, LExpr, __Scalar<T>>>(
  411.         __Minus<T, LExpr, __Scalar<T>>(lhs.__expr, __Scalar<T>(rhs)));
  412. }
  415. // __Scalar - __Expression
  416. template <typename T, int N, typename RExpr>
  417. inline __Expression<T, N, __Minus<T, __Scalar<T>, RExpr>> operator-(
  418.     const T &lhs, const __Expression<T, N, RExpr> &rhs)
  419. {
  420.     return __Expression<T, N, __Minus<T, __Scalar<T>, RExpr>>(
  421.         __Minus<T, __Scalar<T>, RExpr>(__Scalar<T>(lhs), rhs.__expr));
  422. }
  425. // __Expression * __Expression
  426. template <typename T, int N, typename LExpr, typename RExpr>
  427. inline __Expression<T, N, __Multiplies<T, LExpr, RExpr>> operator*(
  428.     const __Expression<T, N, LExpr> &lhs, const __Expression<T, N, RExpr> &rhs)
  429. {
  430.     return __Expression<T, N, __Multiplies<T, LExpr, RExpr>>(
  431.         __Multiplies<T, LExpr, RExpr>(lhs.__expr, rhs.__expr));
  432. }
  435. // __Expression * __Scalar
  436. template <typename T, int N, typename LExpr>
  437. inline __Expression<T, N, __Multiplies<T, LExpr, __Scalar<T>>> operator*(
  438.     const __Expression<T, N, LExpr> &lhs, const T &rhs)
  439. {
  440.     return __Expression<T, N, __Multiplies<T, LExpr, __Scalar<T>>>(
  441.         __Multiplies<T, LExpr, __Scalar<T>>(lhs.__expr, __Scalar<T>(rhs)));
  442. }
  445. // __Scalar * __Expression
  446. template <typename T, int N, typename RExpr>
  447. inline __Expression<T, N, __Multiplies<T, __Scalar<T>, RExpr>> operator*(
  448.     const T &lhs, const __Expression<T, N, RExpr> &rhs)
  449. {
  450.     return __Expression<T, N, __Multiplies<T, __Scalar<T>, RExpr>>(
  451.         __Multiplies<T, __Scalar<T>, RExpr>(__Scalar<T>(lhs), rhs.__expr));
  452. }
  455. // __Expression / __Expression
  456. template <typename T, int N, typename LExpr, typename RExpr>
  457. inline __Expression<T, N, __Divides<T, LExpr, RExpr>> operator/(
  458.     const __Expression<T, N, LExpr> &lhs, const __Expression<T, N, RExpr> &rhs)
  459. {
  460.     return __Expression<T, N, __Divides<T, LExpr, RExpr>>(
  461.         __Divides<T, LExpr, RExpr>(lhs.__expr, rhs.__expr));
  462. }
  465. // __Expression / __Scalar
  466. template <typename T, int N, typename LExpr>
  467. inline __Expression<T, N, __Divides<T, LExpr, __Scalar<T>>> operator/(
  468.     const __Expression<T, N, LExpr> &lhs, const T &rhs)
  469. {
  470.     return __Expression<T, N, __Divides<T, LExpr, __Scalar<T>>>(
  471.         __Divides<T, LExpr, __Scalar<T>>(lhs.__expr, __Scalar<T>(rhs)));
  472. }
  475. // __Scalar / __Expression
  476. template <typename T, int N, typename RExpr>
  477. inline __Expression<T, N, __Divides<T, __Scalar<T>, RExpr>> operator/(
  478.     const T &lhs, const __Expression<T, N, RExpr> &rhs)
  479. {
  480.     return __Expression<T, N, __Divides<T, __Scalar<T>, RExpr>>(
  481.         __Divides<T, __Scalar<T>, RExpr>(__Scalar<T>(lhs), rhs.__expr));
  482. }
  485. // __Expression % __Expression
  486. template <typename T, int N, typename LExpr, typename RExpr>
  487. inline __Expression<T, N, __Modulus<T, LExpr, RExpr>> operator%(
  488.     const __Expression<T, N, LExpr> &lhs, const __Expression<T, N, RExpr> &rhs)
  489. {
  490.     return __Expression<T, N, __Modulus<T, LExpr, RExpr>>(
  491.         __Modulus<T, LExpr, RExpr>(lhs.__expr, rhs.__expr));
  492. }
  495. // __Expression % __Scalar
  496. template <typename T, int N, typename LExpr>
  497. inline __Expression<T, N, __Modulus<T, LExpr, __Scalar<T>>> operator%(
  498.     const __Expression<T, N, LExpr> &lhs, const T &rhs)
  499. {
  500.     return __Expression<T, N, __Modulus<T, LExpr, __Scalar<T>>>(
  501.         __Modulus<T, LExpr, __Scalar<T>>(lhs.__expr, __Scalar<T>(rhs)));
  502. }
  505. // __Scalar % __Expression
  506. template <typename T, int N, typename RExpr>
  507. inline __Expression<T, N, __Modulus<T, __Scalar<T>, RExpr>> operator%(
  508.     const T &lhs, const __Expression<T, N, RExpr> &rhs)
  509. {
  510.     return __Expression<T, N, __Modulus<T, __Scalar<T>, RExpr>>(
  511.         __Modulus<T, __Scalar<T>, RExpr>(__Scalar<T>(lhs), rhs.__expr));
  512. }
  515. // 适用于__Expression的operator<<重载
  516. template <typename T, int N, typename Expr>
  517. ostream &operator<<(ostream &os, const __Expression<T, N, Expr> &expressionObj)
  518. {
  519.     os << '[';
  521.     if (N)
  522.     {
  523.         os << expressionObj[0];
  525.         for (int idx = 1; idx < N; idx++)
  526.         {
  527.             os << ", " << expressionObj[idx];
  528.         }
  529.     }
  531.     os << ']';
  533.     return os;
  534. }
  537. // 最终供用户使用的Array类
  538. template <typename T, int N>
  539. using Array = __Expression<T, N, __Array<T, N>>;
  542. int main()
  543. {
  544.     // 默认构造函数
  545.     Array<int, 3> sampleArrayA;  // [?, ?, ?]
  547.     // Fill构造函数
  548.     Array<int, 3> sampleArrayB(0);  // [0, 0, 0]
  550.     // initializer_list构造函数
  551.     Array<int, 3> sampleArrayC {1, 2, 3};  // [1, 2, 3]
  553.     // 拷贝构造函数
  554.     Array<int, 3> sampleArrayD(sampleArrayC);  // [1, 2, 3]
  556.     // 四则运算
  557.     Array<int, 3> arrayA {1, 2, 3}, arrayB {4, 5, 6}, resArray;
  559.     // operator<<
  560.     cout << arrayA << endl;    // [1, 2, 3]
  561.     cout << arrayB << endl;    // [4, 5, 6]
  562.     cout << resArray << endl;  // [?, ?, ?]
  564.     // 惰性计算
  565.     arrayA + arrayB;  // 什么都不做！
  566.     cout << arrayA + arrayB << endl;  // [5, 7, 9]
  568.     // operator+
  569.     resArray = 2 + arrayA + arrayB + 2;
  570.     cout << resArray << endl;  // [9, 11, 13]
  572.     // operator-
  573.     resArray = 2 - arrayA - arrayB - 2;
  574.     cout << resArray << endl;  // [-5, -7, -9]
  576.     // operator*
  577.     resArray = 2 * arrayA * arrayB * 2;
  578.     cout << resArray << endl;  // [16, 40, 72]
  580.     // operator/
  581.     resArray = 200 / arrayB / arrayA / 2;
  582.     cout << resArray << endl;  // [25, 10, 5]
  584.     // operator%
  585.     resArray = 17 % arrayA % arrayB % 5;
  586.     cout << resArray << endl;  // [0, 1, 2]
  587. }

至此，表达式模板的实现也就全部完成了。

7.8 本章后记

表达式模板，作为一种服务于高性能计算场合的模板技术，被广泛应用于各种线性代数库中（如著名的Eigen库）。表达式模板的精彩之处在于：其充分利用了多级模板抽象所带来的更大的抽象能力，将表达式模板中产生的重重复杂类型完全隐藏于代码实现中，使得用户既能够像书写普通表达式那样进行公式的编码，亦能够享受到表达式模板所带来的极佳效率。模板在高性能计算领域的这一应用，既为模板技术再添精彩一笔，也为我们的故事画上了句号...

8 模板是黑魔法吗？——后记

模板，最早于上世纪90年代被引入至C++，此后的多年内，模板技术迅速发展，促使了大量与之相关的程序设计技术的出现与成熟，并直接导致了STL的出现。在模板出现的几年后，一份“通过报错信息计算质数”的程序代码彻底刷新了人们对于模板的认知，这直接导致了“模板元编程”这一概念的出现（本文作者原想以此份代码的解读作为后记前的最后一章，但这份代码已年代久远，已经不能在作者的GCC编译器上得到理想的效果了，故抱憾作罢）。C++98标准的确立，催生了包括《C++ Templates: The Complete Guide》、《Modern C++ Design》等大量优秀著作的产生。正如《Modern C++ Design》一书的中文译序中所言，这些书籍所讲述的技术，使得我们不再认为模板只是一位“戴上了新帽子”的旧朋友。阅读这些书籍，一定能让你对模板这一技术具有更深入，更全面的认知。

模板是黑魔法吗？类似的问题还有很多（例如：Python的元类是黑魔法吗？）。如果你是一个狂热的模板爱好者，你一定会回答：不！模板是很有用的工具！而如果你对模板不是很感兴趣，或仅仅是因为在学习模板的过程中感到吃力，也许你会对模板的实用性存疑。人对某一个学术领域，某一项技术的认知，必将随着学识、心态、技术本身的兴衰等因素的变化而不断的发生着变化。所以这个问题地答案，也就等着读者你自己去不断的回答了。

注：本文中的部分程序已完整实现于本文作者的Github上，列举如下：

  1. 编译期分数：https://github.com/yingyulou/STLToyRoom/tree/main/Fraction
  2. print函数：https://github.com/yingyulou/pprint
  3. Tuple：https://github.com/yingyulou/STLToyRoom/tree/main/Tuple
  4. 表达式模板：https://github.com/yingyulou/ExprTmpl

原文链接：http://www.cnblogs.com/yingyulou/p/14410585.html

 友情链接：直通硅谷 　点职佳 　北美留学生论坛

C++热门文章

  • C/C++编程笔记：编写不会在C ++中编译的C程序，我教你呀！
  • 洛谷 P2085 最小函数值
  • 使用C++界面框架ImGUI开发一个简单程序
  • C++ Json解析CJsonObject的详细使用
  • C++编译错误杂记
  • 二分法（二）：采用二分法解决“最小化最大值问题”
  • C++实现json字符串与map的转换
  • C++借助curses库实现俄罗斯方块
  • 长乐培训Day5
  • 【OpenFOAM】——OpenFOAM入门算例学习

    • C++推荐文章

  • #8. 「模板」树链剖分
  • 预设型 DP
  • Standard Template Libary or C++ Standard Library
  • 一种优秀的虚拟机内存架构 - AQ
  • 如何让 MGR 不从 Primary 节点克隆数据？
  • TLScanary：Pwn中的利器
  • c++临时对象导致的生命周期问题
  • C++(Qt)-GIS开发-简易瓦片地图下载器
  • 逆向通达信 x 逆向微信 x 逆向Qt
  • C++面向对象

    • 本站QQ群：前端 618073944 | Java 606181507 | Python 626812652 | C/C++ 612253063 | 微信 634508462 | 苹果 692586424 | C#/.net 182808419 | PHP 305140648 | 运维 608723728

    W3xue 的所有内容仅供测试，对任何法律问题及风险不承担任何责任。通过使用本站内容随之而来的风险与本站无关。
    关于我们  |  意见建议  |  捐助我们  |  报错有奖  |  广告合作、友情链接（目前9元/月）请联系QQ：27243702 沸活量
    皖ICP备17017327号-2　皖公网安备34020702000426号