c++ - 通过包装对象上的函数指针调用类方法时出错

Question

我来自 C 背景并且是 CPP 的新手。我有一种情况，我需要在一个将修改对象的对象上调用一个方法。但是从方法返回时，我需要将对象恢复到之前的状态。为实现这一点，我使用了“Bjarne Stroustrup”展示的后缀、前缀包装器技术。

除了这种技术，我还尝试使用函数模板和函数指针来概括将在修改后的对象上调用的方法。

template < class T >
class Call_proxy {
   T* obj;
   int ID;
public:
   Call_proxy( T* pp ) : obj( pp ), ID( i ) {      
   }

   ~Call_proxy() {
      obj->setID( ID );
   }

   T* operator ->() {
      return obj;
   }
};

template < class T >
class Proxy {
   T* obj;
   int ID;
public:
   Proxy(T* pp) : obj(pp), ID(pp->getID()) { }

   Call_proxy<T> operator ->() {
      return Call_proxy<T>( obj, ID );
   }
};

class X
{
   int id;
public:
   int getID();
   void setID(int ID) { id = ID; }
   void somefunction(int, int);
};

template<class X>
void doSomething(int nu, void(X::*fcn)(int, int))
{
   Proxy<X> P(x);
   P->setID(nu);
   (P->*fcn)(nu, 1); //This call generates error on VS2010: Error   1   error C2296: '->*' : illegal, left operand has type 'Proxy<T>'
}

int main()
{
   X x;
   doSomething<X>(1, &X::somefunction);
}

你能帮我理解 VS2010 一直提示 (P->*fcn)(nu, 1); 构造吗？

Answer 1

来自 [expr.mptr.oper]:

The binary operator ->* binds its second operand, which shall be of type “pointer to member of T” to its first operand, which shall be of type “pointer to U” where U is either T or a class of which T is an unambiguous and accessible base class. The expression E1->*E2 is converted into the equivalent form (*(E1)).*E2.

尽管Proxy<T>有operator ->()实现，没关系，因为:

(P->*fcn)(nu, 1);

不会使用 operator -> .根据语法，它是特殊的。您只能调用fcn在指向 X 的指针上(或源自 X 的东西)。