for循环中的奇怪行为-一个bug？

Question

for循环中的奇怪行为-一个bug？

c++visual-studio-2012compiler-construction

4

我正在使用Windows 7机器上的Visual Studio 2012，在尝试运行以下代码片段时（使用默认的VC11 C ++编译器以x64模式编译），断言失败，这意味着内部循环从未执行：

void loopTest1()
{
    const unsigned int k = 1;

    for (int m=0; m<3; ++m)
    {
        int acc = 0;

        for (int n=m-k; n<=m+k; ++n)
        {
            if (n<0 || n>=3) continue;

            ++acc;
        }

        assert (acc>0);

        cout << "acc: " << acc << endl;
    }
}

现在我改变内部循环的结束条件：

void loopTest2()
{
    const unsigned int k = 1;

    for (int m=0; m<3; ++m)
    {
        int acc = 0;

        int l = m+k; // this line was added
        for (int n=m-k; n<=l; ++n) // m+k was replaced by l
        {
            if (n<0 || n>=3) continue;

            ++acc;
        }

        assert (acc>0);

        cout << "acc: " << acc << endl;
    }
}

然后我得到了正确的结果:

acc: 2
acc: 3
acc: 2

当我把const unsigned int k替换为硬编码的1时，它也可以工作：

void loopTest3()
{
    //const unsigned int k = 1;

    for (int m=0; m<3; ++m)
    {
        int acc = 0;

        for (int n=m-1; n<=m+1; ++n) //replaced k with 1
        {
            if (n<0 || n>=3) continue;

            ++acc;
        }

        assert (acc>0);

        cout << "acc: " << acc << endl;
    }
}

编译器是否进行了一些错误的优化？或者有没有特定的原因，导致第一种情况的行为至少是出人意料的？

- Ben

2

你可以尝试检查反汇编以查看生成的代码。 - sharptooth

6

编译器可能会发出关于无符号/有符号不匹配的警告，因为您从有符号整数m中减去了无符号整数k - 也许修复这个问题就能解决了。 - Niko

@Niko，应该可以的。 - chris

Niko，我刚刚使用int k = 1进行了测试，它起作用了！你能否把你的评论转化成一篇回答？ - Ben

在函数开头设置一个断点，一旦触发它，调用Debug->Windows->Disassembly。 - sharptooth

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- chris · Accepted Answer

您的int m将会被提升为一个unsigned int。在第一次循环中，这意味着m-k作为无符号值等于-1，即最大无符号值，并且显然大于m + k（当比较n时，它会被提升）。简单来说，您最终会得到n作为-1的无符号表示，m+k作为1。当然，将这个-1无符号存储到有符号整数中时，它会溢出并且在技术上是未定义行为。它很可能保持其-1表示，然后再次被提升为最大无符号值。

以下是第一次迭代的摘要:

迭代 1: m: 0 k: 1u n=m-k: -1u = max uint，存储在已签名整数中 m+k: 1u n<=m+k --> max uint <= 1u

在您的第二个示例中，与另一个已签名整数相比时，不会提升n的值，并且它会比较两个已签名整数。在第三个示例中，没有使用无符号数。