我正在尝试编写一个强制通过constexpr
求值的函数。模板。我写了这个,但是它仅适用于int
(请注意,使用GCC会产生递归深度错误):
#include <iostream>
template<int val>
constexpr int force_constexpr() { return val; }
constexpr int triangle(int n)
{
return n ? n + triangle(n - 1) : 0;
}
int main(void)
{
std::cout << force_constexpr<triangle(0x200)>() << '\n';
}
注意,这仅用于演示目的;我知道可以使用(n+1)*n/2
计算三角形数。
然后,我试图编写一个泛型函数,但效果也不佳。这是一个普通的错误(不足为奇,因为在定义T
之前它使用T
):
template<T val, typename T = decltype(val)>
constexpr T force_constexpr() { return val; }
是这样(显然不起作用;它是一个嵌套的模板):
template<typename T>
template<T val>
constexpr T force_constexpr() { return val; }
并且这需要传递参数的类型:
template<typename T, T val>
constexpr T force_constexpr() { return val; }
如何在不将类型作为参数传递给模板的情况下执行此操作?或者换句话说,如何推断模板参数类型?
我正在寻找C ++ 11解决方案,但欢迎使用其他标准的解决方案。
您正在C ++ 17中寻找auto
模板参数:
#include <iostream>
template<auto T>
auto *singleton()
{
static const decltype(T) solo{T};
return &solo;
}
int main()
{
const int *p=singleton<42>();
std::cout << "The meaning of life: " << *p << std::endl;
return 0;
}
将模板参数指定为auto
,并使用decltype
推导其类型。