模板元编程入门详解.docVIP

模板元编程入门详解 阅读次数: 19次 发布时间: 2012-05-07 10:11:32发布人: pengzl 来源: 网络转载 当我们在程序中要用到一个需要计算出来的常数，但是又不想在程序中写表达式（因为影响程序速度），还不想用计算器先算出来再直接用结果，怎么办？答：可以考虑用define或const。例如我要用到一天有多少秒，我会定义宏（#define DAY_SEC 24*60*60） 或者定义常量（const unsigned day_sec=24*60*60;），这样我在程序中直接用DAY_SEC或day_sec就行了，编译器会提前替我计算出来的。但是，我要用到斐波纳契数列第N项常量，我要用到整数N的平方根常量，... ，怎么办？答：可以考虑用TMP。 参考： #include iostream using namespace std; templateunsigned n struct Factorial { enum {value = n * Factorialn-1::value}; }; template struct Factorial0 { enum {value = 1}; }; int main() { cout Factorial10::value endl; return 0; } 解释：  历史： 1994年，在圣迭哥举行的一次C++标准委员会会议期间，Erwin Unruh展示了一段特别的代码，可以在编译期以编译错误信息的方式产生从2到某个给定值之间的所有质数。同年夏天，Todd Veldhuizen受Erwin的例子启发，发现可以使用C++模板进行元编程（metaprogramming），并发表了一份技术报告。次年5月又在C++ Report上发表了一篇名为“Using C++ template metaprograms”的文章，从而将Erwin Unruh发现的C++编译期模板编程（Compile-time Template Programming）进一步精化为C++模板元编程（Template Metaprogramming，TMP）。 思想： 利用模板特化机制实现编译期条件选择结构，利用递归模板实现编译期循环结构，模板元程序则由编译器在编译期解释执行。 模板元编程使用静态C++语言成分，编程风格类似于函数式编程，其中不可以使用变量、赋值语句和迭代结构等。在模板元编程中，主要操作整型（包括布尔类型、字符类型、整数类型）常量和类型。被操纵的实体也称为元数据（Metadata）。所有元数据均可作为模板参数。由于在模板元编程中不可以使用变量，我们只能使用typedef名字和整型常量。它们分别采用一个类型和整数值进行初始化，之后不能再赋予新的类型或数值。如果需要新的类型或数值，必须引入新的typedef名字或常量。 资源： [1] Todd Veldhuizen,TemplateMetaprograms ,/~tveldhui/papers/Template-Metaprograms/meta-art.html[2] Todd Veldhuizen,Expression Templates, /~tveldhui/papers/Expression-Templates/exprtmpl.html[3] Todd Veldhuizen,C++ templates as partial evaluation,/~tveldhui/papers/pepm99/. [4] Todd Veldhuizen,Scientific Computing: C++ versusFortran ,/~tveldhui/papers/DrDobbs2/drdobbs2.html[5] Erwin Unruh, Prime numbers(Primzahlen - Original),http://www.erwin-unruh.de/primorig.html . [6] Erwin Unruh, Prime numbers(Primzahlen),http://www.erwin-unruh.de/Prim.html . [7] Edward Rosten,Floating point arithmetic in C++ templateshttp://mi.eng.cam.ac.uk/~er258/code/fp_template.html.