【本文链接】
http://www.cnblogs.com/hellogiser/p/meta-programming.html
【分析】
Template Mataprogram,中文叫模板元编程。我之能听说它,并对它不甚向往,主要是因为它有这样几个特点:
1、它编的程序不是运行的时候执行的,而是在编译的时候由编译器执行的;
2、它能够牵着编译器的鼻子走,靠的完全是符合标准的模板语法,不需要使用编译器的任何API;
3、它居然是图灵完备的,也就是说它什么事都能干。
【递归demo】
C++ Code
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】
C++ Code
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