使用Lambda表达式与模板函数时触发C2672及C2784编译错误的排查求助

你的编译错误根源在于模板参数推导的冲突，我们一步步拆解问题并给出修复方案：

为什么会出错？ #

你的函数参数里用了std::function<void(ElementType & element)>，但当你传递Lambda表达式时，编译器面临一个两难的推导问题：

1. 它需要从第一个参数std::vector<std::vector<ElementType>>推导ElementType；
2. 同时它需要从Lambda表达式推导std::function的模板参数，但Lambda是一个匿名闭包类型，和std::function并非同一类型，编译器无法自动将Lambda隐式转换为对应的std::function来反向推导ElementType。

这两个推导路径无法协同工作，最终导致编译器报错“无法推导模板参数”。

修复方案 #

方案1：显式指定模板参数 #

最简单的修复是在调用函数时明确告诉编译器ElementType的类型，这样编译器就能正确匹配std::function的类型：

// 显式指定ElementType为Node
iterateOver2DVector<Node>(graph, [](Node & node) { node.update(); } );

方案2：用模板参数直接接受可调用对象（推荐） #

std::function会带来类型擦除的额外开销，而且完全没必要在这里使用。我们可以把可调用对象也作为模板参数，让编译器自动推导，这样既解决了推导问题，又提升了性能：

修改后的函数：

template<typename ElementType, typename Callable>
void iterateOver2DVector(std::vector<std::vector<ElementType>> & vec, Callable function) {
    for(auto & row : vec) {
        for(auto & element : row) {
            function(element);
        }
    }
}

甚至可以进一步简化，让编译器自动推导二维vector的类型，不需要显式写出ElementType：

template<typename TwoDVector, typename Callable>
void iterateOver2DVector(TwoDVector & vec, Callable function) {
    for(auto & row : vec) {
        for(auto & element : row) {
            function(element);
        }
    }
}

现在你可以像原来一样正常调用，不需要任何额外修改：

iterateOver2DVector(graph, [](Node & node) { node.update(); } );

这个方案的优势在于：编译器可以对可调用对象进行内联优化，避免std::function的类型擦除开销，同时彻底解决模板推导的问题。

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