C++嵌套Lambda表达式传引用参数触发C2664错误问题咨询

我来帮你拆解这两个问题，核心其实是C++里左值/右值与引用绑定的规则在起作用~

疑问2：为什么非嵌套调用正常，嵌套就报错？ #

你的Lambda第一个参数是std::unique_ptr<float[]> &input_data——这是一个非const的左值引用。C++的规则是：非const左值引用只能绑定到左值（也就是有名字的、可以被修改的对象），不能绑定到临时的右值对象。

当你写嵌套调用f1(f1(test_object, size_for_testing), size_for_testing)时，内层f1(...)返回的是一个临时的std::unique_ptr对象（它没有名字，用完就销毁，属于右值）。这个临时对象没法绑定到Lambda要求的非const左值引用上，所以编译器直接抛出C2664错误。

而非嵌套调用里，result1是一个命名变量（左值），它可以正常绑定到非const左值引用，所以完全没问题。你预期的等价代码之所以能跑，也是因为result1是左值的缘故。

疑问1：Lambda用引用参数是不是不合适？ #

不是不合适，而是要看你的具体场景和引用类型的选择。

在你的代码里，传递std::unique_ptr的左值引用是合理的：你不想转移指针的所有权（如果传值的话，test_object会被move成空指针，后续再用就炸了），同时又避免了不必要的拷贝（毕竟unique_ptr本身就不能拷贝，只能移动）。

问题出在你用了非const左值引用。如果你的Lambda不需要修改input_data本身（也就是不需要改变这个unique_ptr指向的对象，只是读取数组元素），那把参数改成const左值引用就能解决嵌套调用的问题：

auto f1 = [](const std::unique_ptr<float[]> &input_data, int size)->std::unique_ptr<float[]> { 
    auto return_data = std::make_unique<float[]>(size); 
    for (int loop_number = 0; loop_number < size; loop_number++) { 
        return_data[loop_number] = input_data[loop_number] + 1; // 只是读取，完全没问题
    } 
    return return_data; 
};

因为C++允许const左值引用绑定到右值，而且还会延长临时对象的生命周期，这样嵌套调用时的临时返回值就能正常被接收了。

另外，还有个更灵活的写法：既然你只是要访问数组元素，其实没必要传递unique_ptr的引用，直接传数组指针就行——这样不管是unique_ptr管理的数组还是普通数组都能处理，代码通用性更强：

auto f1 = [](const float* input_data, int size)->std::unique_ptr<float[]> { 
    auto return_data = std::make_unique<float[]>(size); 
    for (int loop_number = 0; loop_number < size; loop_number++) { 
        return_data[loop_number] = input_data[loop_number] + 1; 
    } 
    return return_data; 
};

调用的时候用f1(test_object.get(), size_for_testing)就可以，完美避开引用绑定的问题。

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