c++ - 在 lambda 中使用未捕获的变量

Question

我不太理解 C++14 标准草案 N4140 5.1.2.12 [expr.prim.lambda] 中的一个例子。

A lambda-expression with an associated capture-default that does not explicitly capture this or a variable with automatic storage duration (this excludes any id-expression that has been found to refer to an initcapture’s associated non-static data member), is said to implicitly capture the entity (i.e., this or a variable) if the compound-statement:

• odr-uses the entity, or
• names the entity in a potentially-evaluated expression where the enclosing full-expression depends on a generic lambda parameter declared within the reaching scope of the lambda-expression.

[ Example:

void f(int, const int (&)[2] = {}) { } // #1
void f(const int&, const int (&)[1]) { } // #2
void test() {
  const int x = 17;
  auto g = [](auto a) {
    f(x); // OK: calls #1, does not capture x
  };
  auto g2 = [=](auto a) {
    int selector[sizeof(a) == 1 ? 1 : 2]{};
    f(x, selector); // OK: is a dependent expression, so captures x
  };
}

—end example ]

All such implicitly captured entities shall be declared within the reaching scope of the lambda expression.

[ Note: The implicit capture of an entity by a nested lambda-expression can cause its implicit capture by the containing lambda-expression (see below). Implicit odr-uses of this can result in implicit capture. —end note ]

我认为短语的开头 a lambda-expression with an associated capture-default 应该禁止任何隐式捕获(并通过注释确认)，因此 #1 调用将导致错误(关于使用未捕获的变量)。那么它是如何工作的呢？ f 的第一个参数是什么？如果在退出 test() 范围后调用 g 怎么办？如果我将 #1 签名更改为 void(const int&) 会怎样？

--

upd:感谢大家解释它是如何工作的。稍后我将尝试查找并发布有关此案例的标准引用。

Answer 1

作为 T.C.在他的评论中说，#1 不需要捕获，因为 x 在编译时已知，因此被烘焙到 lambda 中。与函数 f 在编译时已知的方式没有什么不同，因此不需要捕获它。

我相信，如果您将 f 的签名更改为 int const &，您现在正试图传递堆栈中常量的地址，因此受制于更改，并且需要按值或引用捕获 x。