C++混合LValue、RValue引用及std::move使用相关问题咨询

问题1 解答 #

首先明确C++的核心规则：所有有名称的变量，无论其本身类型是左值引用还是右值引用，在作用域内都属于左值。
你理解的没错：InitMembers的入参aString是左值引用类型，它本身是有名称的左值，必须调用std::move才能将其转换为右值，匹配A类接受std::string&&的构造函数。
关于std::move的类型推导：std::move本质实现是static_cast<typename std::remove_reference<T>::type&&>(t)，此处你传入的aString是std::string&类型的左值，模板参数T会推导为std::string&（左值传入万能引用模板参数时，会推导为左值引用类型），经过std::remove_reference处理后得到裸类型std::string，因此std::move最终返回的是std::string&&类型的右值引用，符合预期。

问题2 解答 #

同样适用上面提到的核心规则：有名称的右值引用本身也是左值。
A类构造函数的入参aString类型虽然是std::string&&右值引用，但它是有名称的变量，在初始化列表中属于左值。如果直接用它初始化myString，会匹配std::string的拷贝构造函数，而非移动构造函数。因此必须加一层std::move将其转换为右值，才能触发移动构造，避免不必要的字符串拷贝开销。

两段代码的效果对比 #

两段代码最终运行结果一致，但接口设计的合理性有本质区别：

• 从执行结果来看，两段代码最终都会将hello变量的内容移动给myA的myString成员，执行完成后hello都会进入移后可析构的合法状态，全程不会发生字符串的深拷贝。
• 从设计合理性来看，第二段代码的实现存在明显隐患：A类的构造函数公开接口接受左值引用std::string&，但内部直接移动了入参，调用者如果不感知内部实现，会默认自己传入的字符串不会被修改，极易引发线上问题。而第一段代码的A类构造函数明确要求传入右值引用，相当于在接口层面就向调用者声明「我会接管该参数的所有权」，语义清晰，不容易出现误用问题。

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