修复 GCC 中的“比较总是错误的......”警告

Question

我遇到了一个问题，我确信它很容易解决，但我不知所措......

我有一个执行以下代码的模板：

T value     = d;
if ( std::numeric_limits< T >::is_signed )
{
    if ( value < 0 )
    {
        *this += _T( "-" );
        value = -(signed)value;
    }
}

现在，出于显而易见的原因，当此代码针对无符号类型编译时，GCC 会向我发出警告（由于数据类型的范围有限，比较总是错误的）。我完全理解这背后的原因，我进行了 numeric_limits 检查，看看我是否可以让编译器闭嘴（它适用于 MSVC）。唉，在 GCC 下我得到了警告。有什么办法（除了禁用我什至不知道你是否可以用 GCC 做的警告）来修复这个警告吗？无论如何，代码永远不会被调用，我认为优化器也会将其编译出来，但我无法摆脱警告。

谁能给我一个解决方案？

干杯！

Answer 1

更简单的解决方案：

template <typename T> inline bool isNegative(T value) {
  return std::numeric_limits< T >::is_signed && value < 0; // Doesn't trigger warning.
}

T value     = d;
if ( isNegative(value) ) // Doesn't trigger warning either.
{
    *this += _T( "-" );
    value = -1 * value;
}

Answer 2

谁能给我一个解决方案？

没有什么革命性的，但我通常通过重载来做到这一点。类似的东西：

//Beware, brain-compiled code ahead!
template< bool B >
struct Bool { const static bool result = B; }

template< typename T >
void do_it(T& , Bool<false> /*is_signed*/)
{
  // nothing to do for unsigned types
}

template< typename T >
void do_it(T& value, Bool<true> /*is_signed*/)
{
    if ( value < 0 ) {
        *this += _T( "-" );
        value = -(signed)value;
    }
}

template< typename T >
void do_something(T& value)
{
  do_it(value, Bool<std::numeric_limits< T >::is_signed>() );
}

如果您可以使用类模板而不是函数模板，那么您可以使用特化而不是重载。 （没有函数模板部分特化，这使得特化函数模板有点麻烦。）

Answer 3

有关真正的解决方案，请参阅https://stackoverflow.com/a/8658004/274937，它允许逐个抑制 -Wtype-limits 警告。简而言之，只需将生成警告的每个比较包装到一个虚拟函数中。

Answer 4

您可以像这样专门化您的功能：

template <bool S> 
void manipulate_sign(T&) {}

template <> 
void manipulate_sign<true>(T& value) {
  if ( value < 0 )
  {
    *this += _T( "-" );
    value = -(signed)value;
  }
}

//then call like this:
manipulate_sign<std::numeric_limits< T >::is_signed>();

只是禁用警告可能会更好。