为何GCC与Clang编译同一C++程序输出不同？

问题根源：右值引用变量的左值属性 #

原代码中调用f(std::move(s))时，模板参数T会被推导为S，函数实例化为：

S f(S&& t) { return t; }

这里容易忽略的核心细节是：任何有名字的变量（无论它是左值引用还是右值引用），作为表达式时都会被视为左值。因此return t;本质是将一个左值传递给S的构造函数，编译器会优先匹配拷贝构造函数S(const S&)，输出'b'。

编译器优化策略的差异 #

Clang输出'c'是因为它触发了特定优化：虽然t是左值，但它是函数参数，在函数返回后会立即被销毁，Clang将其视为“即将失效的亡值”处理，进而调用移动构造函数S(S&&)。而GCC在默认情况下没有触发该优化，严格按照左值的规则匹配构造函数，所以输出'b'。这不属于未定义行为或实现漏洞，只是C++标准允许范围内的编译器优化策略差异。

std::forward的作用原理 #

当修改为return std::forward<T>(t);后，std::forward会根据模板参数T的类型，精准还原t的原始值类别：

• 调用f(std::move(s))时，T推导为S，std::forward<S>(t)等价于static_cast<S&&>(t)，将t转换为右值引用，此时返回的是右值，触发移动构造函数；
• 调用f(s)时，T推导为S&，std::forward<S&>(t)等价于static_cast<S&>(t)，保持t的左值引用属性，继续调用拷贝构造函数。

通过std::forward的“完美转发”特性，GCC和Clang的行为统一，都会按照预期调用对应构造函数，输出'abc'。

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