在编译时/模板检查变量的值

Question

因此，我们有：

template<typename T, typename = std::enable_if_t<std::is_integral<T>::value>>
void fun(const T& val)
{
    std::cout << "val >= 0";
}

int main()
{
    fun(34);
}

假设我们还有其他函数重载。 我如何使上面的函数重载仅在val的值大于0时进行编译？

在http://en.cppreference.com/w/cpp/types/is_integral上，我看到std::is_integral operator()重载，并且它返回value所以我尝试了以下操作：

template<typename T, typename = std::enable_if_t<std::is_integral<T>::value() > 0>>

当然，它看起来是错误的，而且是错误的，因为编译器会很高兴地告诉我。

如何在编译时检查变量的值？

Answer 1

简短的回答：不能。

函数输入参数值在运行时确定。 因此，SFINAE不会对此有所帮助，其他任何编译时间的技巧也不会。

您可以做的是在运行时解决问题，并定义两个将相应地引起的独立功能：

template<typename T, typename = std::enable_if_t<std::is_integral<T>::value>>
void fun(const T& val)
{
    (val < 0)? lower_than_zero(val) : greater_equal_than_zero(val);
}

但是可能您已经知道了。 如果您仍在进行编译时评估，并且确定您的变量是编译时的野兽。 然后，您可以将其作为模板非类型参数传递：

template<int N>
std::enable_if_t<N >= 0> fun() {
  std::cout << "N >= 0" << std::endl;
}

template<int N>
std::enable_if_t<N < 0> fun() {
  std::cout << "N < 0" << std::endl;
}

int main() {
  fun<42>();
  fun<-42>();
}

Answer 2

正如@ 101010回答的那样，无法以一般方式执行此操作。 但是，如果您只需要检查>= 0一个条件，则可以执行以下操作：

void ff(unsigned int val) {
    val = 42;
}

int main()
{
    ff(34);
    ff(-34);
}

并像这样编译：

g++ 1.cpp -Werror -Wsign-conversion

但这只是一个特殊情况的骇客。