为什么下面的代码...
#include <iostream>
#include <map>
template< typename T, typename U >
class Map
{
public:
Map( const T& t, const U& u ) { map_[ t ] = u; }
Map< T, U >& operator() ( const T& t, const U& u )
{
map_[ t ] = u;
return *this;
}
U& operator[] ( const T& t) { return map_[ t ]; }
private:
std::map< T, U > map_;
};
Map< int, std::string >& g_map = Map< int, std::string> ( 1, "lorem" )
( 3, "ipsum" )
( 5, "dolor" );
int main( int argc, char* argv[] )
{
std::cout << g_map[3] << std::endl;
return 0;
}
...产生这个损坏的输出?...
>g++ -g main.cpp
>./a.out
ipsumÿÿÿÿlorem!h€Ap€AD€A!ˆ€A¼gì¿P€A€A,€A!p€A€AY
我最近了解到,将引用分配给匿名右值可以延长右值对象的生命周期。所以我认为,由于匿名右值 std::map
被全局范围 g_map
引用,它的生命周期会延长到全局范围变量的生命周期并且将 g_map
用作任何其他全局变量是有效的(如果不是引用,匿名右值将在结束分号处消失)。
有人可以解释一下生命周期延长规则如何适用于上述内容吗?
使用 gcc 4.9.2 进行编译。
最佳答案
你基本上有这个:
class C {
public:
C& detemporize() { return *this; }
};
C& cr = C().detemporize();
一个临时的 C
实例被创建。然后对其调用一个方法,该方法返回一个 C&
引用。编译器不知道也不关心返回值指向同一个临时值;就其所知,它很可能会返回对某个全局的、长期存在的对象的引用。
无论如何,cr
最终引用了那个临时文件,然后立即消失,留下 cr
悬空。任何后续使用它的尝试都会表现出未定义的行为。
在您的代码中,Map::operator()
扮演detemporize()
的角色,留下g_map
悬空引用。
关于c++ - 对匿名右值的引用已损坏,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/43816472/