Question

我有一些代码可以检查整数是否在[−2 ^ 31 +1，2 ^ 31 -1]范围内。但是，在编译期间，会引发整数溢出警告。

long int tmp_l = strtol(tokens[8].c_str(),NULL,10);

if (tmp_l >= ( (int32_t)-1 * ( ((int32_t)1<<31) - (int32_t)1) ) && 
        tmp_l <= ( ((int32_t)1 << 31) - (int32_t)1) ) {

    long int in_range = tmp_l;

} else {
    cerr << "ERROR: int not in range. Expected [(-2^31)-1, (2^31)-1]. ";
    cerr << "Found: " << tmp_l << endl;
}

main.cpp:93:51: warning: integer overflow in expression [-Woverflow]
     if (tmp_l >= ((int32_t)-1 * (((int32_t)1<<31) - (int32_t)1) ) &&
                                  ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~

代码可以正常编译，并且我没有看到与此警告相关的运行时错误。我要去哪里错了？

Answer 1

我要去哪里错了？

2 ^ 31-1是可由32位带符号整数表示的最大整数。因此，1 << 31的运算结果2 ^ 31超出了可表示值的范围。

签名溢出的行为是不确定的。

如何修复

您可以改用它：

if (tmp_l >= std::numeric_limits<int32_t>::min() + 1
 && tmp_l <= std::numeric_limits<int32_t>::max()

如何修复整数溢出警告

1 个答案: