仅可移动 lambda 的 std::vector，有可能吗？

Question

我想要一组 lambda，但要求不得复制 lambda，只能移动。
这是因为lambas 可能需要移动捕获它们的一些不可复制构造的参数。

例子：

NonCopyableType varName ;
auto func = [a=move(varName)](){ ... } ; //varName is move-captured

在此之后，我想将 func 存储在 vector 中，但我不能使用 std::function 类型，因为它要求 lambda 是可复制的。

vector<function<void()>> list ;
list.push_back(func) ; //won't work

是否可以通过其他方式做到这一点？

Answer 1

当然。只需编写您自己的 function 克隆，即只能移动。这是一个仅支持 nullary callables 的简化版本，但您可以查看如何对其进行扩展：

class move_function
{
    struct placeholder {
        virtual ~placeholder() = default;
        virtual void call() = 0;
    };

    template <class T>
    struct holder : placeholder {
        T f;
        void call() override { f(); }
    };

    std::unique_ptr<placeholder> f_;

public:
    template <class F,
        class R = std::result_of_t<F&()>,
        std::enable_if_t<!std::convertible<std::decay_t<F>*, move_function*>::value, int> = 0>
    move_function(F&& f)
        : f_(new std::decay_t<F>{std::forward<F>(f)})
    { }

    void operator()() const { f_->call(); }
};

所有隐式定义的特殊成员函数已经为我们做了正确的事情。