macos - C++、OS X 的 clang 与 GCC 中的 Lambda 表达式

Question

C++ 的 lambda 表达式的一个特殊属性是捕获声明变量的范围内的变量。例如，我可以在 lambda 函数中使用声明并初始化的变量 c，即使“c”没有作为参数发送，但它被“[ ]”捕获:

 #include<iostream>
 int main ()
 {int c=5; [c](int d){std::cout<<c+d<<'\n';}(5);}

因此，预期输出为 10。当至少 2 个变量(一个是捕获的，另一个作为参数发送)具有相同名称时，就会出现问题:

 #include<iostream>
 int main ()
 {int c=5; [c](int c){std::cout<<c<<'\n';}(3);}

我认为 2011 年 c++ 标准规定，在名称重合的情况下，捕获的变量优先于 lambda 表达式的参数。事实上，在 Linux 上使用 GCC 4.8.1 编译代码，我得到的输出是预期的，5。如果我使用苹果版本的 clang 编译器(clang-503.0.40，Mac OS X 10.9.4 上的 Xcode 5.1.1 附带的编译器)编译相同的代码，我会得到另一个答案，3 .

我试图弄清楚为什么会发生这种情况；这只是苹果的编译器错误(如果该语言的标准确实规定捕获的“c”具有优先级)还是类似的东西？这个问题能解决吗？

编辑

我的老师给GCC帮助台发了一封电子邮件，他们回答说这显然是GCC编译器的一个错误，并将其报告给Bugzilla。所以 Clang 的行为是正确的!

Answer 1

根据我对 c++11 标准要点的理解:

5.1.2 Lambda expressions

3 The type of the lambda-expression (which is also the type of the closure object) is a unique, unnamed non-union class type — called the closure type — whose properties are described below.

...

5 The closure type for a lambda-expression has a public inline function call operator (13.5.4) whose parameters and return type are described by the lambda-expression’s parameter-declaration-clause and trailing-return-type respectively. This function call operator is declared const (9.3.1) if and only if the lambda-expression’s parameter-declaration-clause is not followed by mutable.

...

14 For each entity captured by copy, an unnamed non static data member is declared in the closure type

像这样的 lambda 表达式...

int c = 5;

[c](int c){ std::cout << c << '\n'; }  

...大致相当于这样的类/结构:

struct lambda
{
    int c; // captured c

    void operator()(int c) const
    {
        std::cout << c << '\n';
    }
};

所以我希望参数隐藏捕获的成员。

编辑:

在标准(上面引用)的14点中，从捕获的变量创建的数据成员似乎是* 未命名 *。引用它的机制似乎独立于正常的标识符查找:

17 Every id-expression that is an odr-use (3.2) of an entity captured by copy is transformed into an access to the corresponding unnamed data member of the closure type.

根据我对标准的阅读，不清楚此转换是否应优先于参数符号查找。

所以也许这应该标记为UB(未定义行为)？