绑定到经强制转换临时对象的const引用是否为悬垂引用？

先直接给结论：这取决于编译器对C++标准的实现——老版本编译器（如GCC4.6之前）和部分在线编译器会让这个引用变成悬垂引用，而现代符合标准的编译器（如GCC4.6+、VS2015）会正确延长临时对象的生命周期，避免悬垂。

1. 先搞懂核心规则：临时对象的生命周期延长 #

C++标准里有个关键规则：当const左值引用直接绑定到临时对象时，这个临时对象的生命周期会被拉长，和引用的生命周期保持一致（直到引用被销毁）。

比如你写这段代码的时候是完全安全的：

const B& instance = func();

func()返回的B类型临时对象会直接绑定到instance，所以它会一直活到main函数结束，你可以放心访问instance.b——这就是VS2015和新版GCC输出正确结果的原因。

2. 显式强制转换为啥会出问题？ #

当你改成下面这段代码时：

const B& instance = (const B&)func();

这里的(const B&)是把func()返回的右值临时对象，显式转换成了const B&类型的左值引用。

• 老编译器/在线编译器的处理：它们会把这个转换后的左值引用当成普通的左值，没意识到它指向的是临时对象，所以不会触发生命周期延长的规则。临时对象会在这行代码执行完（也就是完整表达式结束）就立刻析构，导致instance变成悬垂引用——这时候访问instance.b属于未定义行为，你看到输出1只是运气好，内存还没被覆盖而已。
• 现代编译器的处理：它们能正确识别这个左值引用指向的是临时对象，所以依然会触发生命周期延长，临时对象会和instance一起活到main函数结束，这时候引用是完全安全的。

3. 说说你看到的输出差异 #

• 老编译器/在线编译器的输出：

  destruct B destruct B 1
  

  第一个destruct B是func()里的局部对象b被销毁，第二个是返回的临时对象被销毁（这时候instance已经悬垂了），最后输出的1是未定义行为的巧合结果。

• 现代编译器的输出：

  destruct B 1 destruct B
  

  第一个destruct B是func()里的局部对象b被销毁，然后安全访问instance.b输出1，最后临时对象（被instance绑定）在main结束时才被销毁。

总结 #

为了避免这种编译器行为差异和潜在的悬垂引用问题，尽量直接把const左值引用绑定到函数返回的临时对象，别多此一举加显式的const B&强制转换——这样既符合标准，代码也更清晰、可移植性更强。

内容的提问来源于stack exchange，提问作者choxsword