Lambda自动推导返回值是否始终为右值？多编译器行为辨析

为避免代码重复，尝试用立即执行的Lambda选择类成员字段，示例代码如下：

#include <iostream>

struct Data {
    int d;
};

class Test {
public:
    void manipData(int id, int value) {
        Data& dat = [this, id]() {
            if (id == 1) {
                return _data1;
            } else {
                return _data2;
            }
        }();
        // long, complex code
        dat.d = value;
    }
    int getData(int id) {
        const Data& dat = [this, id]() {
            if (id == 1) {
                return _data1;
            } else {
                return _data2;
            }
        }();
        return dat.d;
    }

private:
    Data _data1;
    Data _data2;
};

int main() {
    Test t;
    t.manipData(2, 69);
    std::cout << t.getData(2) << "\n";
    return 0;
}

在manipData函数中，GCC（C++17/20标准模式）会报如下错误：

cannot bind non-const lvalue reference of type 'Data&' to an rvalue of type 'Data'

但无C++20开关的MSVC可以正常编译这段代码。以下是具体分析：

编译器行为正确性判断 #

GCC的行为符合C++标准，MSVC属于非标准扩展。

根据C++标准中Lambda的返回类型推导规则：当Lambda没有显式指定返回类型时，编译器会根据return语句的表达式类型推导返回类型。如果return的是左值（比如成员变量_data1/_data2），但没有显式声明返回引用，编译器会默认推导返回值类型（即Data），此时Lambda返回的是成员变量的副本，属于临时右值对象。

• 对于manipData中的Data& dat：非const左值引用不能绑定到右值，因此GCC报错完全符合标准。
• MSVC在这里做了不符合标准的特殊处理，将Lambda的返回类型推导为引用，属于编译器扩展行为。

代码是否存在bug #

即使getData中的const Data& dat可以绑定临时对象（C++标准允许const左值引用绑定右值以延长其生命周期），这段代码依然存在bug：Lambda返回的是成员变量的副本，dat绑定的是临时副本而非原成员变量。这意味着如果在Lambda执行后、dat使用前，原_data1/_data2被修改，getData读取到的依然是旧的副本值，逻辑上不符合“直接操作成员变量”的预期。

修复方法 #

给Lambda显式指定返回类型为引用，确保返回的是成员变量的左值引用，不会产生副本：

// manipData中的Lambda修改为
[this, id]() -> Data& {
    if (id == 1) {
        return _data1;
    } else {
        return _data2;
    }
}()

// getData中的Lambda修改为
[this, id]() -> const Data& {
    if (id == 1) {
        return _data1;
    } else {
        return _data2;
    }
}()

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