为什么我不能在lambda中用引用(&这个)来捕捉这个?

内容来源于 Stack Overflow,并遵循CC BY-SA 3.0许可协议进行翻译与使用

  • 回答 (2)
  • 关注 (0)
  • 查看 (178)

我明白捕获的正确方法this(修改对象属性)在lambda中如下所示:

auto f = [this] () { /* ... */ };

但我对我所见过的以下特点感到好奇:

class C {
    public:
        void foo() {
            // auto f = [] () { // this not captured
            auto f = [&] () { // why does this work?
            // auto f = [&this] () { // Expected ',' before 'this'
            // auto f = [this] () { // works as expected
                x = 5;
            };
            f();
        }

    private:
        int x;
};

奇怪的是,我对以下工作感到困惑(并希望回答):

auto f = [&] () { /* ... */ }; // capture everything by reference

以及为什么我不能明确地捕捉this引用:

auto f = [&this] () { /* ... */ }; // a compiler error as seen above.
提问于
用户回答回答于

原因[&this]不工作是因为它是语法错误。lambda-introducercapture:

capture:
    identifier
    & identifier
    this

你可以看到&this在句法上是不允许的。不允许的原因是因为你永远不想捕捉this引用,因为它是一个小的Const指针。this参考一下。

捕捉this显式地使用[this]就像lambda-introducer

第一capture可以是capture-default即:

capture-default:
    &
    =

这意味着无论我使用什么,都可以通过引用(&)或按价值计算(=)分别---然而,对this是特殊的--在这两种情况下,都是根据前面给出的原因(即使默认捕获为&,这通常意味着通过引用捕获)。

5.1.2.7/8:

为了查找名称(3.4),确定this(9.3.2)并使用以下方法将引用非静态类成员的id-表达式转换为类成员访问表达式(*this)(9.3.1),复合声明兰博达在lambda表达式的上下文中考虑。

因此,在使用成员名称时,lambda的作用就好像它是封装成员函数的一部分一样(如在您的示例中,名称的使用)。x),因此它将生成“隐式用法”this就像成员函数一样。

如果lambda捕获包括捕获-默认值,则为&,λ捕获中的标识符不应以&。如果lambda捕获包括捕获-默认值,则为=,“羔羊捕获”不应包含this它所包含的每一个标识符都应以&...。标识符或this不应出现超过一次在一个羔羊捕获。

所以你可以用[this][&][=][&,this]作为lambda-introducer要捕获this指针按值计算。

不过[&this][=, this]都是错误的。在最后一次案例中gcc饶恕地警告说[=,this]explicit by-copy capture of ‘this’ redundant with by-copy capture default而不是错误。

用户回答回答于

因为标准没有&this在捕获列表中:

N 4713 8.4.5.2显示:

lambda-capture:
    capture-default
    capture-list
    capture-default, capture-list

capture-default:
    &
    =
capture-list:
    capture...opt
    capture-list, capture...opt
capture:
    simple-capture
    init-capture
simple-capture:
    identifier
    &identifier
    this
    * this
init-capture:
    identifier initializer
    &identifier initializer

  1. 为了实现lambda捕获,表达式可能引用本地实体如下: 7.3这个表达式可能引用*这个。

所以,标准担保this*this是有效的,而且&this是无效的。同时,捕获this手段捕获*this(它是一个lvalue,对象本身)引用而不是捕捉this指针按价值计算

所属标签

可能回答问题的人

  • 应用案例分享

    1 粉丝490 提问6 回答
  • o o

    4 粉丝495 提问5 回答
  • 找虫虫

    5 粉丝0 提问5 回答
  • uncle_light

    5 粉丝518 提问4 回答

扫码关注云+社区

领取腾讯云代金券