难以传递类成员函数的函数指针

Question

在尝试在我自己的上下文中实现建议的答案 here 时，我遇到了编译错误。

考虑代码：

#include <iostream>

class SIMPLE {
public:
    SIMPLE() { for (int i = 0; i < 5; i++) val[i] = 5; };
    int retval(int index) { return val[index]; }
private:
    int val[5];
};

void print_array_of_length5(int (*fnptr)(int index)){
    for (int i = 0; i < 5; i++)
        printf("%d ", fnptr(i));
}

int global_array[5] = { 0, 1, 2, 3, 4 };
int global_function(int index){
    return global_array[index];
}

int main(){
    print_array_of_length5(&global_function);//Works fine.
    int (SIMPLE::*p)(int) = &SIMPLE::retval;//Following method suggested in the answer above
    class SIMPLE smpl;
    print_array_of_length5(smpl.*p);//Compile error: a pointer to a bound function may only be used to call the function
}

当提供全局函数的地址时，该函数可以工作。通过smpl.*p 时它不起作用，类似于建议的方法。应该如何解决这个错误？

Answer 1

你需要另一个print_array_of_length5 的重载来传递一个成员函数指针：

template<typename T>
void print_array_of_length5(int (T::*fnptr)(int index), T& obj)
{
    for(int i = 0; i < 5; ++i)
    {
        printf("%d ", (obj.*fnptr)(i));
    }
}

int main()
{
    SIMPLE smpl;
    print_array_of_length5(&SIMPLE::retval, smpl);
}

Answer 2

您不能将非静态成员函数指针作为常规函数指针传递。成员函数可以访问this 指针，它们获取的方式是通过一个不可见的隐式函数参数。您需要将调用函数的对象和函数本身绑定在一起，而函数指针根本无法做到这一点。

我们可以做的是把print_array_of_length5 做成一个函数模板，并允许它接受任何类型的可调用。这会给你这样的东西：

template <typename Function>
void print_array_of_length5(Function func){
    for (int i = 0; i < 5; i++)
        printf("%d ", func(i));
}

要使用非静态成员函数调用它，可以使用 lambda 表达式或 std::bind()，如下所示：

SIMPLE smpl;
print_array_of_length5([&smpl](int foo){ return smpl.retval(foo); });

using namespace std::placeholders;
SIMPLE smpl;
auto func = std::bind(&SIMPLE::retval, &smpl, _1);
print_array_of_length5(func);