Question

为什么以下代码......

#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

我最近了解到，分配对匿名右值的引用可以扩展rvalue对象的生命周期。所以我认为，由于全局范围std::map引用了匿名右值g_map，因此它的生命周期将扩展到全局范围变量的生命周期，并且使用{{ 1}}作为任何其他全局变量（如果不是参考，匿名右值将在结束分号处死亡）。

有人可以解释生命延长规则如何适用于上述内容吗？

使用gcc 4.9.2进行编译。

Answer 1

你基本上有这个：

class C {
public:
  C& detemporize() { return *this; }
};

C& cr = C().detemporize();

创建临时C实例。然后在其上调用一个方法，该方法返回C&引用。编译器不知道也不关心返回值是指同一个临时值;尽管如此，它可能会很好地返回对某个全球长寿命对象的引用。

无论如何，cr最终指的是那个临时的，然后立即死亡，留下cr悬空。任何后续使用它的尝试都表现出不确定的行为。

在您的代码中，Map::operator()扮演detemporize()角色，留下g_map悬挂参考。

Answer 2

我最近了解到，分配对匿名右值的引用可以扩展rvalue对象的生命周期。

仅当您将临时对象直接分配给引用时才会发生：

const obj &ref1 = obj(); // extends
const obj &ref = somefuncthatreturnsobj(); // extends

但是那里没有魔法，如果你调用隐藏该引用的函数它会不再起作用：

class foo {
    const foo &get() const { return *this; };
};

const foo &ref1 = foo(); // extends lifetime of temporary
const foo &ref2 = foo().get(); // no lifetime extention, dangling reference

对匿名右值的引用已损坏

2 个答案: