C++中使用std::move绑定右值引用的代码是否会产生悬垂引用？

你的测试代码不会产生悬垂引用 #

具体原理如下：

• "test text" 是字符串字面量，类型为 const char[10]，属于静态存储期左值，程序运行全程有效。
• std::move("test text") 仅做类型转换，返回值为 const char (&&)[10] 类型的右值引用，既不会生成新对象，也不会改变原字符串字面量的存储周期。
• 用该值初始化 std::string&& s 时，会触发 std::string 的隐式转换构造函数，生成一个临时的std::string纯右值对象。
• 这个临时std::string对象被直接绑定到右值引用s，符合C++的临时对象生命周期延长规则：当临时对象直接绑定到引用时，其生命周期会延长到和引用的生命周期完全一致。因此在s的作用域结束前，这个临时对象始终有效，不存在悬垂。

你提到的std::string&& s = "test text"确实是合法用法 #

这段代码也不会产生悬垂引用，它和你的测试代码逻辑本质一致：字符串字面量先隐式构造临时std::string对象，直接绑定到s后生命周期延长。区别仅在于你的测试代码多了一步对字符串字面量的std::move转换，这个转换对最终的临时std::string构造和绑定没有负面影响。

Stack Overflow示例为何属于悬垂引用？ #

两个示例的核心差异是临时对象的绑定路径：

int main()
{
   string&& danger = std::move(middle_name());  // dangling reference !
   return 0;
}

• middle_name() 按值返回std::string，返回值是一个临时的std::string纯右值。
• std::move() 接收这个临时对象后，返回std::string&&类型的亡值，本质是对临时对象的间接引用。
• C++的临时生命周期延长规则仅适用于临时对象直接绑定到引用的场景，如果中间经过了std::move的类型转换，临时对象无法识别到后续还存在引用绑定，会在当前完整表达式（即整个赋值语句）结束后立即销毁，此时danger绑定的是已经被销毁的对象，属于悬垂引用。

额外说明：悬垂引用不代表一定会报错 #

悬垂引用属于未定义行为，未定义行为不代表一定会触发崩溃或者输出错误值：对象销毁后对应的内存可能还没有被回收或者被其他数据覆盖，读取操作大概率还能拿到原来的内容，但这种代码完全不可靠，在不同编译选项、不同运行环境下可能出现完全不同的结果，绝对不能在生产环境使用。

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