c++ - 在循环中跟踪当前和先前的变量

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.