c++ - C++弱函子解决方案

Question

这是特定于 void() 函子的，但这对我来说很好......

struct Foo
{
   void Bar(int x)
   {
      std::cout << x << std::endl;
   }
};

struct VoidBind
{
    typedef void result_type;

    template<typename T> void operator()(const std::weak_ptr<T>& obj, std::function<void()>& func)
    {
        std::shared_ptr<T> shared_obj = obj.lock();

        if (shared_obj)
        {
            func();
        }
    }

    template<typename T> static std::function<void()> bind(const std::shared_ptr<T>& obj, const std::function<void()>& func)
    {
        return std::bind(VoidBind(), std::weak_ptr<T>(obj), func);
    }
};

#define BIND(F, O, A...)  VoidBind::bind(O, std::function<void()>(std::bind(F, O.get(), ##A)))

然后将此代码调用为...

auto obj = std::make_shared<Foo>();
auto func = BIND(&Foo::Bar, obj, 99);  // match std::bind style
func();
obj.reset();  // destroy object
func();       // will not do anything

我的问题是是否有某种方法可以避免 BIND 宏？

Answer 1

您是否考虑过使用 lambda 表达式而不是仿函数对象 - 功能相同，但更紧凑，并且绑定作为该 lambda 声明的一部分。

Answer 2

可变参数模板可以在这里使用：

template<class F, class O, class... Args>
auto bind(F f, O&& o, Args&&... args)
    -> decltype(VoidBind::bind(o, std::function<void()>(std::bind(f, O.get(), args...))))
{
    return VoidBind::bind(O, std::function<void()>(std::bind(F, O.get(), args...)));
}

使用 C++14 自动返回类型推导会变得更好，您甚至不需要指定返回值：

template<class F, class O, class... Args>
auto bind(F f, O&& o, Args&&... args)
{
    return VoidBind::bind(o, std::function<void()>(std::bind(f, O.get(), args...)));
}