含显式移动构造函数的类返回值编译失败的原理与方案咨询

1. 第一段代码编译失败的原因 #

当函数返回局部对象时，C++的处理逻辑如下：

• 优先尝试返回值优化（RVO/NRVO）：编译器直接在函数返回值的内存空间构造局部对象，完全跳过拷贝或移动操作。这是编译器优化特性，并非语言强制要求。
• 如果RVO未触发（比如未开启优化、代码不符合RVO条件），编译器会尝试将局部对象转换为右值，调用移动构造函数生成返回值。
• 若移动构造不可用，才会尝试调用拷贝构造函数。

你的代码中，拷贝构造被delete，而移动构造标记为explicit。explicit构造函数无法用于隐式类型转换，因此当需要隐式将局部对象转为右值匹配返回值类型时，编译器无法调用移动构造，只能尝试调用已被删除的拷贝构造，最终报错。

2. 添加std::move后仍报错的原因 #

std::move(foo)会把局部对象foo转换为Foo&&类型的右值，但函数返回的是Foo类型。此时需要将Foo&&隐式转换为Foo，这一步仍需调用移动构造——但explicit的移动构造不允许这种隐式转换，编译器还是只能退而求其次调用被删除的拷贝构造，因此报错信息完全相同。

3. 移除explicit后编译正常的原因 #

移除explicit后，移动构造函数可用于隐式类型转换：

• 即使RVO未触发，编译器也能隐式将局部对象转为右值，调用移动构造生成返回值；
• 若编译器触发RVO，甚至可以完全跳过移动构造操作。

这就是不加std::move也能正常编译的原因。

4. return Foo(std::move(foo))与return std::move(foo)的差异 #

• return std::move(foo)：返回的是Foo&&类型，需要隐式转换为Foo才能匹配函数返回值类型。但explicit的移动构造不支持这种隐式转换，因此编译失败。
• return Foo(std::move(foo))：这是显式调用移动构造函数，直接在返回值位置构造Foo对象，不存在隐式转换需求，编译器会直接调用explicit Foo(Foo&&)，因此编译通过。

5. 保留explicit移动构造的更优实现方式 #

如果必须保留explicit移动构造函数，可参考以下方案：

• 优先利用返回值优化：确保代码符合NRVO条件（比如局部变量单一、直接返回，无分支逻辑改变返回对象）。此时编译器会直接在返回值内存位置构造对象，完全不需要调用拷贝/移动构造。例如你的bar函数本身就符合NRVO条件，开启优化（如-O2）后，编译器会跳过所有构造函数调用。
• 显式构造返回对象：使用return Foo(std::move(foo))的方式，明确调用移动构造，避免隐式转换需求。
• 若场景允许，可将返回值类型改为Foo&&，但这种方式会转移局部对象所有权，需谨慎使用，避免悬空引用。

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