C 14 引入了广义 lambda 捕获,支持移动捕获。在 C 14 中,类似以下的代码将是有效的:
auto u = make_unique<some_type>( some, parameters ); // move the unique_ptr into the lambda go.run( [ u = move(u) ] { do_something_with( u ); } );
请注意,如果需要将对象从 lambda 移动到另一个函数,则 lambda 必须标记为可变:
go.run( [ u = move(u) ] mutable { do_something_with( std::move(u) ); } );
在 C 11 中,可以使用辅助函数来实现移动捕获make_rref 创建对所需值的右值引用:
#include <cassert> #include <memory> #include <utility> template <typename T> struct rref_impl { rref_impl() = delete; rref_impl( T && x ) : x{std::move(x)} {} // ... implementation }; template<typename T> rref_impl<T> make_rref( T && x ) { return rref_impl<T>{ std::move(x) }; }
使用 make_rref 函数捕获 lambda 中的值:
int main() { std::unique_ptr<int> p{new int(0)}; auto rref = make_rref( std::move(p) ); auto lambda = [rref]() mutable -> std::unique_ptr<int> { return rref.move(); }; assert( lambda() ); assert( !lambda() ); }
请注意,此解决方法使 lambda 可复制,这在捕获不可复制的对象时可能会导致问题。
模拟广义 lambda 捕获的另一种方法涉及定义捕获函数:
#include <utility> template <typename T, typename F> class capture_impl { T x; F f; public: // ... 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) ); }
使用 capture 通过移动捕获值:
int main() { std::unique_ptr<int> p{new int(0)}; auto lambda = capture( std::move(p), []( std::unique_ptr<int> & p ) { return std::move(p); } ); assert( lambda() ); assert( !lambda() ); }
此解决方案提供一种更简洁的方法,如果捕获的类型不可复制,则禁用复制 lambda。
以上是如何在 C Lambda(C 11 和 C 14)中实现移动捕获?的详细内容。更多信息请关注PHP中文网其他相关文章!