模板元编程

类是对对象的抽象，类模板则是对类的抽象（抽象是为提供更强的表达能力，还有统一（一致性））。在更高的抽象观点上来看，类型和值是同一种东西，同样可以计算。模板可以看作是一种更智能的宏，为了在使用时的一致性，使用了许多的技巧。现代的编程语言，要么为了效率，把以前运行时的工作拿到编译期。要么为了更大的自由度，把以前编译期的动作拿到运行期。

模板的特化可以看作是在编译期执行的运行期的if else的条件判断,而模板的递归嵌套则实现了循环的能力.

从编程范式来看,C++ 元编程是函数式编程，从编程形式来看，模板的“<>”中的模板参数相当于函数调用的形参，实例化时传入对应的实参，模板中的 typedef 或 static const 或 enum 定义函数返回值（类型或数值，数值仅支持整型，如果需要可以通过编码计算浮点数），代码计算是通过类型计算进而选择类型的函数实现的（C++ 属于静态类型语言，编译器对类型的操控能力很强）。

（插播：enum相当于定义了编译期的整形常量，static，const变量的值也是在编译期就确定的，注意C语言中不能用const 变量来表示数组的维度，C++中才可以）。

在这里总结一下C++中的enum的用法：

enum ButtonRole{ InvalidRole=-1, AcceptRole, RejectRole };

ButtonRole btnrole = AcceptRole;

ButtonRole是枚举类型，btnrole是对应的变量。InvalidRole ，AcceptRole，RejectRole是枚举量，相当于整形的符号常量。编译器会隐式的将枚举量转化为整形常量。

int i = btnrole 或者 int i= AcceptRole;  不过反过来不行。

int j{0};  这样判断 if(j == RejectRole)

甚至可以进行算术运算： AcceptRole * RejectRole

需要注意的是在类中嵌套定义的枚举类型，

class QMessageBox
{
    enum ButtonRole{ InvalidRole = -1, AcceptRole, RejectRole };
};

此时使用时，需要指明在哪一个域中。

int i = QMessageBox:: AcceptRole

或者进行算术运算 QMessageBox::AcceptRole + QMessageBox:: RejectRole

可以看到，enum 和 static的用法是很相似的，枚举量的用法和static类型的变量用法基本一样。