I don't understand the following behavior.
The following code, aimed at computing the factorial at compile time, doesn't even compile:
#include <iostream>
using namespace std;
template<int N>
int f() {
if (N == 1) return 1; // we exit the recursion at 1 instead of 0
return N*f<N-1>();
}
int main() {
cout << f<5>() << endl;
return 0;
}
and throws the following error:
...$ g++ factorial.cpp && ./a.out
factorial.cpp: In instantiation of ‘int f() [with int N = -894]’:
factorial.cpp:7:18: recursively required from ‘int f() [with int N = 4]’
factorial.cpp:7:18: required from ‘int f() [with int N = 5]’
factorial.cpp:15:16: required from here
factorial.cpp:7:18: fatal error: template instantiation depth exceeds maximum of 900 (use ‘-ftemplate-depth=’ to increase the maximum)
7 | return N*f<N-1>();
| ~~~~~~^~
compilation terminated.
whereas, upon adding the specialization for N == 0
(which the template above doesn't even reach),
template<>
int f<0>() {
cout << "Hello, I'm the specialization.\n";
return 1;
}
the code compiles and give the correct output of, even if the specialization is never used:
...$ g++ factorial.cpp && ./a.out
120
constexpr int f(int N);
(Orconsteval
in c++20) would also work. – Artyer Aug 28 '19 at 18:33f<-1>()
? As it is meaningless, I'd prefer unsigned int as template parameter. We wouldn't prevent anybody from writingf<-1>
(would be converted to huge integer anyway), but at least we'd express right from the start that we actually expect non-negative values only... – Aconcagua Aug 28 '19 at 19:10constexpr
was created. – Omnifarious Aug 28 '19 at 19:24if constexpr(N == 0) return 1; else ...
– Aconcagua Aug 31 '19 at 7:16