[英]std::function to variadic member function and then bind variadic template arguments
我有两个可变参数类成员函数。 当第一个Init(...)
被调用时,我想为第二个类成员函数创建一个std :: function,然后将Init(...)
的参数绑定到函数指针。
因此,稍后我可以调用mf_()
而不必再次将所有参数传递给Reset(...)
我想避免使其成为模板类,并将参数存储在元组中。
我正在尝试使以下示例工作:
#include <iostream>
#include <string>
#include <functional>
using namespace std;
class Foo
{
public:
template<typename... T>
void Init(T&... args)
{
cout << __func__ << endl;
Print(args...);
// bind args.. to Reset ..
mf_ = std::bind(&Reset, args...);
// mf_ = std::bind(&Foo::Reset, this, args...); ???
}
template<typename... T>
void Reset(T&... args)
{
cout << __func__ << endl;
}
// std::function to Reset(...)
std::function<void()> mf_;
private:
template<typename First>
void Print(First& arg)
{
cout << arg << endl;
}
template<typename First, typename... Rest>
void Print(First& arg, Rest&... args)
{
cout << arg << " ";
Print(args...);
}
};
int main()
{
int arg1 = 1;
int arg2 = 2;
string arg3 { "test" };
double arg4 = 1.10;
Foo foo;
foo.Init(arg1, arg2, arg3, arg4);
//foo.mf_();
return 0;
}
链接到实时示例: http : //cpp.sh/4ylm
编译时出现错误,指出
模板参数推导/替换失败:17:37:
注意:无法推断出模板参数“ _Result”
问题是&Reset
不是有效的成员指针指针。
您需要说&Foo::Reset
来形成一个指向成员的指针函数,并且还需要提供this
指针,因此您几乎可以使用:
// mf_ = std::bind(&Foo::Reset, this, args...); ???
但这仍然无效,因为“ Reset
是一个功能模板,因此您需要说出模板的特殊性。
您可以通过提供显式模板参数列表来告诉编译器您想要哪种专业化:
mf_ = std::bind(&Foo::Reset<T&...>, this, args...);
或者通过创建正确的类型的变量(从&Foo::Reset
初始化),使编译器可以推断出您要表示的专业化程度:
void (Foo::*f)(T&...) = &Foo::Reset;
mf_ = std::bind(f, this, args...);
或者通过为正确的类型创建一个typedef,并将&Foo::Reset
强制转换为该类型:
using pmf_type = void (Foo::*)(T&...);
mf_ = std::bind((pmf_type)&Foo::Reset, this, args...);
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.