将成员函数指针的向量传递给函数

Question

我编写了一个代码来传递函数指针列表（按其名称）作为参数。但我有错误。你能解释为什么我在做地图时有错误吗？

#include <functional>
#include <iostream>
#include <string>
#include <vector>
#include <map>

class Foo
{
public:
    void foo(int a, int b)
    {
        std::cout << a <<" "<< b<<'\n';
    }
};

class Bar
{
public:
    void bar(int a, int b)
    {
        std::cout << a<<" "<< b << '\n';
    }
};


int main()
{

    Foo foo;
    Bar bar;
    std::map<std::string,  void (*)(int,int)>myMap;
    myMap["bar"] = &Bar::bar;
    myMap["foo"] = &Foo::foo;

    std::vector<std::function<void (int )>> listofName;
    std::string s1("bar");
    std::string s2("foo");

    listofName.push_back(bind(myMap[s1],&bar,std::placeholders::_1,1));
    listofName.push_back(bind(myMap[s2],&foo,std::placeholders::_1,3));

    for (auto f : listofName) {
        f(2);
    }

 return 0;
}

错误：

34:18：错误：无法将'void（Bar::）（int， int）'转换为'std::map， void（*）（int， int）

35：18：错误：无法将“无效（foo：:)（整数，整数）”转换为“标准：：映射，无效（*）（整数，整型）

41:70:错误：没有用于调用“std:：vector”的匹配函数

Answer 1

成员函数包含指向this的隐藏指针。一种古老的技术（继承自C）是将成员函数包装在一个静态函数中，该函数采用指向对象的指针。这里的好处是，由于可以安全地将任何指针强制转换为void*，因此可以告诉静态包装器它的第一个参数是void*，并将其强制转换为正确的对象指针以使用它。当然，如果你传递一个指向不同对象的指针，你会得到未定义的行为。但它只需要对原始代码进行最小的更改：

#include <functional>
#include <iostream>
#include <string>
#include <vector>
#include <map>

class Foo
{
public:
    void foo(int a, int b)
    {
        std::cout << a <<" "<< b<<'\n';
    }
    static void doFoo(void *obj, int a, int b) { // the wrapper
        static_cast<Foo *>(obj)->foo(a, b);
    }
};

class Bar
{
public:
    void bar(int a, int b)
    {
        std::cout << a<<" "<< b << '\n';
    }
    static void doBar(void *obj, int a, int b) { // wrapper again
        static_cast<Bar *>(obj)->bar(a, b);
    }
};


using std::bind;

int main()
{

    Foo foo;
    Bar bar;
    // function will take an additional void *
    std::map<std::string,  void (*)(void*, int,int)>myMap;
    myMap["bar"] = &Bar::doBar;
    myMap["foo"] = &Foo::doFoo;

    std::vector<std::function<void (int )>> listofName;
    std::string s1("bar");
    std::string s2("foo");

    listofName.push_back(bind(myMap[s1],(void *)&bar,std::placeholders::_1,1));
    listofName.push_back(bind(myMap[s2],(void *)&foo,std::placeholders::_1,3));

    for (auto f : listofName) {
        f(2);
    }

 return 0;
}

这样，它编译得很好（在C 11模式下），并按预期给出：

2 1
2 3

Answer 2

不能在这样的映射中存储成员函数指针:

std::map<std::string,  void (*)(int,int)>myMap;

您必须将其更改为:

std::map<std::string,  void (Foo::*)(int,int)>myMap;

但是你只能存储指向Foo类成员的指针。所以最好的选择是在这里使用d::f。下面是一个工作代码：

直播

#include <functional>
#include <iostream>
#include <string>
#include <vector>
#include <map>

class Foo
{
public:
    void foo(int a, int b)
    {
        std::cout << a <<" "<< b<<'\n';
    }
};

class Bar
{
public:
    void bar(int a, int b)
    {
        std::cout << a<<" "<< b << '\n';
    }
};


int main()
{

    Foo foo;
    Bar bar;
    using namespace std::placeholders;
    std::map<std::string,  std::function<void (int,int)>>myMap;
    myMap["bar"] = std::bind(&Bar::bar, &bar, _1, _2);
    myMap["foo"] = std::bind(&Foo::foo, &foo, _1, _2);

    std::vector<std::function<void (int )>> listofName;
    std::string s1("bar");
    std::string s2("foo");

    listofName.push_back(bind(myMap[s1], std::placeholders::_1, 1));
    listofName.push_back(bind(myMap[s2], std::placeholders::_1, 3));

    for (auto f : listofName) {
        f(2);
    }

 return 0;
}

Answer 3

成员函数需要知道它们是哪个对象的成员，这样它们才能对正确的< code>this进行操作。

因此，您需要确保存储在map中的函数知道它将来是哪个对象的成员。

int main() {
  using namespace std::placeholders;
  Foo foo;
  Bar bar;
  std::map<std::string, std::function<void(int, int)>> myMap;
  myMap["bar"] = std::bind(&Bar::bar, &bar, _1, _2);
  myMap["foo"] = std::bind(&Foo::foo, &foo, _1, _2);

稍后，它已经知道它是哪个对象的成员，你不需要再告诉它了：

  // ..
  listofName.push_back(std::bind(myMap[s1], _1, 1));
  listofName.push_back(std::bind(myMap[s2], _1, 3));