C++中用vector存储带捕获的lambda函数报错问题求解

问题根源 #

你声明的vector<double(*)(vector<double>)>是存储无状态函数指针的容器，但循环中使用的[i]捕获了外部变量，属于带状态的闭包对象。C++仅允许无捕获的Lambda隐式转换为普通函数指针，带捕获的Lambda无法完成这个转换，因此编译器报错。

解决方案：改用std::function包装可调用对象 #

std::function是C++标准库提供的通用可调用对象包装器，可以兼容函数指针、Lambda（无论是否捕获变量）、成员函数指针等多种可调用类型。只需修改vector的元素类型为std::function<double(vector<double>)>，同时记得包含<functional>头文件：

#include <vector>
#include <functional>
#include <iostream>

int main() {
    std::vector<std::function<double(std::vector<double>)>> F;
    for(int i = 0; i < 3; ++i) {
        F.push_back([i](std::vector<double> x) -> double {
            return x.at(i);
        });
    }

    // 测试调用示例
    std::vector<double> test_vals = {1.5, 2.5, 3.5};
    for(const auto& func : F) {
        std::cout << func(test_vals) << std::endl;
    }
    return 0;
}

为什么无捕获Lambda可以正常工作？ #

第一个代码中的Lambda没有捕获任何外部变量，属于无状态闭包。C++标准规定，这类Lambda可以隐式转换为匹配签名的普通函数指针，因此能直接存入vector<double(*)(vector<double>)>容器。

不推荐的方案：用静态变量模拟捕获 #

如果执意要使用函数指针，你可能会想到用静态变量存储循环变量i，但这种方法会导致所有Lambda共享同一个静态变量的值，最终所有Lambda都会使用循环结束后的i值（即3），调用时会触发数组越界，完全不符合需求，因此强烈不推荐：

// 错误示例，请勿使用
#include <vector>
#include <iostream>

int main() {
    std::vector<double(*)(std::vector<double>)> F;
    static int shared_idx;
    for(int i = 0; i < 3; ++i) {
        shared_idx = i;
        F.push_back([](std::vector<double> x) -> double {
            return x.at(shared_idx); // 所有Lambda都会使用shared_idx的最终值3
        });
    }
    std::vector<double> test = {1,2,3};
    // 调用F[0](test)会尝试访问x.at(3)，触发越界错误
    return 0;
}

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