c – 在std ::函数中存储非复制但可移动的对象

假设我有一个函数,它是非复制但是可移动的,我该如何将它存储在std ::函数中？即如何编译以下代码？ (使用 gcc 4.6)

#include <functional>
#include <iostream>

struct S
{
  S() = default;
  S(S const&) = delete;
  S& operator=(S const&) = delete;
  S(S&&) { }
  void operator()() { }
};

std::function<void()> func;

void make_func()
{
  S s;
  func = std::bind(std::move(s));  // This won't compile
}

int main()
{
  make_func();
}

解决方法

据了解标准,std :: function应该是可以复制的.因此,你不能直接实现你想要的.

不过,我可以用一些自定义包装来避免.它会这样的：

使你的包装器包含一个std :: shared_ptr给实际的函子;>当从函数rvalue构造包装器时,将函子移动到动态分配的内存;> wrapper和析构函数的复制构造函数只需要由shared_ptr copy-ctor / destructor处理;>运算符()为包装器取消引用智能指针到真正的函子和委托给它的operator().