将成员函数作为参数传递 / c++

Question

我想在 C++ 中实现一个类 b ，其中可以通过封装该迭代器类型的成员集进行某种迭代。就像：

b_object.for_each_x_do(function_f);

所以 function_f 会获取所有 x 成员并执行任何操作。让我们说：

void function_f(x_member_type x){ cout << x << endl; }

好的。所以我试图通过类似的代码来实现这一点：

class b{
    int *x;
public:
    void foreach_x_do(void (*f)(int)){
            while(*x++)  // or any kind of iteration through x
                    f(*x);
    }
};

class a{
    b b_inst;
public:
    void f(int x) {  }     
    a(){
            b_inst.foreach_x_do(f); // by mistake it was b_inst.foreach_x_do(f)(), however this wasn't the point at all. 
    }
    ~a(){}
};

int main(){} 

但是，我收到此错误，编译时：

fp.cpp：在构造函数中'a::a()'：
fp.cpp:17: 错误：没有匹配的函数可用于调用 'b::foreach_x_do(<未解析的重载函数类型>)'
fp.cpp:6：注意：候选者是：void b::foreach_x_do(void (*)(int))

有人可以帮助编译它吗？

Answer 1

正如 @steveo225 所指出的，在该上下文中 f 的类型为 void (a::*)(int) 而不是 void (*)(int)代码>.有两种方法可以解决此问题 - 第一种是使 b::foreach_x_do 成为采用任何可调用类型的成员函数模板：

class b {
    int* x;

public:
    b() : x() { }
    template<typename F>
    void foreach_x_do(F f) {
        while(*x++)
            f(*x);
    }
};

class a {
    b b_inst;

public:
    void f(int x) { }
    a() : b_inst() {
        b_inst.foreach_x_do(std::bind(&a::f, this, _1));
    }
};

---

第二种是保留 b::foreach_x_do > 非模板并让它采用 std::function<> 而不是函数指针：无论

class b {
    int* x;

public:
    b() : x() { }
    void foreach_x_do(std::function<void(int)> const& f) {
        while(*x++)
            f(*x);
    }
};

class a {
    b b_inst;

public:
    void f(int x) { }
    a() : b_inst() {
        b_inst.foreach_x_do(std::bind(&a::f, this, _1));
    }
};

---

哪种情况，都替换 std::bind 和 如果您的编译器太旧而无法与 std:: 或 std::tr1:: 一起发布，则 std::function 及其对应的 boost:: 版本 实现。另请注意，如果您有 C++11 编译器，则可以使用 lambda 而不是 bind。

Answer 2

它应该是：

b_inst.foreach_x_do(f);

您还需要将 f 设为静态，而不是非静态成员方法，因为 foreach_x_do 函数的原始签名是独立函数指针，不是指向成员函数的指针。所以也就是说，

static void f(int x) {  } 

Answer 3

函数 for_each_x_do 需要一个函数指针，而您（尝试）给它一个成员函数指针。两者并不相同。前者可以直接调用，而后者则需要一个对象实例来调用。我建议您使用 std::function 或 boost::function 代替。像这样：

void for_each_x_do(function<void (int)> f) {
  // your code here
}

然后使用绑定器构造一个函数对象：

a(){
  b_inst.foreach_x_do(bind(&a::f, this, _1));     
}

Answer 4

在这一行中：

 b_inst.foreach_x_do(f)();

删除第二组括号；你不需要它们。

 b_inst.foreach_x_do(f);

应该可以正常工作。

Answer 5

f() 是一个成员函数——因此它的相关性仅限于其相应的对象。到目前为止，其中一些解决方案还行不通。

您有两种选择，要么使函数静态，在这种情况下哪个对象并不重要，要么以某种方式传递该对象。

这个有用的常见问题解答中明确解释了第二种方法关于传递成员函数。

Answer 6

尝试：

class b{
int *x;
public:
void foreach_x_do(void (*f)(int)){
        while(*x++)  // or any kind of iteration through x
                (*f)(*x);
}

};