c++ - 非本地 C++11 lambda 是否存在于匿名 namespace 中？

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 放在显式命名空间中，编译也会给出相同的警告，如下所示:

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:

The type of the lambda-expression (which is also the type of the closure object) is a unique, unnamed nonunion class type — called the closure type — whose properties are described below. This class type is not an aggregate (8.5.1). The closure type is declared in the smallest block scope, class scope, or namespace scope that contains the corresponding lambda-expression.

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