使用函数指针和引用进行模板参数推导

Question

可能的重复：
为什么在推导模板参数时会删除模板参数的限定符输入？

考虑以下 C++ 代码：

void f(int&);

template <typename T> void tpl(void (*)(T), T);

void bar(int& x)
{
        tpl(&f, x);
}

使用 GCC 4.6.0 进行编译失败，并显示以下错误消息：

fntpl.cpp: In function ‘void bar(int&)’:
fntpl.cpp:7:11: error: no matching function for call to ‘tpl(void (*)(int&), int&)’
fntpl.cpp:7:11: note: candidate is:
fntpl.cpp:3:46: note: template<class T> void tpl(void (*)(T), T)

如果我明确声明模板参数(tpl(&f, x))，它有效。为什么模板参数推导在这种情况下不起作用？

Answer 1

因为它们根本不同

void f(int&);

，并且

void (*)(T)

编译器仅推断出 T 是 int，因此它会查找：

void f(int);

这与您的意图完全不同，请将函数指针更改为此：

template <typename T> void tpl(void (*)(T&), T);

并且编译器会很高兴...