std::map<int, vector<int>> foo()
{
return ...
}
BOOST_FOREACH(const int& i, foo()[42])
{
std::cout << i << std::endl;
}
如果未定义，有什么好的方法可以修复它？如果我使用C++11范围for循环而不是BOOST_FOREACH会怎样？
// from
for (<init>: <expr>) {
<body>
}
// to
auto&& __container = <expr>;
for (auto __it = begin(container), __e = end(container); __it != __e; ++__it)
{
<init> = *__it;
<body>
}
__container的初始化：auto&& __container = foo()[42];
foo()，那么这将起作用，因为std::map<...>的生命周期会被延长以匹配__container的生命周期，但在这种情况下，我们得到了：// non-standard gcc extension, very handy to model temporaries:
std::vector<int>& __container = { std::map<...> m = foo(); m[42] };
__container 最终指向虚无。__range、__begin 和 __end 的名称。我认为编译器无法消除此处的未定义行为，而不必违反暂时对象生存期的规则 - 因此这最多只能是一种不符合标准的扩展。它似乎需要对核心语言进行更改，以将 <expr> 中创建的任何暂时对象的生存期延长到整个循环体。 - CaseyBOOST_FOREACH如何扩展;如果它在for循环之外创建了一个作用域，并将返回值复制到其中的变量中（或者使用它来初始化引用），那么就安全了。如果没有，那么就不安全。foo的返回值，那么这将适用。正如Benjamin Lindley所指出的那样，你没有捕获map上的operator[]的返回值。这不是一个临时变量；它是一个引用。因此，在BOOST_FOREACH和range-for中都不会扩展生命周期。这意味着包含函数调用的完整表达式的末尾将销毁地图，并且将发生未定义的行为。（我想，Boost可以深度复制地图，所以你会安全。但某种程度上，我怀疑它是否这样做。）std::map的智慧。如果地图实际上存在于函数之外（不在堆上），那么我会返回对它的引用。否则，我会找到一些方法使它存在。[]的返回值来初始化它的。由于这会返回一个引用（而不是临时对象），所以不会有生命周期的延长。很好地发现了这一点，我之前没注意到。 - James Kanze来自：http://www.boost.org/doc/libs/1_55_0/doc/html/foreach.html
遍历返回值为序列的表达式（即rvalue）：
extern std::vector<float> get_vector_float();
BOOST_FOREACH( float f, get_vector_float() )
{
// Note: get_vector_float() will be called exactly once
}
所以它被清晰地定义并且工作正常。
此外，在C++11中也有明确定义（并且工作正常）：
for (const int& i : get_vector()) // get_vector() computed only once
{
std::cout << i << std::endl;
}
foo()[42]返回一个临时对象（通过方法），并且是一个引用。auto& v = foo()[42];
foo()的生命周期是临时的，不会被延长...
您可以通过延长foo的临时寿命来解决这个问题。
auto&& m = foo();
for (const int& i : m[42]) {
std::cout << i << std::endl;
}
operator[] 不会返回值，而是返回引用。 - Benjamin Lindley
std::map<...>::operator[]返回一个左值引用（指向临时对象）而不是右值。因此，map临时对象的生命周期没有得到正确延长，我们最终会得到一个指向虚无的引用。 - Matthieu M.