关于C++右值引用变量的规则、优势及返回场景的问询

1. 这种用法的规则是什么？ #

当右值引用绑定到纯右值（比如std::string t()返回的临时对象）时，C++标准会延长该临时对象的生命周期，使其与右值引用变量的生命周期保持一致。

针对t不同的返回类型，行为存在差异：

• 按值返回（std::string t()）：t()返回的是临时对象（纯右值），绑定到右值引用s后，临时对象会一直存活到s被销毁。需要注意：s本身是具名变量，属于左值，若要将其当作右值使用，需通过std::move(s)转换。
• 返回左值引用（std::string& t()）：t()返回的是左值，无法直接绑定到右值引用，强行绑定会触发编译错误（除非用std::move强制转换为右值）。
• 返回右值引用（std::string&& t()）：t()返回的是亡值（右值引用类型的表达式），此时绑定不会触发临时对象的生命周期延长。如果t()返回的是局部对象的右值引用，绑定后的s会立即成为悬垂引用，访问它属于未定义行为。

2. 相较于按值捕获或const左值引用，它有何优势？ #

这种写法在生产代码中几乎没有实用价值，优势非常有限，更多是用于考察对右值引用规则的理解：

• 对比按值捕获（std::string s = t();）：
  C17及以后会触发返回值优化（RVO），临时对象会直接构造在s的内存空间中，无拷贝/移动开销；C17之前则可能触发一次移动构造（开销极小）。而右值引用绑定仅做引用关联，无构造/移动操作，但s是引用类型，不像按值的s是独立对象，修改时需注意引用的特性，反而不如按值写法直观。
• 对比const左值引用（const std::string& s = t();）：
  const左值引用同样能延长临时对象生命周期，但受const限制无法修改对象；而右值引用是可变的，可对绑定的临时对象执行修改操作（比如调用非const成员函数）。这是唯一的优势，但场景极少——若需修改临时对象，直接按值获取并修改的写法更清晰，不易出错。

3. 当t返回右值引用时，行为是否不同？返回右值引用的合理场景有哪些？ #

行为差异 #

若t()返回右值引用，绑定到std::string&& s时不会延长任何对象的生命周期。如果t()返回的是局部对象的右值引用，s会直接成为悬垂引用，访问行为未定义；若t()返回的是已存在对象的右值引用（比如类成员对象），则s会关联到该对象，对象的生命周期由自身的作用域决定。

返回右值引用的合理场景 #

除std::move（将左值转换为右值引用）外，常见的合法场景包括：

• 类的移动语义接口：在类的成员函数中，为移动操作提供接口，比如std::string&& get_data() && { return std::move(m_data); }，允许外部接管类成员的资源。
• 移动迭代器实现：移动迭代器的operator*()返回右值引用，使得std::move等算法可以直接移动容器元素，避免不必要的拷贝。
• 资源池/对象池场景：工厂函数从池中取出已分配的对象，返回其右值引用，调用者可通过移动语义接管资源，减少内存拷贝。
• 避免拷贝的链式调用：某些对象的成员函数返回自身的右值引用，支持链式调用的同时允许移动语义，比如MyObj&& MyObj::do_something() && { /* 操作 */ return std::move(*this); }。

注意：不要返回局部对象的右值引用，这会导致悬垂引用，属于严重错误。

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