VS 编译警告：32 位移位结果隐式转换为 64 位

Question

Visual Studio 2013 在以下位置发出烦人（且看似无关）的编译警告：

#include <stdint.h>

#define PRECISION 16

uint64_t hi = 0;
for (uint8_t i = 0; i < PRECISION; i++)
{
    if (some_condition)
    {
        hi += 1 << (PRECISION - 1 - i);
    }
}

这是编译警告：

warning C4334: '<<' :
result of 32-bit shift implicitly converted to 64 bits (was 64-bit shift intended?)

将1 << (PRECISION - 1 - i)改成1 << (PRECISION - 1)似乎解决了。

所以我一直试图找出1 << (PRECISION - 1 - i) 中可能出现的问题。

显然，如果i >= PRECISION，那么左移操作将产生未定义的行为。

但是，变量i 没有超过PRECISION - 1 的值。

此外，即使我们假设编译器无法推断出这个事实，我也看不出这个编译警告与由于左移操作数导致的潜在未定义行为有什么关系。

也许它假设PRECISION - 1 - i的无符号值可以大于31。

但是我到底应该如何告诉编译器它永远不会这样做呢？

我找到了one related question，但没有提供正确的答案。

谢谢

Answer 1

编译器抱怨是因为您将结果存储在 64 位变量中，因此它假定您实际上想要进行 64 位移位而不是 32 位移位。你可以通过使用来解决这个问题

hi += 1ULL << (PRECISION - 1 - i);

强制它是 64 位移位。

如果hi 是unint32_t，它也不会抱怨。

Answer 2

编译器indeed suspects 表示 64 位：

32 位移位的结果被隐式转换为 64 位，编译器怀疑 64 位移位是有意的。要解决此警告，请使用 64 位移位，或将移位结果显式转换为 64 位。

你可以考虑

hi += uint64_t(1) << (PRECISION - 1 - i);

也许删除 i 会抑制警告，因为编译器将表达式视为常量。