通过模板函数转发结果时启用NRVO的问题及编译器差异解析

我在通过模板函数转发函数结果时，发现GCC和Clang对**具名返回值优化（NRVO）**的处理存在差异。以下是测试代码：

Foo provideFooAsTemporary() 
{
    return Foo{};
}

template <typename TFn>
auto forwardA(TFn &&fn) 
{
    auto result = fn();
    return result;
}

template <typename TFn>
auto forwardB(TFn &&fn) -> decltype(fn()) 
{
    auto result = fn();
    return result;
}

Foo fooA = forwardA(provideFooAsTemporary);  
Foo fooB = forwardB(provideFooAsTemporary);

测试观察结果 #

• GCC 14.1：forwardA和forwardB均避免了任何移动操作，成功触发NRVO。
• Clang 18.0.1：仅forwardB能触发NRVO避免移动，forwardA会触发移动构造/赋值。

我原本以为Clang中forwardA也能触发NRVO，现提出两个问题：

1. forwardA和forwardB的核心差异是什么？为什么尾置返回类型会导致这种区别？
2. 有没有比forwardB更简洁的写法，能让Clang对这类模板函数触发NRVO？

问题1：尾置返回类型对NRVO的影响 #

forwardA使用自动返回类型推导（auto），forwardB则采用尾置返回类型（decltype(fn())），两者的核心差异在于编译器确定返回类型的时机和确定性：

• 对于forwardA，编译器需要分析函数体后才能推导返回类型。模板实例化时，Clang的优化器无法在早期阶段确认result的类型和最终推导的返回类型完全一致，因此保守地放弃NRVO，转而执行移动操作。
• 对于forwardB，尾置返回类型直接明确了返回类型就是fn()的返回值类型。编译器在处理函数体前就知道result的类型与返回类型完全匹配，因此可以安全地应用NRVO，直接将result的构造地址优化为目标变量（fooB）的地址，避免移动。

GCC的优化器对自动类型推导的类型一致性判断更激进，即使是auto推导也能确认类型匹配，因此能触发NRVO；而Clang在该场景下更依赖明确的返回类型声明来启用NRVO。

问题2：更简洁的Clang NRVO写法 #

有几种比forwardB更简洁的实现方式：

方式1：直接返回表达式（省略中间变量）

如果不需要在返回前处理结果，直接返回fn()即可，此时编译器会触发返回值优化（RVO），效果比NRVO更直接：

template <typename TFn>
auto forwardC(TFn &&fn) 
{
    return fn();
}

这种写法无需中间变量，编译器可直接将fn()的构造结果放到目标变量的内存地址，完全避免拷贝/移动。

方式2：使用decltype(auto)推导返回类型

decltype(auto)能精确推导返回值的类型和值类别，同时让编译器提前明确返回类型与fn()的返回类型一致，Clang会认可这种推导并触发NRVO：

template <typename TFn>
decltype(auto) forwardD(TFn &&fn) 
{
    auto result = fn();
    return result;
}

该写法既保留了auto的简洁性，又保证了返回类型的确定性，效果与forwardB一致但代码更短。

方式3：显式指定返回类型（C++20+）

使用C++20及以上版本时，可通过std::invoke_result_t直接指定返回类型，可读性更强：

#include <type_traits>

template <typename TFn>
std::invoke_result_t<TFn> forwardE(TFn &&fn) 
{
    auto result = fn();
    return result;
}

std::invoke_result_t直接获取fn()的返回类型，作用与尾置返回类型完全相同。

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