如何从成员函数创建一个std ::函数,而不需要键入std :: placeholder :: _ 1,std :: placeholder :: _ 2等 – 我想“保留”所有参数,只保存对象本身.
@H_301_9@解决方法
struct Foo{ int bar(int,float,bool) {return 0;} }; int baz(int,bool) {return 0;} int main() { Foo object; std::function<int(int,bool)> fun1 = baz; // OK std::function<int(int,bool)> fun2 = std::bind(&Foo::bar,object); // WRONG,needs placeholders }
我不想在这个阶段提供参数,我只想把功能对象存储在某个地方.例如,我想要使用具有全局函数和成员函数的std :: vector.这很容易做到FastDelegate(fastdelegate :: MakeDelegate(object,& Class :: function)).
我不想使用lambda,因为它需要我重新引用参数.我只是想要旧的FastDelegate行为.
您可以使用函数模板,这将推导出所有成员函数参数类型,如下所示:
template<typename Obj,typename Result,typename ...Args> auto make_delegate(const Obj &x,Result (Obj::*fun)(Args...)) -> // ...
并将返回特殊的委托对象,它将包含您的对象(或指向它的对象),并将所有传递的参数转发到底层对象的成员函数:
template<typename Obj,typename ...Args> struct Delegate { Obj x; Result (Obj::*f)(Args...); template<typename ...Ts> Result operator()(Ts&&... args) { return (x.*f)(forward<Ts>(args)...); } };
您将获得以下使用语法:
function<int(int,bool)> fun = make_delegate(object,&Foo::bar);
这里是完整的例子:
#include <functional> #include <iostream> #include <utility> using namespace std; struct Foo { int bar(int x,float y,bool z) { cout << "bar: " << x << " " << y << " " << z << endl; return 0; } }; int baz(int x,bool z) { cout << "baz: " << x << " " << y << " " << z << endl; return 0; } template<typename Obj,typename ...Args> struct Delegate { Obj x; Result (Obj::*f)(Args...); template<typename ...Ts> Result operator()(Ts&&... args) { return (x.*f)(forward<Ts>(args)...); } }; template<typename Obj,Result (Obj::*fun)(Args...)) -> Delegate<Obj,Result,Args...> { Delegate<Obj,Args...> result{x,fun}; return result; } int main() { Foo object; function<int(int,bool)> fun[] = { baz,make_delegate(object,&Foo::bar) // <---- usage }; for(auto &x : fun) x(1,1.0,1); }
输出为:
baz: 1 1 1 bar: 1 1 1