与类型同名的变量 - 哪个编译器是正确的？

Question

在这段代码中：

typedef int foo;

struct S
{
  foo foo;
};

int main() {}

clang -std=c++14 的所有版本都接受此代码，但是g++ -std=c++14 的所有版本都报告：

5 : error: declaration of 'foo S::foo' [-fpermissive]
foo foo;
^
1 : error: changes meaning of 'foo' from 'typedef int foo' [-fpermissive]

代码正确吗？

Answer 1

代码错误。 typedef 是现有类型的新名称。所以你不能创建一个类型名称像foo foo;等于int int的变量。

g++ -std=c++14 是正确的。

Also refer this question

Answer 2

我会说 CLang 在这里是正确的 - 即使我从不使用它。

C++ 14 草案 N4296 在 7.1 Specifiers [dcl.spec] 3

中说

如果在解析 decl-specifier-seq 时遇到类型名称，它会被解释为 decl-specifier- seq 当且仅当 decl-specifier-seq 中除了 cv-qualifier 之外没有先前的类型说明符。这 序列应是自洽的，如下所述。 [ 例子：

typedef char* Pc;
静态电脑; // 错误：名称丢失

这里，声明 static Pc 格式错误，因为没有为 Pc 类型的静态变量指定名称。

要获得名为 Pc 的变量，必须存在类型说明符（const 或 volatile 除外）以指示 typedef-name Pc 是被（重新）声明的名称，而不是 decl-specifier 序列的一部分。

再举个例子，

void f(const Pc); // void f(char* const) (不是 const char*)
void g(const int Pc); // void g(const int)

（强调我的）

即使一个例子不规范，它也让人认为对于 C++ 规范的编写者来说，一个变量可以重新声明一个 typedef 的名称。

但 g++ 只是更保守，看起来更合理。如果我在生产代码中看到这样的构造，程序员很快就会学会不要再这样做了，即使我编译器接受了它......