这段代码怎么会像我看到的那样表现呢？

Question

我有一个 C++ 应用程序，它发生了一次断言失败，我无法重现。下面是失败过一次的代码：

unsigned int test(std::vector<CAction> actionQueue) {
  unsigned int theLastCount = actionQueue.size() - 1;

  std::vector<CAction>::const_reverse_iterator rItr = actionQueue.rbegin();
  std::vector<CAction>::const_reverse_iterator rEndItr = actionQueue.rend();

  for (; rItr != rEndItr; ++rItr, --theLastCount) {
    const CAction &fileAction = *rItr;

    if (fileAction.test()) {
      continue;
    }
    return theLastCount;
  }

  assert(theLastCount == 0); // How could this fail?

  return theLastCount;
}

不知何故，循环完成后 theLastCount 不为零。

从我对逻辑的理解来看，这应该是不可能的，除非：

1. 其他一些线程影响了actionQueue（我认为这是不可能的）。
2. 发生了一些暂时性内存损坏。

我在这里错过了一些愚蠢的事情吗？我的代码中是否显示了错误？请注意，在我看到此情况的情况下，theLastCount 应该已初始化为 1，因为向量有两个元素。

Answer 1

我相信，如果所有 fileActions 都通过了 test()，那么 theLastCount 将为 -1。考虑：

theLastCount 从actionQueue.size() -1 开始。您可以为actionQueue 中的每个项目将其递减一次，即现在为actionQueue.size() - 1 - actionQueue.size() = -1。想一想。 theLastCount 保留当前迭代器的索引。但是，当当前迭代器为 rend 时，则该迭代器是数组开头之前的一个迭代器，即 -1。

编辑：哦，它没有签名。但由于您只测试是否等于零，因此积分溢出在这里并不重要。

Answer 2

如果您的 actionQueue 为空，则将

unsigned int theLastCount = actionQueue.size() - 1;

theLastCount 设置为可能的最大无符号整数。内部循环永远不会执行，因为反向迭代器彼此相等（空容器上的 rbegin() == rend()），因此您将使用 theLastCount< 来命中断言/code> 等于某个大得惊人的数字。

Answer 3

请先编译并运行您的代码，然后再将其发布到此处！首先，这段代码无法编译（我不会告诉你原因——你可以询问你的编译器）。其次，您的断言永远不会成功，因为 theLastCount 将始终为 (unsigned int)-1。

Answer 4

void test(std::vector<CAction> actionQueue) 
{
  unsigned int theLastCount = actionQueue.size() - 1;
  /** Omitted code ***/
  {
    /** Omitted code ***/
    return theLastCount;
  }
  return theLastCount;
}

忘记您无法重现的错误。但这里有一个严重的问题。返回类型是void，但你却返回unsigned int！怎么会？

---

我认为，你需要这样写：

assert(theLastCount == -1);//correct assert!

那是因为如果 test() 通过了所有元素，那么 theLastCount 应该变成 -1。由于没有剩余元素，并且如果存在元素，则 LastCount 始终是有效的元素索引。否则它应该变成-1。

注意：将theLastCount的类型从unsigned int更改为int。

Answer 5

如果队列为空怎么办？

theLastCount 将是 -1，然后...:-)