传递Lambda至for_each_indexed模板函数时类型不匹配错误求助

这个问题的核心原因很直接：你的for_each_indexed函数要求第三个参数是函数指针类型，但Lambda表达式本质上是编译器生成的匿名函数对象（functor）实例，和函数指针不是同一个类型，模板参数推导时没法将二者匹配，因此报错。

具体分析 #

你定义的函数第三个参数类型是：

void (*)(typename std::iterator_traits<It>::value_type, I)

这是一个指向特定签名函数的指针。普通函数可以隐式转换成对应的函数指针，所以传普通函数时编译正常。但Lambda有本质区别：

• Lambda是编译器为你创建的匿名类的对象，这个类重载了operator()，属于函数对象范畴，并非函数指针。
• 只有无捕获外部变量的Lambda，才能被显式转换为对应函数指针类型，但模板推导过程中编译器不会自动做这个转换——它只会尝试直接匹配类型，于是就出现了错误提示里的类型不匹配：void (*)(...) vs 你的Lambda匿名类型。

解决办法 #

最通用、推荐的做法是修改模板函数，让它接受任意可调用类型，而非固定的函数指针：

template<typename It, typename Func, typename I = std::size_t>
void for_each_indexed(It begin, It end, Func l, I counter = 0) {
    std::for_each(begin, end, [&counter, &l](typename std::iterator_traits<It>::value_type value) {
        l(value, counter);
        counter++;
    });
};

这里把第三个参数改成模板参数Func，编译器会自动推导传入的可调用对象类型——不管是普通函数、Lambda（捕获或不捕获）、std::function还是自定义函数对象，都能完美适配。

如果因特殊需求必须保留函数指针参数类型，只能对无捕获的Lambda做显式转换：

// 仅适用于无捕获的Lambda
for_each_indexed(s.begin(), s.end(), 
    static_cast<void(*)(char, std::size_t)>([](char c, std::size_t idx) {
        // 你的处理逻辑
    }), 
    0);

但这种方法局限性极大，只要Lambda捕获了外部变量（比如[&]或[=]），就无法转换成函数指针，因此不推荐。

内容的提问来源于stack exchange，提问作者Johnny D.