C++17函数实参求值与形参构造：move后对象调用成员函数是否安全？

核心结论 #

你的理解是正确的：形参的构造（初始化）不属于实参求值过程，copied的移动构造会在所有实参表达式求值完成后执行，因此object.calc_something()调用时object的资源不会被窃取，是安全的。

关键概念区分 #

要理清这个问题，必须明确两个阶段的本质差异：

• 实参求值：计算传递给函数的实参表达式的结果，对应你的代码中：
  • object.calc_something()：调用成员函数并返回int值，执行过程中会正常访问object的内部资源；
  • std::move(object)：仅将object的类型转换为右值引用（xvalue），这是一个编译期完成的空操作，不会修改object的状态，也不会触发任何资源窃取行为。
• 形参初始化：用实参表达式的结果初始化函数的形参。这里就是用std::move(object)得到的xvalue去构造形参copied，这一步才会触发T的移动构造函数，真正窃取object的内部资源。

C++标准的具体规定 #

C++17之前的版本 #

函数调用中多个实参表达式的求值顺序是未指定的（编译器可自由选择顺序），但标准强制要求：所有实参表达式的求值必须在函数的形参初始化之前全部完成。也就是说，无论object.calc_something()和std::move(object)哪个先被求值，copied的移动构造都要等到这两个操作全部结束后才会执行。因此object在calc_something()调用时始终处于完好状态，不存在资源被提前窃取的风险。

C++17及以后的版本 #

C++17对实参求值顺序做了更严格的约束：对于函数调用f(a, b)，实参表达式的求值顺序为从左到右——a的求值会完全完成后才开始b的求值。这意味着你的代码中object.calc_something()一定会先执行，之后才会处理std::move(object)，彻底消除了任何可能的顺序歧义。

常见误区澄清 #

不少开发者会误以为std::move(object)会直接触发移动操作，但实际上std::move只是一个类型转换工具，它本身不执行任何资源转移逻辑。真正的移动行为，只有在用右值引用初始化对象时才会发生——也就是形参copied的构造阶段，而这个阶段必然发生在所有实参表达式求值完成之后。

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