Question

如何删除绑定到this对象的成员函数的函数：

std::vector<std::function<void(int)>> callbacks;

class MyClass {
public:
    MyClass() {
        callbacks.push_back(
            std::bind(&MyClass::myFunc,this,std::placeholders::_1)
        );
    }
    ~MyClass() {
        auto it = std::remove_if( std::begin(callbacks),
                                  std::end(callbacks),
                                  [&](std::function<void(int)>& f) {
                return // <-- this is my question
                       //     true (remove) if f is bound to member function 
                       //     of this
        });
        callbacks.erase(it,std::end(callbacks));
    }
    void myFunc(int param){...}
};

Answer 1

    typedef decltype(std::bind(&MyClass::myFunc,this,std::placeholders::_1)) bound_type;

    auto it = std::remove_if( std::begin(callbacks),
                              std::end(callbacks),
                              [](const std::function<void(int)>& f) {
          return f.target<bound_type>() != nullptr;
    });

成员函数模板std::function::target<T>返回指向目标对象的指针，如果它是T类型，否则返回null。因此，您只需要能够命名目标对象的类型，您可以从decltype获取该类型。非常简单： - ）

N.B。这将删除该类型的任何回调，而不仅仅是那些已被销毁的特定对象绑定this指针的回调。如果您试图阻止在对象被销毁后调用它，并且没有可能的方法来识别向量的哪些元素引用哪些对象，您可以考虑在您的类中放置一个shared_ptr，然后在其中存储weak_ptr。回调，可用于检测对象是否已被销毁：

class MyClass
{
    struct NullDeleter { void operator()(void*) const { } };
    std::shared_ptr<MyClass> sp;

    static void safe_invoke(void (MyClass::*f)(int), const std::weak_ptr<MyClass>& wp, int i)
    {
        if (std::shared_ptr<MyClass> safe_this = wp.lock())
            (safe_this.get()->*f)(i);
    }

public:
    MyClass() : sp(this, NullDeleter()) {
        callbacks.push_back(
            std::bind(safe_invoke, &MyClass::myFunc ,std::weak_ptr<MyClass>(sp),
                      std::placeholders::_1)
        );
    };

这使用invoke函数将成员函数的调用包装起来，该函数在调用成员函数之前将weak_ptr转换为shared_ptr。如果对象已被破坏，shared_ptr将为空，因此该函数不执行任何操作。这实际上并没有在回调失效时将其删除，但确实可以安全地调用。

Answer 2

在没有额外工作的情况下，你不能在一般情况下。类型擦除会从对象中清除此信息，std::function不会直接公开此信息。

您的具体示例可能只有一个成员函数可能是要删除的候选者，但是有5个成员可以存储为回调的类呢？你需要测试所有这些，并且还可以使用lambda绑定成员函数，这几乎是不可检测的。

以下是一个解决方案：

所有回调均在MyClass
修改容器以存储额外信息
你愿意做所有额外的簿记

std::vector<std::pair<std::function<void(int)>, void*>> callbacks;

class MyClass{
  static unsigned const num_possible_callbacks = 2; // keep updated
  std::array<std::type_info const*, num_possible_callbacks> _infos;
  unsigned _next_info;

  // adds type_info and passes through
  template<class T>
  T const& add_info(T const& bound){
    if(_next_info == num_possible_callbacks)
      throw "oh shi...!"; // something went out of sync
    _infos[_next_info++] = &typeid(T);
    return bound;
  }
public:
  MyClass() : _next_info(0){
    using std::placeholders::_1;
    callbacks.push_back(std::make_pair(
        add_info(std::bind(&MyClass::myFunc, this, _1)),
        (void*)this));
    callbacks.push_back(std::make_pair(
        add_info([this](int i){ return myOtherFunc(i, 0.5); }),
        (void*)this));
  }

  ~MyClass(){
    using std::placeholders::_1;

    callbacks.erase(std::remove_if(callbacks.begin(), callbacks.end(),
        [&](std::pair<std::function<void(int)>, void*> const& p) -> bool{
          if(p.second != (void*)this)
            return false;
          auto const& f = p.first;
          for(unsigned i = 0; i < _infos.size(); ++i)
            if(_infos[i] == &f.target_type())
              return true;
          return false;
        }), callbacks.end());
  }

  void myFunc(int param){ /* ... */ }
  void myOtherFunc(int param1, double param2){ /* ... */ }
};

Live example on Ideone.

Answer 3

我曾经需要做这样的事情，我通过在包含该函数的类中存储对象的共享指针向量来解决它，并在它们被销毁时通过值从向量中移除该函数，这也使得这个自动化

删除vector <std :: function <...>＆gt;的任何元素绑定到成员函数</std :: function <...>

3 个答案: