Lambda返回全局变量引用时触发“无法绑定非const左值引用”错误

报错原因 #

你的代码里，lambda表达式[&](){ return frob; }的返回类型被编译器默认推导为int（值类型），而非int&。因为直接返回变量时，默认推导的返回类型是变量的值副本，不是引用。

这导致模板函数bar的返回类型auto被推导为int，也就是返回一个临时的int右值。而foo的返回类型是int&，C++不允许将非const的左值引用绑定到右值，这就触发了GCC的报错。

被注释的版本能编译，是因为它通过指针间接拿到了frob的引用，最终返回的*p是一个左值，符合int&的返回要求。

解决方案 #

以下几种方法都能在通过返回语句传递结果的前提下解决问题：

1. 显式指定lambda的返回类型为引用 #

修改lambda，明确标注返回int&，让bar返回引用类型：

int& foo()
{
    return bar([&]() -> int& {
        return frob;
    });
}

通过-> int&强制lambda返回引用，此时f()的返回值是int&，bar的返回类型也会被推导为int&，和foo的返回类型完全匹配。

2. 用std::ref包装返回值 #

借助std::ref把变量包装成引用类型，让lambda返回包装后的对象，最终可隐式转换为int&：

#include <functional> // 需包含此头文件

int& foo()
{
    return bar([&](){
        return std::ref(frob);
    });
}

std::ref(frob)返回std::reference_wrapper<int>对象，bar返回该对象后，能自动转换为int&，满足foo的返回要求。

3. 修改bar模板保留引用属性（谨慎使用） #

如果bar的设计就是用来传递引用，可以把它的返回类型改为decltype(auto)，精确保留f()的返回类型（包括引用）：

template <typename F>
decltype(auto) bar(F f)
{
    return f();
}

decltype(auto)会严格推导f()的返回类型，不会丢弃引用属性。但这种修改会改变bar的通用行为，可能影响其他使用场景，仅适合bar专门处理引用返回的场景。

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