如何比较两个未知数字以查看它们在特例模板中是否相等？

Question

这里是我的代码。只是试图围绕你可以用TMP做的一些基本事情。我试图提供两个数字，编译器会将这些数字加起来。我只是不确定如何编写“约束”模板的语法。

template < int b, int e > 
struct add { 
    enum { sum = add< b + 1, e >::sum + b }; 
}; 

template <> 
struct add< e, e > { 
    enum { sum = 0 }; 
}; 

int main() { 
    cout << add< 4, 8 >::sum << endl; //30 
    return 0; 
} 

Answer 1

template <int e> 
struct add< e, e > { ... 

，结果是4 + 5 + 6 + 7 + 0 == 22，不4 + 5 + 6 + 7 + 8 == 30。一旦​​在add<...>，add<...>::sum==0，而不是e。