18

我知道，一般来说，基于范围的for循环中临时对象的生命周期会扩展到整个循环（我读过C++11：基于范围的 for 语句：“range-init”生命周期？）。因此，做这样的事情通常是可以的：

for (auto &thingy : func_that_returns_eg_a_vector())
  std::cout << thingy;

现在，当我尝试做一些我认为与 QtQList容器相似的事情时，我遇到了内存问题：

#include <iostream>
#include <QList>

int main() {
  for (auto i : QList<int>{} << 1 << 2 << 3)
    std::cout << i << std::endl;
  return 0;
}

这里的问题是 valgrind 在QList类内的某处显示无效的内存访问。但是，修改示例以将列表存储在变量中会提供正确的结果：

#include <iostream>
#include <QList>

int main() {
  auto things = QList<int>{} << 1 << 2 << 3;
  for (auto i : things)
    std::cout << i << std::endl;
  return 0;
}

现在我的问题是：我是否在第一种情况下做一些愚蠢的事情导致例如未定义的行为（我没有足够的经验阅读 C++ 标准来为自己回答这个问题）？或者这是我如何使用QList或如何QList实施的问题？

4

2 回答 2

12

由于您使用的是 C++11，因此您可以改用初始化列表。这将通过 valgrind：

int main() {
  for (auto i : QList<int>{1, 2, 3})
    std::cout << i << std::endl;
  return 0;
}

该问题与基于范围的 for 甚至 C++11 并不完全相关。下面的代码演示了同样的问题：

QList<int>& things = QList<int>() << 1;
things.end();

或者：

#include <iostream>

struct S {
    int* x;

    S() { x = NULL; }
    ~S() { delete x; }

    S& foo(int y) {
        x = new int(y);
        return *this;
    }
};

int main() {
    S& things = S().foo(2);
    std::cout << *things.x << std::endl;
    return 0;
}

无效读取是因为表达式S()(or QList<int>{}) 中的临时对象在声明后被破坏（遵循 C++03 和 C++11 §12.2/5），因为编译器不知道方法foo()(or operator<<) 将返回那个临时对象。所以你现在指的是释放内存的内容。

于 2012-04-14T12:56:53.827 回答
7

编译器不可能知道作为三个调用结果的引用operator <<绑定到临时对象QList<int>{}，因此临时对象的生命周期不会延长。编译器不知道（也不能期望知道）函数的返回值，除了它的类型。如果它是一个引用，它不知道它可能绑定到什么。我很确定，为了适用延长生命的规则，绑定必须是直接的。

这应该有效，因为该列表不再是临时的：

#include <iostream>
#include <QList>

int main() {
  auto things = QList<int>{};
  for (auto i : things << 1 << 2 << 3)
    std::cout << i << std::endl;
  return 0;
}

这应该有效，因为绑定是直接的，因此可以应用规则：

#include <iostream>
#include <QList>

int main() {
  for (auto i : QList<int>{1, 2, 3})
    std::cout << i << std::endl;
  return 0;
}
于 2012-04-14T13:10:58.173 回答