C++三元运算符返回局部对象为何调用拷贝构造而非移动构造

结论 #

这是C标准的既定规则，并非g或VS Code的Bug。

规则说明 #

C++标准在[class.copy.elision]章节明确规定了返回值自动移动的触发条件：当return语句的操作数是具有自动存储期的非volatile局部对象的标识符（即直接写局部变量名），且该对象不属于函数参数、catch块参数时，编译器会优先将该标识符当做右值处理，优先匹配移动构造函数。

• if分支场景：return a;和return b;都直接返回局部变量名，完全符合上述规则，因此自动触发移动构造。
• 三元运算符场景：ex == "123" ? a : b的运算结果是左值表达式，不是单纯的变量标识符，不符合自动移动的触发条件，因此编译器只能将其当做左值处理，匹配拷贝构造函数。

解决方案 #

如果需要在三元运算符场景下触发移动构造，主动调用std::move即可：

return ex == "123" ? std::move(a) : std::move(b);

内容的提问来源于stack exchange，提问作者Oğuzhan Türk