C++模板推导不起作用

Question

对于以下代码：

#include<functional>
template<typename T>
void f(std::function<void(T)> g) {
}

template<typename T>
void g(T x) {
}

int main() {
   f(&g<int>);
}

C++14编译器产生错误：

 no matching function for call to 'f(<unresolved overloaded function type>)'
     f(&g<int>);

我很好奇为什么模板参数推导在这里不起作用。似乎，假定g的参数是int类型，我们可以推断f的参数是std::function 类型，因此f中的t=int。为什么没有发生这种情况？我对C++标准中解释这一点的相关部分很感兴趣。T是否出现在这里的非推导上下文中？

#include<vector>
template<typename T>
void f(std::vector<T> vec) { 
}


int main() {
    f(std::vector<int>{});
}

因此，创建非推导上下文的不是尖括号。

Answer 1

您的函数需要std::function类型的参数，但您传递给它的是函数指针。&g 可转换为std::function参数类型，但是模板参数的推导要求完全匹配（除了[temp.duct.call]/2,3,4允许的调整之外），因此不考虑用户定义的转换。

编写f(std::function (G )) 是可行的，因为您现在传递的是std::function，所以模板参数推导将会成功。

f (&g ) 也可以工作，因为您现在已经显式指定了t，所以它不再参与模板参数的推导，并且将尝试用户定义的转换。