模板函数替换仅在一个参数中未使用std :: function时才起作用

Question

我有一个带有两个模板参数的模板函数。第一个（T）是根据过去函数的第一个参数的类型推导出来的。第二个（ItrT）是通过使用std::type_traits和T推断出来的。当我使用ItrT作为参数的类型（参见函数bar）时，隐式推导出所有类型，但是当我使用std::function<void(ItrT)>作为参数的类型（参见函数foo）时，只有在完全指定所有类型时才能推导出正确的类型模板参数（即使使用与函数定义完全相同的代码）。可以想象在模板中使用ItrT不会改变编译器推断模板的能力。为什么不是这种情况？我需要做什么，以便可以隐式推导出所有模板参数？我正在使用c ++ 17。

template <class T, class ItrT = typename std::iterator_traits<T>::value_type>
auto foo(T iterator, std::function<void(ItrT)> expr) -> void{
}

template <class T, class ItrT = typename std::iterator_traits<T>::value_type>
auto bar(T iterator, ItrT expr) -> void{
}

int main() {
    std::vector<int> vec = {1, 2, 3};

    bar(vec.begin(), 1); // Compiles!

    foo(vec.begin(), [](int) {}); // Failes!

    foo<decltype(vec.begin()),
        std::iterator_traits<decltype(vec.begin())>::value_type>
        (vec.begin(), [](int) {}); // Compiles!
}

提前致谢。