C++局部存储的lambda传入concurrency::parallel_for编译失败解决方法

问题场景 #

实现基于数据规模判断的std::vector条件化处理逻辑：判定为单线程串行模式时，普通for循环调用局部定义的lambda表达式可正常运行；引入<ppl.h>头文件后，将该lambda作为参数传入concurrency::parallel_for时出现编译错误，提示不存在匹配的parallel_for调用函数。

问题复现代码 #

Array3<T> res = this->cloned();
size_t imax = res.getCount();

// 用于处理vector元素的lambda表达式
std::function<void(size_t)> lambdaFun = [&](size_t i) {
    res[i] *= rhs[i]; 
};

size_t i;

if (ll())
{
    // 并行分支
    concurrency::parallel_for(size_t(0), imax, lambdaFun); // 编译失败
}
else 
{
    // 串行分支
    for (i = 0; i < imax; i++)
    {
        lambdaFun(i); // 运行正常
    }
}

对照测试结果 #

• 直接将lambda函数体作为实参传入concurrency::parallel_for可正常编译运行，代码如下：

concurrency::parallel_for(size_t(0), imax, [&](size_t i)
{
    res[i] *= rhs[i];   // 和预定义lambda逻辑完全一致，可正常运行
});

• 改用auto关键字直接接收lambda表达式存储到局部变量，仍然无法解决编译报错：

auto lambdaFun = [&](size_t i) 
{
    res[i] *= rhs[i];
};

核心需求：不重复书写lambda函数体，让局部变量lambdaFun存储的逻辑可以同时被串行for循环和parallel_for复用。

报错原因 #

旧版本PPL库的parallel_for对传入的可调用对象存在模板推导缺陷：

• 直接传入lambda字面量时，编译器可正确识别lambda默认const属性的operator()，匹配到正确的函数重载，因此编译正常。
• 传入预先存储的lambda变量（无论是std::function包装还是auto承接的原始lambda）时，SFINAE检查会误判该对象不满足const上下文调用要求，最终触发无匹配重载的编译错误。

解决方案 #

在parallel_for的实参位置传入一层极薄的包装lambda，内部直接转调预先定义的lambdaFun即可，不需要重复编写业务逻辑：

if (ll())
{
    concurrency::parallel_for(size_t(0), imax, [&](size_t i) {
        lambdaFun(i);
    });
}

该写法完全兼容PPL的参数要求，编译器开启O2优化后会完全内联转调逻辑，运行效率和直接把业务逻辑写入parallel_for参数完全一致，同时保证了串行、并行分支复用同一份处理逻辑，后续修改逻辑只需要改一处即可。

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