Я тестирую пользовательские литералы. Я хочу сделать _fac
возврат факториала числа.
Если он вызывает функцию constexpr
, однако он не позволяет мне делать это с помощью шаблонов, поскольку компилятор жалуется, что аргументы не являются и не могут быть constexpr
.
Я смущен этим - не являются ли литералы постоянными выражениями? 5
in 5_fac
всегда является литералом, который можно оценить во время компиляции, поэтому почему я не могу использовать его как таковой?
Первый метод:
constexpr int factorial_function(int x) {
return (x > 0) ? x * factorial_function(x - 1) : 1;
}
constexpr int operator "" _fac(unsigned long long x) {
return factorial_function(x); // this works
}
Второй метод:
template <int N> struct factorial_template {
static const unsigned int value = N * factorial_template<N - 1>::value;
};
template <> struct factorial_template<0> {
static const unsigned int value = 1;
};
constexpr int operator "" _fac(unsigned long long x) {
return factorial_template<x>::value; // doesn't work - x is not a constexpr
}