通过带有移动捕获的lambda起作用

时间:2018-09-15 13:09:27

标签: c++ lambda c++14

我最近为一个难以找到的bug苦苦挣扎。我试图将lambda传递给带有std::function对象的函数。 Lambda正在捕获不可复制的对象。

我弄清楚,显然所有传球之间都必须有一些副本。之所以得出这个结果,是因为我总是以error: use of deleted function错误结束。

以下是产生此错误的代码:

void call_func(std::function<void()> func)
{
    func();
}

int main()
{
    std::fstream fs{"test.txt", std::fstream::out};
    auto lam = [fs = std::move(fs)] { const_cast<std::fstream&>(fs).close(); };
    call_func(lam);
    return 0;
}

我通过将std::fstream对象封装在std::shared_ptr对象中解决了这个问题。效果很好,但我认为可能有一种更性感的方式来实现此目的。

我现在有两个问题:

  1. 为什么会出现此错误?
  2. 我的想法:我在fstream循环中生成了许多for对象和lambda,对于每个fstream,都有一个lambda写入其中。因此,对fstream对象的访问仅由lambda完成。我想针对某些回调逻辑执行此操作。是否像我尝试过的那样使用lambda来实现更漂亮的方式?

1 个答案:

答案 0 :(得分:10)

发生错误是因为您的lambda具有不可复制的捕获,从而使lambda本身不可复制。 std::function requires that the wrapped object be copy-constructible

如果您可以控制call_func,请使其成为模板:

template<typename T>
void call_func(T&& func)
{
    func();
}

int main()
{
    std::fstream fs{"test.txt", std::fstream::out};
    auto lam = [fs = std::move(fs)] { const_cast<std::fstream&>(fs).close(); };
    call_func(lam);
}

以下是我对(2)中您的想法的看法。由于std::function要求包装的对象是可复制构造的,因此我们可以制作没有此限制的函数包装器:

#include <algorithm>
#include <fstream>
#include <iterator>
#include <utility>
#include <memory>
#include <sstream>
#include <vector>

template<typename T>
void call_func(T&& func) {
    func();
}

// All functors have a common base, so we will be able to store them in a single container.
struct baseFunctor {
    virtual void operator()()=0;
};

// The actual functor is as simple as it gets.
template<typename T>
class functor : public baseFunctor {
    T f;
public:
    template<typename U>
    functor(U&& f)
        :    f(std::forward<U>(f))
    {}
    void operator()() override {
        f();
    }
};

// In C++17 you don't need this: functor's default constructor can already infer T.
template<typename T>
auto makeNewFunctor(T&& v) {
    return std::unique_ptr<baseFunctor>(new functor<T>{std::forward<T>(v)});
}

int main() {
    // We need to store pointers instead of values, for the virtual function mechanism to behave correctly.
    std::vector<std::unique_ptr<baseFunctor>> functors;

    // Generate 10 functors writing to 10 different file streams
    std::generate_n(std::back_inserter(functors), 10, [](){
        static int i=0;
        std::ostringstream oss{"test"};
        oss << ++i << ".txt";
        std::fstream fs{oss.str(), std::fstream::out};
        return makeNewFunctor([fs = std::move(fs)] () mutable { fs.close(); });
    });

    // Execute the functors
    for (auto& functor : functors) {
        call_func(*functor);
    }
}

请注意,虚拟调用的开销是不可避免的:由于您需要将具有不同行为的函子存储在同一容器中,因此本质上您需要一种或另一种多态行为。因此,您可以手动实现这种多态性,也可以使用virtual。我更喜欢后者。