c++ - *non*-const 引用会延长临时人员的生命周期吗？

Question

曾几何时，我认为这样的代码会失败:

const MyClass& obj = MyClass();
obj.DoSomething();

因为 MyClass 对象将在其完整表达式结束时被销毁，留下 obj 作为悬空引用。但是，我(在这里)了解到这不是真的。该标准实际上有一个特殊规定，允许 const 引用使临时对象保持事件状态，直到所述引用本身被销毁。但是，需要强调的是，只有 const 引用具有这种能力。今天我在VS2012中运行了下面的代码作为实验。

struct Foo
{
    Foo() { std::cout << "ctor" << std::endl; }
    ~Foo() { std::cout << "dtor" << std::endl; }
};

void f()
{
    Foo& f = Foo();
    std::cout << "Hello world" << std::endl;
}

调用f()时的输出是:

ctor  
Hello world  
dtor  

所以我查看了 C++11 草案标准，但只发现了这个(第 12.2/4 节):

There are two contexts in which temporaries are destroyed at a different point than the end of the full-expression. The first context [doesn't apply]. The second context is when a reference is bound to a temporary. The temporary to which the reference is bound or the temporary that is the complete object of a subobject to which the reference is bound persists for the lifetime of the reference.

上面明显没有const这个词。所以;对于 C++11，此行为是否已更改，我对 const 的开头是错误的，还是 VS2012 有错误而我只是没有找到标准的相关部分？

Answer 1

行为没有改变，您只需将警告级别提高到 /W4。即使对于非const 左值引用作为编译器扩展，VisualStudio 也实现了生命周期扩展规则。在这种情况下，将右值绑定(bind)到非 const 引用的行为与将其绑定(bind)到 const 引用的行为相同。

使用 /W4 你会看到:

warning C4239: nonstandard extension used : 'initializing' : conversion from 'Foo' to 'Foo &'
1>  A non-const reference may only be bound to an lvalue

禁止将右值绑定(bind)到非const左值引用的文本可在§8.5.3/5

中找到

— Otherwise, the reference shall be an lvalue reference to a non-volatile const type (i.e., cv1 shall be const), or the reference shall be an rvalue reference.
[ Example:

  double& rd2 = 2.0; // error: not an lvalue and reference not const
  int i = 2;
  double& rd3 = i; // error: type mismatch and reference not const

—end example ]

引用语句的后半部分允许将临时值绑定(bind)到右值引用，如 litb's answer 所示。 .

string &&s = string("hello");

这与 §12.2/5 中的生命周期延长规则相结合，意味着临时的生命周期现在将匹配它所绑定(bind)的(右值)引用的生命周期。