模板元编程1

在C++中，如果实现一个求和的功能，可能会这么写：

int sum(int n) {
    int s = 0;
    for (int i = 1; i <= n; ++i)
        s += i;
    return s;
}

或者用上递归：

int sum(int n) {
    if (n <= 0) return 0;
    return n + sum(n - 1);
}

但是你有没有想过，在编译期完成所有的计算，这就是模板要干的事情：

template<int T>
struct sum {
    static const int value = sum<T - 1>::value + T;
};

template<>  // 全特化
struct sum<0> {
    static const int value = 0;
};
std::cout << sum<10>::value << endl;  // 输出55

编译器在编译到sum<10>时，递归继续编译sum<9>，sum<8>...，直到特化版本的sum<0>结束，编译完成后，sum<10>::value的值就已经确定了。