为什么这个程序在 C11 中编译得很好，但在 C99 中编译得不好？ [复制]

Question

考虑以下程序：（参见现场演示here）。

#include <stdio.h>
struct Test
{
    int a;
};
typedef struct Test t;
typedef struct Test t;
int main()
{
    t T={9};
    printf("%d",T.a);
}

程序在 C11 编译器中编译良好，但在 C99 编译器中编译失败。为什么？是什么原因？ 我的编译器 gcc 4.8.1 给出以下警告：

[Warning] redefinition of typedef 't' [-Wpedantic]
[Note] previous declaration of 't' was here

Answer 1

这在 C11 中（显然）已更改。 C99§6.7/3：

如果一个标识符没有链接，除了 6.7.2.3 中指定的标签外，在相同范围和相同名称空间中不得有超过一个标识符声明（在声明符或类型说明符中）。

C11§6.7/3：

如果标识符没有链接，则在相同范围和相同名称空间中的标识符声明（在声明符或类型说明符中）不得超过一个，除了：

— 可以重新定义 typedef 名称以表示与当前相同的类型，前提是该类型不是可变修改的类型；

——标签可以按照 6.7.2.3 中的规定重新声明。

虽然我找不到 C11 的基本原理文档，但我猜测此更改的原因是允许多个 structtypedefs，可能在多个标题上。由于已经允许重新声明struct/union/enum 标签，并且typedefing structs 是一个相当常见的习语。

编辑

@Lundin 为此找到了rationale：它是为了增强与 C++ 的兼容性：

C++ 允许与前一个 typedef 同名的 typedef 重定义出现在相同的范围内，只要它命名相同的类型。一些 C 编译器允许将类似的 typedef 重新定义作为扩展，尽管 C99 不允许这样做。向 C1x 添加良性的 typedef 重新定义将增强与 C++ 的一致性，标准化一些现有的实践，并安全地消除对用户无用和偶尔滋扰的约束。