Meta Programming

【本文链接】

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