Effective C++ 条款48：认识 template 元编程 (*)

条款48：认识 template 元编程 (*)

Template Metaprogramming (TMP，模板元编程) 是一种通过模板在编译期执行计算的技术，旨在将工作从运行期转移到编译期，从而实现更早的错误检测和更高的执行效率。TMP 使得程序员能够在编译阶段根据类型信息生成定制化的代码。

使用场景

1. 提高执行效率：
   将一些计算移到编译期可以减少运行时的计算量，从而提高程序性能。

2. 早期错误检测：
   在编译期捕获类型错误，避免在运行时发生。

3. 基于策略组合生成客户定制代码：
   通过模板的特化，可以根据不同的策略组合生成定制化的代码，从而提高代码的复用性和灵活性。

4. 避免生成不适合某些特殊类型的代码：
   TMP 还可以避免对某些类型生成不适用的代码，从而避免编译时错误或运行时问题。

示例：通过 TMP 实现编译期计算

template <typename T>
struct Factorial {
    
    
    static const int value = T::value * Factorial<typename T::prev>::value;
};

template <>
struct Factorial<struct Zero> {
    
    
    static