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