Question

我的程序中有一个错误，我发现非常令人困惑。

以下是重现我的错误的有问题代码的最小版本。

#include <iostream>

struct derp
{
  int idx;
};

int main (int argc, char **argv)
{
  derp initial;
  initial.idx = 0;

  derp *prev = &initial;

  while (true)
  {
    int c;
    while ((c = getchar()) != '\n' && c != EOF)
    {
    }
    if (c == EOF)
    {
      break;
    }

    derp cur;
    cur.idx = prev->idx + 1;

    std::cerr << "Prev: " << prev->idx << ", cur: " << cur.idx << std::endl;

    prev = &cur;
  }
}

将其另存为wtf.cpp。

编译。

$ CC wtf.cpp

运行。

$ (echo;echo;echo) | ./a.out

预期产出：

Prev: 0, cur: 1
Prev: 1, cur: 2
Prev: 2, cur: 3

运行时的实际输出：

Prev: 0, cur: 1
Prev: 2, cur: 2
Prev: 3, cur: 3

我在Sun Solaris 10 10/09 s10x_u8wos_08a X86上使用来自Oracle Solaris Studio 12.4的CC。

Answer 1

问题是您的代码使用了超出范围的指针。在进入下一次迭代时，对循环的先前迭代中有效的cur的任何引用都是无效的。这就是为什么当prev指向initial时，第一次迭代是代码按预期工作的唯一迭代。在后续迭代中prev碰巧指向与cur相同的位置，因为编译器在循环的所有迭代中将它保持在相同的位置。但是，行为未定义，因此在与其他编译器进行编译时可能会得到不同的结果。

您需要在循环外声明prev和cur，并复制整个结构，如下所示：

derp prev;
prev.idx = 0;
derp cur;
while (true) {
    int c;
    while ((c = getchar()) != '\n' && c != EOF)
    {
    }
    if (c == EOF)
    {
        break;
    }
    cur.idx = prev.idx + 1;
    std::cerr << "Prev: " << prev.idx << ", cur: " << cur.idx << std::endl;
    prev = cur;
}

Demo.

Answer 2

prev是一个指针，它最初指向一个在整个while循环中保留其范围的变量。然后在while循环中，创建一个新变量'cur'，其范围仅限于该迭代，并保存指向该临时变量的指针。尝试在while循环外定义cur。

干杯！

跟踪循环中的当前变量和先前变量

2 个答案: