非本地C++ 11 lambdas是否存在于匿名命名空间中？

Question

最新版本的GCC 4.8在头文件中提供以下代码:

auto L = [](){};

struct S
{
    decltype(L) m;
};

以下警告:

test.hpp:3:8: warning: 'S' has a field 'S::m' whose type uses the anonymous namespace [enabled by default]
 struct S
        ^

为什么编译器会考虑lambda的类型来使用匿名命名空间？我使lambda全局化,我没有在任何地方使用匿名命名空间.

更新:即使我将lambda放在显式名称空间中,compiles也会发出相同的警告,如下所示:

namespace N
{
    auto L = [](){};
}

struct S
{
    decltype(N::L) m;
};

更新2:事实上,甚至类范围lambda都有同样的问题:

class N
{
    static constexpr auto L = [](){};
};

struct S
{
    decltype(N::L) m;
};

Answer 1

§5.1.2/ 3:

lambda-expression的类型(也是闭包对象的类型)是一个唯一的,未命名的nonunion类类型 - 称为闭包类型 - 其属性如下所述.此类类型不是聚合(8.5.1).闭包类型在包含相应lambda表达式的最小块作用域,类作用域或命名空间作用域中声明.

因此,除非您在匿名命名空间内的代码中定义lambda表达式,否则lambda的类型也不应包含在匿名命名空间中.

Answer 2

GCC的警告可能有点令人困惑，但其意图肯定是正确的。lambda的类型是未命名的，并且在整个程序中是唯一的是唯一的。另一方面，如果您的类没有放入未命名的命名空间中（根据您的描述，我认为不是），那么您的类在您将其包含到的每个翻译单元中都是相同的类型。由于同一类应该具有相同的成员，而不是不同翻译单元中的不同成员，因此这是一种违规（并导致未定义的行为）。

至少同样糟糕的是L，extern一旦将标头包含到多个翻译单元中，您将收到“L 的多个定义”链接器错误。