C++中返回局部变量右值引用的代码为何产生悬空引用？

这个问题的核心误区是混淆了引用的本质和移动语义的触发条件：不管是左值引用还是右值引用，本质都只是对象的别名，不持有对象所有权，也不会自动延长绑定对象的生命周期。

问题代码如下：

unique_ptr<Shape>&& flawed_attempt()   // 绝对不要这么写
{
    unique_ptr<Shape> very_bad_idea(new Square);
    return std::move(very_bad_idea);   // 错误写法
}

具体逻辑拆解 #

• very_bad_idea是分配在函数调用栈上的局部自动变量，生命周期严格绑定函数作用域：只要函数执行完return、栈帧被弹出，这个unique_ptr对象会立刻被析构，它持有的堆上Shape对象也会被同步释放。
• std::move本身没有任何移动资源的能力，它做的唯一一件事就是把传入的参数强制转换成右值引用类型，既不会转移对象持有的资源，也不会改变对象本身的生命周期。
• 函数声明返回右值引用，意味着return语句最终返回的只是一个绑定到栈上局部变量的别名，整个返回过程没有在函数外的内存空间构造任何新对象。而真正的资源移动，需要接收方拿到右值之后，用这个右值初始化新对象、触发移动构造/移动赋值时才会发生，这个步骤在函数返回阶段根本不会执行。
• 函数返回后，栈上的局部unique_ptr已经被销毁，调用方拿到的右值引用绑定的是已经被回收的栈内存，访问这个引用就会触发未定义行为，这就是典型的悬垂引用——和返回局部变量的左值引用导致的问题没有任何本质区别，只是套了一层右值引用的外壳而已。

正确实现方式 #

直接按值返回局部对象即可，不需要手动加std::move，更不需要返回引用：

unique_ptr<Shape> correct_attempt()
{
    unique_ptr<Shape> good_idea(new Square);
    return good_idea;
}

这种写法不存在任何性能问题：编译器会优先触发返回值优化（RVO），直接把unique_ptr对象构造在调用方的内存位置，连移动操作的开销都会被完全消除；就算遇到无法做RVO的极端场景，编译器也会自动把返回的局部变量识别为右值，自动调用移动构造，不会产生多余的拷贝开销。

误区提醒：不要为了臆想中的“高性能”返回局部变量的任何引用类型（左值引用、右值引用都不行），只要返回的是局部变量的引用，必然会产生悬垂问题。

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