在成员函数内部的lambda捕获列表中使用成员变量


145

以下代码使用gcc 4.5.1编译,但不能使用VS2010 SP1编译:

#include <iostream>
#include <vector>
#include <map>
#include <utility>
#include <set>
#include <algorithm>

using namespace std;
class puzzle
{
        vector<vector<int>> grid;
        map<int,set<int>> groups;
public:
        int member_function();
};

int puzzle::member_function()
{
        int i;
        for_each(groups.cbegin(),groups.cend(),[grid,&i](pair<int,set<int>> group){
                i++;
                cout<<i<<endl;
        });
}
int main()
{
        return 0;
}

这是错误:

error C3480: 'puzzle::grid': a lambda capture variable must be from an enclosing function scope
warning C4573: the usage of 'puzzle::grid' requires the compiler to capture 'this' but the current default capture mode does not allow it

所以,

1>哪个编译器正确?

2>如何在VS2010的lambda中使用成员变量?


1
注意:应该是pair<const int, set<int> >,这是地图的实际配对类型。它可能也应该是对常量的引用。
Xeo

Answers:


157

我相信VS2010这次是对的,我会检查我是否有标准的方便工具,但目前我没有。

现在,这就像错误消息中所说的一样:您无法在lambda的封闭范围之外捕获东西。 grid不在封闭范围内,而是thisgrid实际上对每次访问都与this->grid成员函数中的访问相同)。对于您的用例来说,捕获this是可行的,因为您将立即使用它,并且您不想复制grid

auto lambda = [this](){ std::cout << grid[0][0] << "\n"; }

但是,如果您想存储网格并复制它以供以后访问(puzzle对象可能已被销毁),则需要制作一个中间的本地副本:

vector<vector<int> > tmp(grid);
auto lambda = [tmp](){}; // capture the local copy per copy

†我正在简化-Google适用于“扩展范围”,请参阅§5.1.2了解所有详细信息。


1
似乎仅限于我。我不明白为什么编译器需要防止这种情况。尽管语法对于ostream左移运算符来说很糟糕,但它与bind一起很好地工作。
Jean-Simon Brochu 2013年

3
难道tmpconst &grid以减少复制?我们仍然希望至少有一个副本,该副本放入lambda([tmp])中,但不需要第二个副本。
亚伦·麦克戴德

4
该解决方案可能会进行不必要的额外复制,grid尽管它可能已经优化了。更短,更好的是: auto& tmp = grid;等等
汤姆·斯威

4
如果您有C ++ 14,则[grid = grid](){ std::cout << grid[0][0] << "\n"; }可以避免使用多余的副本
sigy

它似乎在gcc 4.9(和gcc 5.4)中已error: capture of non-variable ‘puzzle::grid’
修复-BGabor

108

替代方案摘要:

捕获this

auto lambda = [this](){};

使用对该成员的本地引用:

auto& tmp = grid;
auto lambda = [ tmp](){}; // capture grid by (a single) copy
auto lambda = [&tmp](){}; // capture grid by ref

C ++ 14:

auto lambda = [ grid = grid](){}; // capture grid by copy
auto lambda = [&grid = grid](){}; // capture grid by ref

例如:https//godbolt.org/g/dEKVGD


5
有趣的是,只有将捕获与初始化程序语法一起显式使用才能实现此目的(即,在C ++ 14中,这样做[&grid]仍然不起作用)。很高兴知道这一点!
ohruunuruus

1
好总结。我发现C ++ 14语法非常方便
tuket

22

我相信,您需要抓捕this


1
这是正确的,它将捕获此指针,并且您仍然可以grid直接引用。问题是,如果要复制网格怎么办?这将不允许您这样做。
Xeo

9
你可以,但只能以一种迂回的方式:你必须让本地副本,以及捕捉在lambda。那只是lambda的规则,您无法捕获封闭范围之外的僵硬对象。
Xeo

当然可以复制。我的意思是,您当然不能复制捕获它。
Michael Krelin-黑客2011年

我所描述的是通过中间本地副本进行的副本捕获-请参阅我的答案。除此之外,我不知道任何复制捕获成员变量的方法。
Xeo

当然,它会捕获副本,但不会捕获成员。除非编译器比平时更聪明,否则它涉及两个副本。
Michael Krelin-黑客2011年

14

限制lambda范围而不是让其访问整体的另一种方法this是将局部引用传递给成员变量,例如

auto& localGrid = grid;
int i;
for_each(groups.cbegin(),groups.cend(),[localGrid,&i](pair<int,set<int>> group){
            i++;
            cout<<i<<endl;
   });

我喜欢您的想法:使用伪造的引用变量并将其传递到捕获列表中:)
Emadpres
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.