禁用虚假 "warning: left shift count >= width of type"

Question

我在用 gcc 编译一些模板代码时得到了一个虚假的 "warning: left shift count >= width of type":

template <int N> class bitval {
unsigned long  val;
#pragma GCC diagnostic ignored "-Wall"
    const bitval &check() {
        if (N < sizeof(unsigned long) * CHAR_BIT && val >= (1UL << N)) {
            std::clog << val << " out of range for " << N << " bits in " << std::endl;
            val &= (1UL << N) - 1; }
        return *this; }
#pragma GCC diagnostic pop
};

问题是当它被实例化为 N == 64 时，它给出了警告。

现在警告完全是虚假的，因为代码检查 N 是否足够大以至于不需要 check/mask，所以当 N 为 64 时，移位永远不会发生。但是 gcc 无论如何都会发出警告。所以我试图禁用警告，但我想不出关闭它所需的#pragma 魔法...

Answer 1

标签调度救援：

const bitval& check() {
  constexpr bool enough_bits = (N < sizeof(unsigned long) * CHAR_BIT);
  using enough_bits_t = std::integral_constant<bool, enough_bits>;
  return check( enough_bits_t{} );
}
const bitval& check(std::false_type /*enough bits*/) {
  return *this;
} 
const bitval& check(std::true_type /*enough bits*/) {
  if (val >= (1UL << N)) {
    std::clog << val << " out of range for " << N << " bits in \n";
    val &= (1UL << N) - 1;
  }
  return *this;
}

决策（是否有足够的位）是一个编译时常量，所以我将其计算为一个。

然后我根据该决定构建一个类型（std::true_type 或 std::false_type），并分派到两个不同的重载之一。

因此 N 中的代码太大而无法移动那么远的代码永远不会被实例化，因此没有警告。如果决策中存在逻辑错误，并且代码被实例化，我会收到编译器警告而不是静默（如果你设法禁用警告，并且你有逻辑错误，你会得到静默 UB）。

禁用虚假 "warning: left shift count >= width of type"

disable spurious "warning: left shift count >= width of type"

c++

gcc