下面我有一个名为 ProxyCall 的模板函数,它接受一个对象、一个成员函数及其参数。它只是将调用转发给成员函数。
我希望能够在不使用模板限定符的情况下调用该函数(想象大量带有多个参数的此类调用)。当我尝试像示例中那样传递 const 引用参数时,类型推导大多有效,但编译器(msvc 和 gcc 4.9)会出错。
#include <string>
struct Widget {
void f(const std::string& s, bool b) {}
};
template<typename T, typename... Args>
void ProxyCall(T &obj, void(T::*method)(Args...), Args&&... args) {
(obj.*method)(std::forward<Args>(args)...);
}
int main(int argc, char* argv[])
{
Widget w;
std::string s;
ProxyCall<Widget, const std::string&, bool>(w, &Widget::f, s, true); // OK
ProxyCall(w, &Widget::f, (const std::string&)s, true); // also OK
ProxyCall(w, &Widget::f, s, true); // ERROR: template parameter is ambiguous
return 0;
}
我的问题是:如何修改上述代码,以便编译器自动推断类型,而无需使用显式模板限定符或显式转换。考虑到编译器已经从 Widget::f 的签名中知道确切的参数类型,这似乎应该是可能的。