4

如何删除绑定到对象成员函数的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){...}
};
4

3 回答 3

4 
    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>是 type ，则返回指向目标对象的指针T，否则返回 null。所以你只需要能够命名目标对象的类型，你可以从decltype. 真的很简单:-)

NB 将删除该类型的任何回调，而不仅仅是那些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为 a的函数来包装对成员函数的shared_ptr调用。如果对象已被销毁，则该对象shared_ptr将为空，因此该函数什么也不做。当它变得无效时，这实际上并不会删除回调，但确实可以安全地调用。

于 2012-06-27T16:40:34.063 回答
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){ /* ... */ }
};

Ideone 上的实时示例。

于 2012-06-27T15:05:58.390 回答
2

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

于 2012-06-27T17:48:41.517 回答