可以比较两个指向成员函数的指针是否相等吗？

Question

我之前已经问过similar question，但现在我意识到它不够具体。

我想要做的是找出指向某个类的某个成员函数的两个指针与该类的实际对象相结合是否相等，因为两者都将“调用”（在下面描述的意义上）同一个对象的同一个功能。基本上，在这段代码中：

bool isEqual(F* object1, void(F::*_fct1)(), 
             F* object2, void(F::*_fct2)())
{
    TSpecificFunctor<F> specFunc1(object1, fct1);
    TSpecificFunctor<F> specFunc2(object2, fct2);

    return /* Something */;
}

如果specFunc1 和specFunc2 指向同一个给定对象的同一个成员函数，是否有/* Something */ 将返回true？

这里，TSpecificFunctor 定义如下：

class TFunctor
{
public:
    virtual void call() = 0;
};

template <class TClass> class TSpecificFunctor : public TFunctor
{
public:
    TSpecificFunctor(TClass* _pt2Object, void(TClass::*_fpt)())
    {
        pt2Object = _pt2Object;
        fpt=_fpt; 
    }

    virtual void call() override
    { 
        (*pt2Object.*fpt)();
    }

private:
    void (TClass::*fpt)();
    TClass* pt2Object;
};

换句话说，如果specFunc1.call() 将产生与specFunc2.call() 完全相同的结果，函数应该返回true。

编辑：例如，这可能是我想要实现的应用程序：

class TClassB {
public:
   TClassB() {...}

   void doSomething()
   {
      ...
   }

   void doSomethingElse()
   {
      ...
   }

private:
   /* Some object-specific stuff. */
};

TClassB test;
isEqual(&test, &TClassB::doSomething, &test, &TClassB::doSomething); // ==> true
isEqual(&test, &TClassB::doSomething, &test, &TClassB::doSomethingElse); // ==> false

Answer 1

您可以比较两个指向F 实例的指针，也可以比较指向成员的指针。这是正确的：

bool isEqual(F* object1, void(F::*_fct1)(), 
             F* object2, void(F::*_fct2)())
{
    return object1 == object2 && _fct1 == _fct2;
}

是否实际调用一个或另一个以产生相同的结果状态是另一个问题。如果有问题的成员函数没有副作用，就是这种情况。但他们也可以修改全局或以某种方式共享的状态。