函数返回值的通用完美转发问题排查与修复

我在尝试以通用方式完美转发函数返回值时遇到了问题。

测试用函数 #

以下是两个返回不同类型结果的函数：

Foo provideFooAsTemporary() 
{
    return Foo{};
}

Foo& provideFooAsReference() 
{
    static Foo foo{};
    return foo;
}

存在错误的转发实现 #

以下实现无法正确处理临时对象的转发：

template <typename TFn>
decltype(auto) erroneousForwardFoo(TFn&& fn) 
{
        auto&& result = fn();

        // 在此执行一些操作

        return std::forward<decltype(result)>(result);
}

Foo fooTemporary = erroneousForwardFoo(provideFooAsTemporary); // 执行失败
Foo& fooReference = erroneousForwardFoo(provideFooAsReference); // 执行成功

当返回结果为临时对象时，转发失败，表现为erroneousForwardFoo的返回值指向无效内存。

正常工作的简化版本 #

相比之下，直接返回函数调用结果的版本可以正常运行：

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

Foo fooTemporary = workingForwardFoo(provideFooAsTemporary); // 执行成功
Foo& fooReference = workingForwardFoo(provideFooAsReference); // 执行成功

但我需要在返回前执行一些操作，因此必须修复erroneousForwardFoo。

调试发现问题源于悬垂引用：临时对象的生命周期仅绑定到右值引用result，离开函数作用域后result失效，导致返回的引用指向无效内存。

补充需求 #

除左值引用外，解决方案还需支持返回右值引用的函数：

Foo&& provideFooAsRValueReference() 
{
    static Foo foo{};
    return std::move(foo);
}

问题 #

1. 错误产生的详细准确原因是什么？
2. 如何简洁重写erroneousForwardFoo，实现正确的通用完美转发？

1. 错误原因详解 #

调用provideFooAsTemporary()时，它返回一个临时Foo对象，此时auto&& result推导为Foo&&并绑定到该临时对象。根据C++标准，临时对象的生命周期会被延长到绑定它的引用的生命周期结束——但这里的result是函数内部的局部变量，函数执行完毕后result被销毁，临时对象的生命周期也随之终结。

std::forward<decltype(result)>(result)会将result转换为Foo&&返回，此时返回的右值引用指向的临时对象已被销毁，形成悬垂引用，后续使用会触发未定义行为。

而直接返回fn()的版本中：当函数返回临时对象时，编译器会执行返回值优化(RVO)，直接在调用方内存中构造对象；即使没有RVO，C++标准也规定，返回的临时对象生命周期会被延长到初始化调用方对象时，因此不会失效。

2. 正确的完美转发实现 #

我们需要根据fn()的返回类型，决定存储引用还是值，同时保证临时对象生命周期正确延长。可以通过std::invoke_result_t获取函数返回类型，配合constexpr if做分支处理：

#include <type_traits>
#include <utility>

template <typename TFn>
decltype(auto) correctForwardFoo(TFn&& fn) 
{
    using ReturnType = std::invoke_result_t<TFn>;

    if constexpr (std::is_reference_v<ReturnType>) {
        auto&& result = fn();
        // 在此执行需要的操作
        return std::forward<ReturnType>(result);
    } else {
        auto result = fn();
        // 在此执行需要的操作
        return std::move(result);
    }
}

逻辑解释 #

• 返回引用类型（左值引用Foo&或右值引用Foo&&）：用auto&&绑定结果，通过std::forward<ReturnType>转发引用，此时引用指向的对象（如static Foo）生命周期不受函数影响，不会悬垂。
• 返回值类型（临时对象Foo）：将临时对象移动到局部变量result中，返回时用std::move触发移动构造，把值传递给调用方，避免悬垂引用。

测试验证 #

// 临时对象转发
Foo fooTemporary = correctForwardFoo(provideFooAsTemporary); // 执行成功
// 左值引用转发
Foo& fooReference = correctForwardFoo(provideFooAsReference); // 执行成功
// 右值引用转发
Foo&& fooRValueRef = correctForwardFoo(provideFooAsRValueReference); // 执行成功

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