范围内的临时对象
我知道一般来说，基于范围的for循环中的临时生命周期扩展到整个循环（我读过C ++ 11：基于范围的for语句：“range-init”生命周期？）。 因此，做这样的事情通常是可以的：
for (auto &thingy : func_that_returns_eg_a_vector())
std::cout << thingy;
当我尝试做一些我认为与Qt的QList容器类似的东西时，现在我正在徘徊在内存问题上：
#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如何实现的问题？
由于您使用的是C ++ 11，因此可以使用初始化列表。 这将通过valgrind：
int main() {
for (auto i : QList<int>{1, 2, 3})
std::cout << i << std::endl;
return 0;
}
问题与基于范围的甚至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() （或QList<int>{} ）中的临时对象在声明之后（C ++ 03和C ++ 11第12.12 / 5节）被破坏，因为编译器没有认为方法foo() （或operator<< ）将返回该临时对象。 所以你现在引用释放内存的内容。
编译器不可能知道对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;
}
上一篇: temporary object in range
下一篇: Is LINQifying my code worth accessing a foreach variable in a closure?