c++ - MSVC++ : Strangeness with unsigned ints and overflow

Question

我有以下代码:

#include <iostream>

using namespace std;

int main(int argc, char *argv[])
{
    string a = "a";
    for(unsigned int i=a.length()-1; i+1 >= 1; --i)
    {
        if(i >= a.length())
        {
            cerr << (signed int)i << "?" << endl;
            return 0;
        }
    }
}

如果我在完全优化的 MSVC 中编译，我得到的输出是“-1？”。如果我在 Debug模式下编译(没有优化)，我不会得到任何输出(预期。)

我认为标准保证无符号整数以可预测的方式溢出，因此当 i = (unsigned int)(-1)、i+1 = 0 时，循环条件 i + 1 >= 1 失败。相反，测试以某种方式通过了。这是编译器错误，还是我在某处做了未定义的事情？

Answer 1

我记得在 2001 年遇到过这个问题。我很惊讶它仍然存在。是的，这是一个编译器错误。

优化器看到了

i + 1 >= 1;

理论上，我们可以通过将所有常量放在同一侧来优化它:

i >= (1-1);

因为 i 是无符号的，所以它总是大于或等于零。

查看此新闻组讨论 here .