如何通过C Lambda表达式中的Move高效捕获对象？

Lambda 表达式中的移动捕获

简介

在 C 中，通过移动捕获，也称为右值引用，允许用于将对象的所有权有效地转移到 lambda 表达式。在需要在 lambda 中显式管理对象资源的情况下，此技术特别有用。

C 14 中的通用 Lambda 捕获

在 C 14 中，通用 lambda 捕获提供了一个优雅的解决方案用于移动捕捉。借助此功能，可以声明一个使用移动语义按值捕获变量的 lambda 表达式：

using namespace std;

auto u = make_unique<some_type>(some, parameters);  

go.run([u = move(u)] { do_something_with(u); });

此方法将 u 的所有权移至 lambda，确保资源得到适当释放。此外，如果需要将对象移出 lambda，则必须将 lambda 声明为可变。

C 11 中移动捕获的解决方法

在 C 11 中，移动捕获并不直接支持。然而，有一些技术可以模拟这种行为。一种方法是使用辅助函数创建右值引用 (rref)：

template <typename T>
struct rref_impl {
    rref_impl() = delete;
    rref_impl(T &&x) : x(std::move(x)) {}
    // ... (remaining implementation)
};

template<typename T> rref_impl<T> make_rref(T &&x) {
    return rref_impl<T>{std::move(x)};
}

使用此辅助函数，可以通过在 lambda 中移动来捕获对象：

unique_ptr<int> p{new int(0)};
auto rref = make_rref(std::move(p));
auto lambda = [rref]() mutable -> unique_ptr<int> { return rref.move(); };

请注意，lambda 被声明为可变的，以允许修改捕获的右值引用。

模拟广义C 11 中的 Lambda 捕获

在 C 11 中模拟广义 lambda 捕获的另一种方法是使用自定义类来捕获变量并提供一种将其移出 lambda 的方法：

template <typename T, typename F>
struct capture_impl {
    T x;
    F f;
    // ... (remaining implementation)
};

template <typename T, typename F>
capture_impl<T,F> capture(T &&x, F &&f) {
    return capture_impl<T,F>(std::forward<T>(x), std::forward<F>(f));
}

此类可用于通过 move 捕获变量并提供调用 lambda 的方法：

unique_ptr<int> p{new int(0)};
auto lambda = capture(std::move(p), [](unique_ptr<int> &p) { return std::move(p); });

与与之前的方法相比，如果捕获的类型不可复制，则该 lambda 不可复制。这可以防止复制 lambda 时出现潜在错误。

以上是如何通过C Lambda表达式中的Move高效捕获对象？的详细内容。更多信息请关注PHP中文网其他相关文章！