使用 std::function 作为 lambda 参数调用函数

Question

我从这里得到的问题的基础： Failure to deduce template argument std::function from lambda function 这个线程中的问题是： 为什么这段代码不能将 lambda 传递给函数：

#include <iostream>
#include <functional>

template <typename T>
void call(std::function<void(T)> f, T v)
{
    f(v);
}

int main(int argc, char const *argv[])
{
    auto foo = [](int i) {
        std::cout << i << std::endl;
    };
    call(foo, 1);
    return 0;
}

这个帖子的答案是，因为 lambda 不是 std::function。但是为什么要编译这段代码：

#include <iostream>
#include <functional>

template <typename T>
void call(std::function<void(T)> f, T v)
{
    f(v);
}

int main(int argc, char const *argv[])
{
    auto foo = [](int i) {
        std::cout << i << std::endl;
    };
    call({foo}, 1); // changed foo to {foo}
    return 0;
}

Answer 1

如链接答案中所写，第一个版本无法编译，因为第一个参数的模板参数推导失败； lambda 永远不是std::function<void(T)>。

第二个版本可以编译，因为通过编写{foo}，std::function<void(T)> 变成了一个非推导上下文。因此，第一个论点的演绎不会再失败，因为它甚至没有尝试过。所以 T 仅从第二个参数推导出为 int，并且调用成功，因为 lambda 可以转换为 std::function<void(int)>。

来自[temp.deduct.type]：

未推断的上下文是：

• ...
• 一个函数参数，其关联参数是一个初始化列表，但参数 没有指定从初始值设定项列表中扣除的类型。