为何C++中std::move采用万能引用形参而非仅接收左值引用

首先明确基础前提：左值、右值是表达式的属性，不是对象本身的固有特征。

很多人第一次看std::move实现都会有这个疑问：既然std::move的核心作用是把左值转成右值引用，右值本身已经具备右值属性，不需要额外转换，那为什么不直接写一个只接收左值引用的版本，非要用能同时匹配左值、右值的万能引用？

这个设计选择本质是工程上的权衡，主要考虑三点：

• 第一，避免重载爆炸，用一份实现覆盖所有参数场景。
  如果要单独为左值实现move，首先会遇到语法限制：非const左值引用T&没法绑定到右值（比如字面量、临时对象），只写template<class T> T&& move(T& x)的话，类似move(123)的调用会直接编译报错。你可能会想再加一个右值引用的重载解决问题，但这时候只要参数带const、volatile修饰，就会出现重载匹配歧义——比如传入const左值、const右值的时候，两个重载的匹配优先级完全一致，编译器会直接报二义性错误。算上const、volatile的不同组合，你足足要写8个重载才能覆盖所有可能的参数类型，维护成本极高。而万能引用靠模板推导规则，一份实现就能匹配所有值类别、所有cv限定符的参数，没有任何冗余。
• 第二，大幅简化泛型编程逻辑，不需要额外的值类别判断。
  写泛型代码的时候，很多场景下你根本不知道经过转发的参数最终是左值还是右值。如果move只能接收左值，那每次要转移参数所有权的时候，都必须写编译期分支判断参数的值类别，确认是左值才调用move，是右值就直接传递，平白增加大量重复的样板代码。而现在的move实现不管传入左值还是右值，都能安全返回对应的右值引用：传左值就完成左值到右值的转换，传右值就做一次零开销的身份转换，语义完全正确。泛型代码里可以直接对要转移所有权的参数调用move，不需要做任何额外判断。
• 第三，“右值不需要move”只是手写代码的最佳实践，不是语法层面需要强制禁止的错误。
  对右值表达式调用std::move确实是多余的写法，但完全无害，不会产生任何额外开销，也不会引发语义错误。标准库的设计不会为了禁止这种无害的多余写法，反过来提高泛型场景的使用成本，这个权衡的收益远大于成本。

std::move的典型标准实现如下，整个实现没有任何针对左值、右值的特殊分支，全靠模板推导和类型萃取完成转换：

template <typename T>
typename std::remove_reference_t<T>&& move(T&& x)
{
  return static_cast<std::remove_reference_t<T>&&>(x);
}

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