指向实例成员的函数指针

Question

我需要将某些状态映射到类的特定成员函数，例如：

class Z {
   _a_ptr_to_some_member _p;

   void UpdateGuiForStopState(State s) {
      // do something with state
   }

   Z() {
      // setup _p to point to UpdateGuiForStopState
   }

   void StateComesInHere(State s) {
      if(s.id == STOP_ID) { // eventually use lookup
         _p(s);
      }
   }
}

仅使用 STL（不能使用 boost 等第三方内容），_a_ptr_to_some_member 的类型是什么以及我该如何做将方法 UpdateGuiForStopState 绑定到它？

大概我使用了 stl mem_xxx 的东西，但不知道如何使用。

是的，我可以用一百零一种不同的方式来做到这一点，但我想弄清楚这种方式是否可行。

Answer 1

使用 STL 的 bind1st 和 mem_fun：

class Z3 {
   typedef std::mem_fun1_t<void,Z3,State> _a_ptr_to_some_member_raw;
   typedef std::binder1st<_a_ptr_to_some_member_raw> _a_ptr_to_some_member;
   _a_ptr_to_some_member _p;

   void UpdateGuiForStopState(State s) {
      // do something with state
   }

   Z3() : _p(std::bind1st(std::mem_fun(&Z3::UpdateGuiForStopState), this))
   {
   }

   void StateComesInHere(State s) {
      if(s.id == STOP_ID) { // eventually use lookup
         _p(s);
      }
   }
};

Answer 2

您可以仅使用指向成员的原始指针来完成此操作：

typedef void (Z::*_a_ptr_to_some_member)(State s);
_a_ptr_to_some_member _p;
...
_p = &Z::UpdateGuiForStopState;
...
(this->*_p)(s);

现在这有点老派，而且语法有点复杂，但它应该可以工作。 （警告：我还没有尝试过。）

第一位定义了指向成员函数的指针的正确类型，并声明了该类型的成员变量。

第二位初始化 _p 以指向正确的函数（您不能缩短它，这是所需的语法）。

第三位调用_p指向的成员函数；为此，您必须提供 Z 的一个实例 - 在本例中是 this 所指向的实例。我认为额外的括号是需要的；运算符优先级有点奇怪。

老实说，我可能会为此使用绑定（来自 boost、tr1 或 C++11）；它稍微慢一些，但更容易、更灵活。

Answer 3

您应该使用 std::function，或者，如果您没有 C++0x/TR1 支持，则应使用 boost::function。使用它们的最简单方法是使用 boost::bind 或 std::bind，我不会使用标准的 bind1st 等当 boost::bind 变得更好更容易时会变得混乱。

Answer 4

这是一个工作示例（请参阅 http://ideone.com/VEmRZ）：

#include <iostream>

typedef enum { s0, s1, s2 } State ;

class Z {
public:
  void f0 (State s) { std::cout << "f0" << std::endl ; }
  void f1 (State s) { std::cout << "f1" << std::endl ; }
} ;

typedef void (Z::*_a_ptr_to_some_member)(State s);

int main()
  {
  Z z ;
  _a_ptr_to_some_member _p = &Z::f0 ;
  (z.*_p)(s0) ;
  _p = &Z::f1 ;
  (z.*_p)(s2) ;
  }