问题描述
是否可以推断出c ++ 17函数的模板值（非类型）？
Is it possible to deduce template value (not type) for a c++17 function?
函数foo：
template<int I>
int foo()
{
return (I);
}
可以通过以下方式调用：
Can be called via:
foo<5>();
并返回5。
模板类型可以通过函数参数的类型来推导。是否可以以某种方式对模板值执行相同操作？例如：
Template types can be deduced through the type of a function argument. Is it possible to do the same in some way for the template value? For example:
template<int I = x>
int bar(const int x)
{
return (I);
}
这显然行不通（因为一个 x 在声明之前是必需的），但是可能会有一些C ++ 17技巧可以实现这一点吗？
This obviously wont work (because for one x is required before its declaration), but might there be some C++17 trick which would allow for this?
我想使用
推荐答案
只能通过（ab）使用类型来完成所需的操作扣除为整数扣除。观察：
What you want can only be done by (ab)using type deduction for integer deduction. Observe:
template<int x>
struct integer_value {};
template<int x>
void test(integer_value<x> val)
{
//x can be used here.
}
当然，您必须使用 test（ integer_value< 4> {}）或类似的东西。
Of course, you must invoke this with test(integer_value<4>{}) or something similar.
这篇关于模板非类型参数推导的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！