std ::函数模板参数推导

Question

我创建了一个当前问题的例子。我希望能够在不指定模板类型的情况下调用以下函数，因为编译器应该能够找出类型：

template<typename T, class Iterable>
void foreach1(std::function<void(T&)> action, Iterable& iterable) {
    std::cout << typeid(T).name() << std::endl;
    for (auto& data : iterable)
        action(data);
}

如果我这样调用该函数：

std::vector<int> a = { 1, 2, 3 };
foreach1([](int& data) {
    std::cout << data << std::endl;
}, a);

我收到一个错误。我知道我可以通过以下方式用模板替换std :: function来解决问题：

template<class Action, class Iterable>
void foreach2(Action action, Iterable& iterable) {
//std::cout << typeid(T).name() << std::endl; // no access to T
for (auto& data : iterable)
    action(data);
}

但是通过这样做，我无法访问类型T。有没有办法保持对类型T的访问并能够使用模板参数推导？]