关于C++ std::move文档的疑问：左值为何可作为实参传入？

别担心，你参考的文档并没有出错——这是C++里一个容易让人混淆但设计非常巧妙的特性，我来给你拆解清楚：

1. std::move的真实签名不是你想的那样 #

你看到的T&& t其实是转发引用（也叫万能引用），它是模板参数推导下的特殊语法，而非普通的右值引用。std::move的标准签名是这样的：

template<typename T>
typename std::remove_reference<T>::type&& move(T&& t) noexcept;

当你传入左值（比如代码里的a）时，模板推导会让T被推断为左值引用类型（这里就是std::string&），再通过C++的引用折叠规则，参数t的实际类型会变成std::string&（左值引用），所以左值完全可以被正常传入。

2. std::move的核心是“类型转换”，而非“移动数据” #

很多人会误解std::move是直接把数据从一个对象移到另一个，但它的真实作用是将传入的对象强制转换为右值引用类型。内部实现其实就是一句强制类型转换：

return static_cast<typename std::remove_reference<T>::type&&>(t);

在你的代码里，std::move(a)把左值a转换成了std::string&&（右值引用），这样就触发了std::string的移动构造函数。

3. 为什么a会变成空？ #

std::string的移动构造函数会接管传入右值引用的内部资源（比如存储字符串的堆内存指针），为了避免重复释放内存，它会把原对象（也就是a）的内部状态置为合法但未指定的状态——在大多数标准库实现里，这个状态就是空字符串，所以你会看到输出里a是空的，而b持有了原来的"hello"。

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