如何使用 std::mem_fun 传递参数

Question

我想知道是否有办法使用 std::mem_fun 传递参数？ 我想明确一点，我可以有尽可能多的参数和很多成员函数。
问题是我采用的是旧标准，我正在寻找一种完整的 stl 方式，因此即使我知道我可以轻松做到，也不允许将 boost 作为答案 =/

这是我想如何使用它的一个小例子：

#include <list>
#include <algorithm>

// Class declaration
//
struct Interface {
   virtual void run() = 0;
   virtual void do_something(int) = 0;
   virtual void do_func(int, int) = 0;
};

struct A : public Interface {
   void run() { cout << "Class A : run" << endl; }
   void do_something(int foo) { cout << "Class A : " << foo << endl; }
   void do_func(int foo, int bar) { cout << "Class A : " << foo << " " << bar << endl; }
};

struct B : public Interface {
   void run() { cout << "Class B : run" << endl; }
   void do_something(int foo) { cout << "Class B : " << foo << endl; }
   void do_func(int foo, int bar) { cout << "Class B : " << foo << " " << bar << endl; }
};

// Main
//
int main() {
   // Create A and B
   A a;
   B b;

   // Insert it inside a list
   std::list<Interface *> list;
   list.push_back(&a);
   list.push_back(&b);

   // This works
   std::for_each(list.begin(), list.end(), std::mem_fun(&Interface::run));

   // But how to give arguments for those member funcs ?
   std::for_each(list.begin(), list.end(), std::mem_fun(&Interface::do_something));
   std::for_each(list.begin(), list.end(), std::mem_fun(&Interface::do_func));
   return 0;
}

Answer 1

通过std::bind1st 和std::bind2nd 使用std::bind

std::for_each(list.begin(), list.end(),
              std::bind2nd(std::mem_fun(&Interface::do_something),1) // because 1st is this
             );

不幸的是，标准对两个参数版本没有帮助，您需要自己编写：

struct MyFunctor
{
    void (Interface::*func)(int,int);
    int         a;
    int         b;

    MyFunctor(void (Interface::*f)(int,int), int a, int b): func(f), a(a), b(b) {}

    void operator()(Interface* i){ (i->*func)(a,b);}
};

std::for_each(list.begin(), list.end(),
              MyFunctor(&Interface::do_func, 1, 2)
             );

Lambda 版本

最初的答案在 2012 年就很好，当时 Lambda 刚刚被添加到标准中，而且很少有编译器符合 C++11。现在 8 年后，大多数编译器都兼容 C++11，我们可以使用它来简化这些事情。

// Binding 1 parameter
std::for_each(list.begin(), list.end(),
              [](auto act){act->do_something(1);})

// Binding 2 parameters
std::for_each(list.begin(), list.end(),
              [](auto act){act->do_func(1, 2);})

Answer 2

你可以通过绑定：

using std::placeholders::_1
int a;
std::for_each(list.begin(), list.end(), std::bind(&Interface::do_something, _1, a));

Answer 3

见std::bind1st 和std::bind2nd。它们使用起来相当笨拙和难看，但如果你坚持只使用 C++03 中存在的东西而根本不添加任何东西，那么它们几乎就是所有可用的东西。

编辑：当/如果我需要这样做时，我通常使用一个小的仿函数类而不是使用std::bind1st 和/或std::bind2nd。这最终与那些生成的内容没有太大区别，但是（IMO）它通常更具可读性。

template<class T>
class invoke_do_something { 
    int value;
public:
    adder(int x) : value(x) {}
    void operator()(T &t) { 
        t.do_something(value);
    }
};

std::for_each(list.begin(), list.end(), invoke_do_something(1));

然而，我自己的看法是，大多数时候这只是一种创可贴。它经常使用for_each 发生。我通常会发现，经过一番思考，我可以找到一个更合适的算法，它通常完全不需要这个订单上的任何东西。

Answer 4

由于c++20，你不需要std::bind和家人。您可以使用std::mem_fn 来执行此操作。请注意，std::mem_fun 不适用于 c++20

#include <functional>
#include <iostream>
#include <string>

struct Foo {
    void display_number(int i, char ch, std::string s) {
        std::cout << "number: " << i << " character: " << ch << " string: " << s << '\n';
    }
};

int main() {
    Foo f;

    auto print_num = std::mem_fn(&Foo::display_number);
    print_num(f, 42, 'a', "Hello!");
}

输出：

number: 42 character: a string: Hello!