Item 48 TMP编程介绍-优快云博客

本文通过两个具体例子展示了模板元编程（TMP）的基本概念及其优势。首先解释了如何使用重载而非条件语句来改进迭代器的advance操作，并讨论了在不同迭代器类别中实现这一操作的挑战。接着，通过递归模板特化的方式实现了阶乘函数，展示了如何将递归计算转移到编译阶段，以此提升程序运行效率。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Item 47介绍了一个advance的例子。如果用typeid的方式，会出现两个问题。其中之一如下：

template<typename IterT, typename DistT> void advance(IterT& iter, DistT d) { if (typeid(typename std::iterator_traits<IterT>::iterator_category) == typeid(std::random_access_iterator_tag)) { iter += d; // compile error } ... } void main() { std::list<int>::iterator iter; // list的iterator是双向的，不是随机存取的 ... advance(iter, 10); }

出错的原因，在于对advance实例化时，会发现其不支持随机访问，而使编译器无法处理iter += d这句话。
所以，最后问题的解决要用重载而不是用if语句。

这就是TMP编程：template metaprogramming。

所谓的TMP编程，好处是：
1> 使某些事情处理起来更简单。
2> 把某些事情从运行时搬到编译时。从而，程序运行的速度快，运行时错误及早发现。当然，编译时间会加长。

再来一个求阶乘的例子：

template<unsigned n> struct Factorial { enum { value = n * Factorial<n-1>::value }; }; template<> struct Factorial<0> { enum { value = 1 }; }; int main() { std::cout << Factorial<5>::value; std::cout << Factorial<10>::value; }

可以看到，递归都搞到编译里了，编译的时间能不长吗。