说我有这个功能:
template <typename ...A> void test(A&& ...a) { [=]() { }; }
参数包将被转发到lambda还是被值复制?我很担心,因为我必须通过一个明确的move()或forward(),因为…是左值.一个元组中介需要转发/移动它们吗?如果是这样,是否存在一种简单的方法来将元组解包成参数包,而不使用索引技巧?
解决方法
使用
std::bind
可以完成的其余一些有用的功能之一.捕获由bind执行,捕获的值作为参数传递给无捕获的通用lambda:
template <typename... A> auto test(A&&... a) { auto f = [](auto&&... a) { // use a... }; return std::bind(f,std::forward<A>(a)...); }
以上与Clang合作,但这个GCC似乎有一个虚假的挥发性限定词的问题.
我们可以在没有绑定的情况下通过在第二个lambda中捕获一个元组来实现,该第二个lambda调用std::apply
(C 17)将元组解包成第一个lambda的参数列表:
template <typename... A> auto test(A&&... a) { auto f = [](auto&&... a) { // use a... }; return [f,tup = std::make_tuple(std::forward<A>(a)...)]() mutable { std::apply(f,tup); }; }
与Clang和GCC合作;应用是使用您想避免的索引技巧实现的,但您不会暴露于它. mutable意味着第二个lambda的调用运算符是非const,因此元组元素最终不会获得const限定条件.