为何C++移动语义函数签名需用右值引用？移动赋值签名疑问解析

针对你提出的问题，除了签名冲突之外，还有几个更深层的核心原因，决定了移动语义必须依赖右值引用：

一、明确区分语义意图 #

移动操作的本质是窃取源对象的资源，同时会修改源对象的状态（比如你的示例中将rhs.buf_ptr置为nullptr）。而左值是有名字的、用户大概率后续还要使用的对象——如果允许用左值引用作为移动操作的参数，编译器和其他开发者都无法区分代码是想执行「复制（保留源对象状态）」还是「移动（销毁源对象状态）」。

右值引用的设计就是为了划清这条界限：只有右值（临时对象、通过std::move显式标记的对象）才能绑定到右值引用，这要求用户必须显式表达允许对象被移动的意图，从根源上避免语义模糊。

二、防止意外破坏左值 #

移动操作会不可逆地修改源对象的内部状态，要是用左值引用作为参数，像a = b这样的常规代码（b是左值）会直接触发移动，导致b的资源被窃取，后续使用b时会出现未定义行为。

右值引用则从语法层面规避了这种风险：只有当用户主动调用std::move(b)将左值转换为右值时，才会触发移动操作——这相当于一种明确的风险提示，让开发者清楚知道后续b的状态可能不再可用。

三、适配临时对象的自动优化 #

C++中的临时对象（比如函数返回的匿名对象、直接构造的MyClass()）只能绑定到const左值引用或右值引用。如果移动操作使用左值引用作为参数，临时对象根本无法传递给它，也就无法利用移动语义优化临时对象的拷贝开销。

而右值引用可以自动匹配临时对象，让编译器在不需要用户干预的情况下，自动选择移动操作，这正是移动语义最核心的性能优化场景之一。

四、保障重载决议的精准性 #

右值引用提供了独一无二的函数签名，让编译器能在重载决议时精准区分：

• 复制赋值：MyClass& operator=(const MyClass& rhs)（接收左值，保留源对象）
• 移动赋值：MyClass& operator=(MyClass&& rhs)（接收右值，窃取源对象资源）

如果把移动赋值的签名改成MyClass& operator=(MyClass& rhs)，要么会和非const版本的复制赋值签名冲突，要么无法匹配右值实参，完全失去移动语义的设计意义。

内容的提问来源于stack exchange，提问作者D.J. Elkind