当重载函数作为参数参与时，模板参数演绎如何工作？

Question

这是在参数是重载函数时重载解析如何工作中提到的更复杂的问题？

下面的代码编译起来没有任何问题:

void foo() {}
void foo(int) {}
void foo(double) {}
void foo(int, double) {}

// Uncommenting below line break compilation
//template<class T> void foo(T) {}

template<class X, class Y> void bar(void (*f)(X, Y))
{
    f(X(), Y());
}

int main()
{
    bar(foo);
}

模板参数推导似乎不是一项具有挑战性的任务-只有一个函数foo（）接受两个参数。但是，取消注释foo（）的模板重载（仍然只有一个参数）会无缘无故地破坏编译。gcc 5. x/6. x和clang 3.9的编译都失败了。

它可以用重载解析/模板参数推导规则来解释，还是应该在这些编译器中被限定为缺陷？

Answer 1

正如对您的链接问题的回答所述：

[temp.decrete.call]/6:P是函数类型、函数类型指针或成员函数类型指针时的：

— 如果参数是包含一个或多个函数模板的重载集，则该参数将被视为非演绎上下文。

由于重载集包含函数模板，因此该参数被视为未推导的上下文。这会导致模板参数推导失败：

< code >[temp . deduct . type]/4:[...]如果模板参数只在非推导的上下文中使用，并且没有显式指定，则模板参数推导将失败。

这个失败的扣除会给你你的错误。请注意，如果显式指定参数，代码将成功编译：

bar<int,double>(foo);

现场演示