何时将变量引用初始化为函数调用结果更具实用性？

首先要明确：MyType& x = FunctionCall();这个写法本身不合法——普通左值引用无法绑定到函数返回的临时对象（临时对象属于右值），除非两种情况：

• FunctionCall()的返回值类型是MyType&（即函数返回一个左值引用，指向某个已存在的对象）；
• 把x声明为const MyType&（const左值引用可以绑定临时对象，同时延长其生命周期至x的作用域结束）。

下面针对你的疑问逐一说明：

1. 这种写法是不是仅用于避免复制，让x引用函数返回值？ #

分两种情况：

• 如果是const MyType& x = FunctionCall();：确实可以避免复制——x是临时对象的别名，不会创建新的MyType对象，也就没有复制开销，同时临时对象的生命周期会被延长到x失效为止。
• 如果FunctionCall()返回MyType&：x只是绑定到函数返回的那个已存在的对象，本身就不存在复制的问题，目的就是直接操作原对象。

2. 和移动语义的区别 #

移动语义是将临时对象的资源转移给新创建的对象（比如MyType x = FunctionCall();在无法做返回值优化时，会调用移动构造），最终x是一个独立的对象，拥有自己的资源，后续操作x不会影响原临时对象（原临时对象会被销毁）；
而引用的方式，x只是目标对象的别名，本身不占用额外的对象内存，也不会触发构造/析构函数（除了临时对象生命周期被延长的情况），操作x等价于操作原对象。

3. 编译器不会自动用移动构造转移函数返回值吗？ #

对于MyType x = FunctionCall();，编译器优先会做返回值优化（RVO/NRVO）——直接在x的内存地址上构造函数返回的对象，完全跳过复制或移动操作；只有当编译器无法进行优化时，才会调用移动构造函数（因为函数返回的临时对象是右值，符合移动构造的参数要求）。所以绝大多数场景下，这种写法不会有复制开销。

4. 相比MyType x = FunctionCall();，该写法有哪些优势？ #

• 若是const MyType&绑定临时对象：完全避免了新对象的构造开销（x只是别名，不需要额外创建对象），适合只需要读取临时对象内容、不需要修改的场景。
• 若是绑定函数返回的左值引用：可以直接操作函数返回的原对象，适合需要修改原对象状态、或者不想创建新对象的场景。
  但要注意，非法的MyType&绑定临时对象没有任何优势，因为根本无法通过编译。

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