c++ - 为什么 C++ 不能推断模板类型？

Question

为什么编译器无法计算出这些模板参数？有没有办法让它这样做？

(我使用的是 Visual Studio 2010。)

template<typename T, typename TFunc>
void call(TFunc func) { func(T()); }

void myfunc(void *) { }

int main() { call(myfunc); }

Answer 1

T 没有出现在参数列表中，因此无法从函数参数中推导出 T。所有要推导的类型都必须出现在参数列表的推导上下文中。例如，

template <typename TReturn, typename TParameter>
void call(TReturn (*f)(TParameter))
{
    f(TParameter());
}