在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的值就已经确定了。
网友评论