【本文链接】
http://www.cnblogs.com/hellogiser/p/meta-programming.html
【分析】
Template Mataprogram,中文叫模板元编程。我之能听说它,并对它不甚向往,主要是因为它有这样几个特点:
1、它编的程序不是运行的时候执行的,而是在编译的时候由编译器执行的;
2、它能够牵着编译器的鼻子走,靠的完全是符合标准的模板语法,不需要使用编译器的任何API;
3、它居然是图灵完备的,也就是说它什么事都能干。
【递归demo】
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
#include <iostream>
using namespace std; template< int n > struct factorial { enum { ret = factorial < n - 1 >::ret * n }; }; template<> struct factorial< 0 > { enum { ret = 1 }; }; int main() { cout << "7! = " << factorial< 7 >::ret << endl; // 5040 return 0; } |
【分支demo】
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 |
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; }; |
【参考】
http://www.cppblog.com/youxia/archive/2008/08/30/60443.html
http://stackoverflow.com/questions/112277/best-introduction-to-c-template-metaprogramming
原文:http://www.cnblogs.com/hellogiser/p/meta-programming.html