成员声明`decltype(name)name;`在本地结构中允许,其中第一个名称是指封闭范围？

Question

例:

int main()
{
    int a = 0;
    struct X
    {
        decltype(a) a;
    };
    return 0;
}

该decltype(a)指的是本地a的main,而成员,它声明股相同的名称.

Clang编译没有任何问题,MSVC14也是如此.

G ++抱怨它,添加-fpermissive使它通过

prog.cc:6:21: error: declaration of 'int main()::X::a' [-fpermissive]
         decltype(a) a;
                     ^
prog.cc:3:9: error: changes meaning of 'a' from 'int a' [-fpermissive]
     int a = 0;

哪种行为符合标准？

Answer 1

我相信这违反了[basic.scope.class]/1(N3337):

以下规则描述了在类中声明的名称范围.

1)[...]

2)N类中使用的名称S应在其上下文中引用相同的声明,并在完成的范围内重新评估S.违反此规则无需诊断.

由于decltype(a)在声明成员变量之前引用封闭范围中的声明,但是当"在完成的范围内重新评估"时引用该成员X,该程序是不正确的.不需要诊断,但GCC提供了一个诊断(尽管它是相当神秘的).所有三个编译器的行为都是有效的.