能否动态创建Lambda函数？如何通过循环批量生成函数指针？

问题核心 #

你遇到的问题本质是：带捕获的Lambda无法转换为普通函数指针（普通函数指针不支持携带状态），而运行时循环中的i是变量，无法作为无捕获Lambda的编译期常量使用。因此直接用运行时for循环无法实现，必须借助编译期生成的方式，或者改用更灵活的替代方案。

编译期生成方案（符合函数指针要求） #

方案1：模板递归初始化（C++11及以上） #

通过模板递归，为数组每个位置生成返回对应常量值的无捕获Lambda：

#include <iostream>

constexpr int NUM_FUNCS = 5;
int (*fptr[NUM_FUNCS])() = {nullptr};

// 递归模板
template<int N>
struct InitFuncPtrs {
    static void init() {
        // 为fptr[N]赋值返回N的无捕获Lambda
        fptr[N] = []() -> int { return N; };
        InitFuncPtrs<N-1>::init();
    }
};

// 递归终止特化
template<>
struct InitFuncPtrs<0> {
    static void init() {
        // 按需初始化fptr[0]，这里保持nullptr
    }
};

int main() {
    InitFuncPtrs<NUM_FUNCS-1>::init(); // 初始化索引1~4

    std::cout << fptr[1]() << std::endl; // 输出1
    std::cout << fptr[4]() << std::endl; // 输出4
    return 0;
}

方案2：C++17折叠表达式+整数序列（更简洁） #

利用std::integer_sequence生成编译期整数序列，配合折叠表达式批量赋值：

#include <iostream>
#include <utility>

constexpr int NUM_FUNCS = 5;
int (*fptr[NUM_FUNCS])() = {nullptr};

template<int... Is>
void init_func_ptrs(std::integer_sequence<int, Is...>) {
    // 折叠表达式逐个为fptr[Is]赋值
    ((fptr[Is] = []() -> int { return Is; }), ...);
}

int main() {
    // 生成0~4的整数序列，批量初始化
    init_func_ptrs(std::make_integer_sequence<int, NUM_FUNCS>{});

    std::cout << fptr[1]() << std::endl;
    std::cout << fptr[4]() << std::endl;
    return 0;
}

如果不需要初始化fptr[0]，可以调整整数序列为std::integer_sequence<int, 1,2,3,4>，或者在折叠时加判断。

替代方案：改用std::function数组（灵活但非纯函数指针） #

如果业务场景允许放弃普通函数指针，改用std::function，可以直接用运行时for循环实现，代码更直观：

#include <iostream>
#include <array>
#include <functional>

constexpr int NUM_FUNCS = 5;
std::array<std::function<int()>, NUM_FUNCS> funcs;

int main() {
    for(int i = 1; i < NUM_FUNCS; ++i) {
        // 捕获循环变量i，生成Lambda
        funcs[i] = [i]() -> int { return i; };
    }

    std::cout << funcs[1]() << std::endl;
    std::cout << funcs[4]() << std::endl;
    return 0;
}

注意：std::function是封装器，性能略低于普通函数指针，但灵活性更强，支持带捕获的Lambda。

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