如何在函数声明中声明C++ mem_fn(member_function)？

Question

我理解将成员函数的地址传递给它的类之外的基本问题.我觉得mem_fn()可能是解决方案,但我遇到了具体问题.

我在类p中有一个当前声明为的成员函数

typedef void (*valNamedFlagsCallback)(const int, const bool);
bool valNamedFlags(const OptBlk *operand, const char *description_of_value_or_NULL, const int subscripts[], const char *names[], valNamedFlagsCallback callBack);

在课堂上我试图用valNamedFlags调用

pInstance->valNamedFlags(operand, "Statement types", statementsSubscripts, statementsNames, std::mem_fn(&e::setStatement));

(我从没有mem_fn()开始,但当然有经典的"指向成员函数的指针"问题.我已经尝试了两个&e :: setStatement和plain&setStatement.)

FWIW,setStatement原型为

  void setStatement(const int ifcid, const bool isAffirmative);

如果我删除mem_fn()并将setStatement声明为static,则一切正常.我只是指出这是一种说法,我已经消除了所有其他可能的问题; 我唯一的问题是"成员函数指针"问题.不幸的是,setStatement()需要是一个成员函数,而不是静态函数.

我在MS VS 2010中遇到的具体错误是

bool p :: valNamedFlags(const OptBlk*,const char*,const int [],const char*[],p :: valNamedFlagsCallback)':无法从'std :: tr1 :: _ Mem_fn3 <_Rx,_Pmf转换参数5, _Arg0,_Arg1,_Arg2>'到'p :: valNamedFlagsCallback'

我想保持回调声明独立于e类; 也就是说,我不想去

typedef void (*e::valNamedFlagsCallback)(const int, const bool);

因为我想保持比这更普遍.

mem_fn()是正确的解决方案还是我离开基地？如果是这样,我应该如何在valNamedFlags()原型中声明回调？

或者我应该采用不同的方法？

Answer 1

实际上,你会遇到像一些人建议的类似绑定的问题,因为你的回调被定义为一个简单的函数指针,而不是一个可调用的.

如果你能负担得起,你可以改变你的

typedef void (*valNamedFlagsCallback)(const int, const bool);

喜欢的东西

typedef std::function<void(int, bool)> valNamedFlagsCallback

(还注意到const值参数不影响函数的签名),那么你可以使用std::bind(),

using namespace std::placeholders;

pInstance->valNamedFlags(operand,
      "Statement types", 
      statementsSubscripts,
      statementsNames,
      std::bind(&E::setStatement, e, _1, _2));

或者你可以使用lambdas:

pInstance->valNamedFlags(operand,
  "Statement types", 
  statementsSubscripts,
  statementsNames,
  [&](int i, bool b) { e->setStatement(i, b); });

如果你必须将它保持为一个简单的函数,那么你必须发送一个引用正确对象作为全局/静态变量的函数.

Answer 2

你需要bind一个实例来通过成员函数指针调用.(即std::bind(&e::setStatement, eInstance, _1, _2),假设eInstance是指向类对象的指针e).

using namespace std::placeholders;  // for _1, _2, _3...
pInstance->valNamedFlags(operand, "Statement types", statementsSubscripts, statementsNames, std::bind(&e::setStatement, eInstance, _1, _2));

请注意,返回值std::bind(未指定)与自由函数指针类型不匹配valNamedFlagsCallback,其中一个解决方案是使用std::function.

typedef std::function<void(const int, const bool)> valNamedFlagsCallback;

简化演示