使用std::move传参：值传递与右值引用传递的编译差异及原因探究

这是个戳中C++底层细节的好问题，咱们一步步拆解清楚：

1. 汇编行数差异的直接原因 #

先拆解两个构造函数的实际执行流程：

• ValueClass的构造函数用值传递参数std::string obj：当你传入std::move(a)（右值）时，第一步会调用std::string的移动构造函数，把a的资源转移到形参obj中；第二步才在初始化列表里通过std::move(obj)，把obj的资源再转移到成员m_obj里。这是两次移动操作的逻辑（哪怕移动本身开销极小）。
• MoveClass的构造函数用右值引用传递std::string&& obj：这个引用会直接绑定到传入的右值std::move(b)上，初始化列表里的std::move(obj)直接把原右值的资源转移到m_obj，全程只有一次移动操作。

在默认优化等级（比如-O0）下，编译器会忠实地生成两次移动的代码，所以ValueClass的汇编行数会更多；而MoveClass只有一次移动，代码更精简。

2. 为什么理论上的优化没生效？ #

你提到的“应该被优化掉”涉及C++的复制消除（Copy Elision）规则，但复制消除主要针对临时对象的场景（比如返回值优化）。对于函数形参这种命名对象，编译器虽然可以尝试合并两次移动，但这属于可选优化——不是标准强制要求的，是否执行取决于编译器的优化策略和等级。

如果把Godbolt的优化等级调到-O2或更高，你会发现很多编译器会把这两种情况的汇编代码优化得几乎完全一致：因为移动操作本身是无副作用的，聪明的编译器会识别到两次移动可以合并成一次，最终的执行效果完全相同。

3. 除了性能，更重要的是接口表意性 #

这两种写法的核心差异其实在接口语义上，而不只是性能：

• ValueClass的构造函数是通用的：它接受任何std::string（左值或右值）。如果传入左值，会先拷贝构造形参，再move到成员；如果传入右值，就是两次move（可能被优化）。它的语义是“我需要一个std::string，不管你是复制给我还是转移给我”。
• MoveClass的构造函数是明确的：它只接受右值，调用者必须通过std::move或临时对象来传参，直接传左值会编译报错。这相当于给调用者明确提示：“我会拿走这个字符串的资源，你之后别再用它了”，从接口层面避免了误传左值导致的意外拷贝或资源转移。

总结 #

• 低优化等级下的汇编差异，本质是两次移动和一次移动的代码生成区别，高优化等级下通常会被抹平；
• 两种写法的核心价值差异在于接口语义的明确性：MoveClass通过右值引用参数，强制要求调用者传递“可转移的资源”，让代码意图更清晰，减少误用。

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