我希望接受模板化成员函数作为模板参数。
例如,给定这个类:
class A
{
public:
template<typename... Args>
void Foo(Args...) {}
void Bar() {}
};
我希望能够致电:
Invoke<&A::Foo>(5, true);
这与调用类似:
A a;
a.Foo(5, true);
我知道如何为Bar()
执行此操作:
template<void (A::*F)()>
void Invoke()
{
A a;
(a.*F)();
}
int main()
{
Invoke<&A::Bar>();
}
是否可以将其扩展为模板化成员函数指针?或者类似地,编写这样的转发函数,可以处理任何参数类型的函数。这不起作用,但类似于:
template<typename... Args, void (A::*F)(Args...)>
void Invoke(Args... args)
{
A a;
(a.*F)(args...);
}
我可以看出为什么这可能不可能,但如果真的可以指出原因的标准?我也在尝试更多地了解该标准的具体细节。
答案 0 :(得分:2)
是否可以将其扩展为模板化成员函数指针?
没有。虽然如果您只需要Foo
的特定实例化,则可以使用Invoke<&A::Foo<int, bool>>
。
或类似地,编写这样的转发函数,可以处理任何参数类型的函数。
为了能够使用不同的签名,您必须修改Invoke
以对任何类型的可调用对象进行操作。然后,您必须定义一个调用实际函数的可调用对象:
struct callable_foo
{
explicit callable_foo( A& obj ) : _obj( obj ){}
template< typename ...Args >
void operator ()( Args&&... args )
{
_obj.Foo( std::forward< Args >( args )... );
}
A& _obj;
}