忽略 C/C++ 中的死代码警告

Question

具有以下代码（大大简化）：

#define DO_SOME_STUFF(val,x,y) \
  if (x>y) \
  { \
    val = val >> (x-y); \
  } else { \
    val = val >> (y-x); \
  }

使用扩展调用宏的示例如下：

 int val = 5;
 DO_SOME_STUFF(val,5,10);
 => 
 if (5>10)
 {
   // dead code
   val = val >> (5-10); // negative shift warning here
 } else {
   // live code
   val = val >> (10-5); // valid code
 }

现在，既然有死代码，它会被编译器删除，每个人都会很高兴，因为我永远不会负转移 - 所以我在这里做合法的事情。

不幸的是，我在删除代码之前收到了警告（或者看起来如此）。

在我正在工作的项目中，该函数将被调用 100 多次，到目前为止我想出的唯一解决方案是执行以下操作：

#pragma GCC diagnostic ignored "-Wshift-count-negative"
DO_SOME_STUFF(val,300,20);
#pragma GCC diagnostic pop

这不是很好，因为我会添加大量这些会导致难以阅读的蓝色代码，如果可能的话我宁愿避免它。

是否有一种优雅的方法可以删除仅针对我的宏扩展的警告或要求编译器忽略死代码？ （不幸的是，我无法将#pragma 选项添加到我的宏定义中）。

Answer 1

在 c++11 中，您可以使用模板 constexpr 函数代替宏。然后可以在编译期间执行，不会产生警告。

template <typename T, typename T2>
constexpr T do_some_stuff(const T& val, const T2& x, const T2& y)
{  
  return x > y ? val >> (x - y) : val >> (y - x);
}

template <typename T, typename T2>
constexpr T do_some_stuff_wrong(const T& val, const T2& x, const T2& y)
{  
  return x < y ? val >> (x - y) : val >> (y - x);
}

int main() 
{
    constexpr int val = do_some_stuff(5, 5, 10); // no warning
    constexpr int val2 = do_some_stuff_wrong(5, 5, 10); // warning
}

Live example