了解 C++0x lambda 捕获

Question

在最近的一份 C++0x 草案 (n3225.pdf) 中，我们可以找到 5.1.2/10：

使用非限定名称查找的常用规则（3.4.1）来查找捕获列表中的标识符；每个此类查找都应找到在本地 lambda 表达式的到达范围中声明的具有自动存储持续时间的变量。如果一个实体（即变量或 this）出现在 lambda 表达式的捕获列表中，则称该实体已被显式捕获。

这对我来说似乎相当有限制。例如，在我看来，以下情况是不允许的：

int global;

struct s {
    int x;
    void memfun() {
        [x,global]{};
    }
};

因为 x 不一定是具有自动存储功能的变量，也不是 global。请注意，此捕获子句的目的是让 lambda 对象存储 x 和 global 的副本，这可能是需要的，以防万一它们是到了后期才改变。我已经知道一种替代方案：

int global;

struct s {
    int x;
    void memfun() {
        int copyx = x;
        int copyglobal = global;
        [copyx,copyglobal]{};
    }
};

但这归结为额外的副本和额外的样板只是为了捕获 x 和 global 作为副本。

另外，我在最新的草案中找不到任何关于如果我们在 capture 子句中命名本地引用会发生什么的结论：

int main() {
    int  i = 0;
    int &r = i;
    assert([r]{return &r;}() != &i);
}

lambda 对象是“复制引用”还是“复制 int”？如果它通过副本捕获引用的对象，这可以为我们节省之前解决方法中的额外副本。

GCC 显然支持所有这些示例，并在最后一种情况下存储 int 的副本（恕我直言，这是可取的）。但我想知道这实际上是否是 C++0x 草案的预期行为，或者只是编译器扩展或实现错误。

编辑：

templatetypedef 指出 5.1.2/14 解释了在捕获子句中命名引用时会发生什么。据我所知，这允许我们对第一个示例使用以下解决方法：

int global;

struct s {
    int x;
    void memfun() {
        auto& cx = x;
        auto& cglob = global;
        [cx,cglob]{};
    }
};

Tia， 塞利比策

Answer 1

从您发布的内容来看，您的第一个示例似乎是非法的，因为捕获的变量都没有自动持续时间。 但是，您可以轻松解决此问题。要捕获数据成员，您只需捕获它即可，不需要捕获全局，因为您可以直接引用它。

编辑：正如您所指出的，这将不要创建要捕获的值的本地副本。 要在创建副本时捕获这些变量，您可以捕获它，然后在 lambda 内部显式创建数据成员的本地副本。

至于关于捕获引用的第二个问题，§5.1.2/ 14 表示通过复制捕获引用类型的变量将创建引用值的副本，而不是创建引用的副本。因此，lambda 将拥有其自己的引用创建时所引用的值的副本。