我有两个可变参数类成员函数。当第一个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...);
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句