泛型成员函数指针

例如,X和Y具有具有相同签名的echoX和echoY方法

如果它们没有相同的签名,那么它们对类实例有一个隐式的第一个参数。通常你会选择 std::function 摆脱第一个论点。

#include <functional>

class X { public: int echoX(int v) {return v; } };

class Y { public: int echoY(int v) {return v; } };

typedef std::function<int(int)> IntFunction;

int echo(IntFunction func, int v)
{
    return func(v);
}

int main()
{
    int v = 5;
    X x;
    Y y;
    int a = echo(std::bind(&X::echoX, x, std::placeholders::_1), v);
    int b = echo(std::bind(&Y::echoY, y, std::placeholders::_1), v);
}

您可以创建一个通用模板函数,该函数接受您感兴趣的签名,传入对象实例和指向成员函数的指针。例如:

template<typename T>
void CallObjectMethod(int(T::*func)(int), T& obj, int val)
{
    cout << (obj.*func)(val);
}

现在,按照您在示例中提到的方式进行调用:

X x, x1;
CallObjectMethod(&X::echoX, x, 10);
CallObjectMethod(&X::echoX, x1, 20);

对于对象Y,可以执行以下操作:

Y y, y1;
CallObjectMethod(&Y::echoY, y, 10);
CallObjectMethod(&Y::echoY, y1, 20);