原理:模板元程序由编译器在编译期解释执行,利用模板特化机制实现编译期条件选择结构,利用递归模板实现编译期循环结构。模板元编程(metaprogramming)意思是,编程系统将会执行我们所写的代码,来生成新的代码,而这些新代码才真正实现了我们所期望的功能。元编程大的特点在于:某些用户自定义的计算可以在编译期进行,二者通常能够在性能和接口简单性方面带来好处。
  1. 利用模板特化机制实现编译期条件选择结构
  首先了解一下类模板的特化。类模板特化是指将模板参数指定为某一种类型,你必须在起始处声明一个template<>,接下来声明用来特化模板的类型。这个类型被用作模板实参,且必须在类名后面直接指定:
  template<typename T>
  class StackSpecialize
  {
  T m_member;
  };
  template<>
  class StackSpecialize<std::string>
  {
  std::string m_member;
  };
  了解了特化之后,可以看一下如下求斐波那契数列的元编程代码:
  #include "stdafx.h"
  #include <iostream>
  using namespace std;
  // 主模板
  template<int N>
  struct Fib
  {
  enum {Result = Fib<N-1>::Result + Fib<N-2>::Result};
  };
  // 特化模板必须在主模板之后
  // 完全特化版,处理N=1的情况
  template<>
  struct Fib<1>
  {
  enum {Result = 1};
  };
  // 完全特化版,处理N=0的情况
  template<>
  struct Fib<0>
  {
  enum {Result = 0};
  };
  int _tmain(int argc, _TCHAR* argv[])
  {
  int i = Fib<500>::Result;
  std::cout<<i<<std::endl;
  return 0;
  }
  上述程序编译时,会进行递归实例化,为了计算Fib<500>的enum Result的值,会实例化Fib<499>和Fib<498>,如此递归下去。程序中给出了当N=1和N=0的情况,程序实例化到Fib<1>和Fib<0>时,完全特化版被实例化,递归结束。模板实例化通常要消耗巨大的编译器资源,C++标准建议多只进行17层递归实例化,上述程序VS下可以正常编译,但VS多支持500次,501次即报错:Error 1 error C1202: recursive type or function dependency context too complex。
  上述数列在计算时使用的是模板的特化机制实现条件选择结构,还有比如在求大值的函数中,使用(表达式A?表达式B:表达式C)来实现分支选择,像这种?:符号,编译器在实例化时,不仅实例化表达式B分支,表达式C分支也会实例化。这样造成的一个问题是递归次数的增加,但VS和gcc递归的次数是有限的,所以必须限制实例化数量,使其不至过于庞大。typedef是一个解决方法,为一个类模板定义一个typedef并不会导致C++编译器实例化该实例的实体。
  // 基础模板:根据第1个实参,来确定是使用第2个实参,还是第3个实参
  template<bool C, typename Ta, typename Tb>
  class IfThenElse;
  // 局部特化
  template<typename Ta, typename Tb>
  class IfThenElse<true, Ta, Tb> {
  public:
  typedef Ta ResultT;
  };
  // 局部特化
  template<typename Ta, typename Tb>
  class IfThenElse<false, Ta, Tb>
  {
  public:
  typedef Tb ResultT;
  };
  2. 利用递归模板实现编译期循环结构
  以两个向量的点乘为例,比较直观的解决的解决方法当然是维度为循环次数,依次相加相乘。使用元编程编写基本模板后,再编写作为结束条件的局部特化版本,可以使用元编程实现循环结构了。
  元编程的意义不只是编译期的数值计算,因为元编程的输入的数据必须是已知的,如果程序运行时输入的数据动态变化,那么元编程无能为力了。问题在于,如果不是纯数值计算,输入的数据都是未知的。元编程还可以用来进行代码生成,编译期断言,类型计算等。Qt用到代码生成,它将源代码交给标准编译器之前,需要事先将使用 moc (Meta-Object Compiler,“元对象编译器”)分析 C++ 源文件。如果它发现在一个头文件中包含了宏 Q_OBJECT,则会生成另外一个 C++ 源文件。这个源文件中包含了 Q_OBJECT 宏的实现代码。这个新的文件名字将会是原文件名前面加上 moc_ 构成。这个新的文件同样将进入编译系统,终被链接到二进制代码中去。