类是对对象的抽象,类模板则是对类的抽象(抽象是为提供更强的表达能力,还有统一(一致性))。在更高的抽象观点上来看,类型和值是同一种东西,同样可以计算。模板可以看作是一种更智能的宏,为了在使用时的一致性,使用了许多的技巧。现代的编程语言,要么为了效率,把以前运行时的工作拿到编译期。要么为了更大的自由度,把以前编译期的动作拿到运行期。
模板的特化可以看作是在编译期执行的运行期的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类型的变量用法基本一样。