Question

这是How does overload resolution work when an argument is an overloaded function?

中提到的更复杂的问题

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

如您对相关问题的回答所述：

InstanceClass当[temp.deduct.call]/6:是函数类型时，指向函数类型的指针或指向成员函数的指针类型：

- 如果参数是包含一个或多个函数模板的重载集，则会处理该参数   作为一个非演绎的背景。

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

P [...]如果模板参数仅用于非演绎上下文并没有明确指定，模板参数推断失败。

这次失败的演绎会给你错误。请注意，如果您明确指定参数，则代码将成功编译：

[temp.deduct.type]/4:

Live demo

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

1 个答案: