如何为 extern 的新声明解决多个先前声明？

Question

第三个x应该指什么：

#include <stdio.h>

static char x = '1';

int main(void)
{
    char x = '2';
    {
        extern char x;
        printf("%c\n", x);
    }
}

这发生在this answer，并且：

• 在Apple LLVM 9.1.0 clang-902-0.39.2 中，extern char x 的x 指的是第一个x，并且打印了“1”。
• GCC 8.2 does not accept this source text.，抱怨：“错误：以前声明的变量 'static' 重新声明了 'extern'”。

C 2018 6.2.2 4 说：

对于使用存储类说明符extern声明的标识符，在该标识符的先前声明可见的范围内，如果先前声明指定内部或外部链接，则标识符的链接在后面的声明中与前面声明中指定的链接相同。如果前面的声明不可见，或者前面的声明没有指定链接，则标识符具有外部链接。

由于x 有两个先前声明，以下每个“if”子句的条件都为真，第一个用于第一个先前声明，第二个用于第二个先前声明：

• …如果前面的声明指定了内部或外部链接，则后面声明的标识符的链接与前面声明的链接相同。
• …如果前面的声明没有指定链接，则标识符有外部链接。

Clang 在这里的行为与使用第一个子句一致，因此第三个x 具有内部链接，并与第一个x 引用相同的对象。 GCC在这里的行为与使用第二个子句一致，因此第三个x具有外部链接，并与第一个x冲突，后者具有内部链接。

C 标准是否为我们提供了一种解决问题的方法？

Answer 1

第三个声明 extern char x 应该声明 x 具有外部链接，基于 C 2018 6.2.2 4，它说：

对于使用存储类说明符extern声明的标识符，在该标识符的先前声明可见的范围内，如果先前声明指定内部或外部链接，则标识符的链接在后面的声明中与前面声明中指定的链接相同。如果前面的声明不可见，或者前面的声明没有指定链接，则标识符具有外部链接。

在声明extern char x 处，x 的第一个声明不可见，因为它已被第二个声明隐藏。因此，它不符合“该标识符的事先声明是可见的”的条件。 x 的第二个声明是可见的，因此对于上一段而言，它是“预先声明”。

那么最后一句应该控制：前面的声明指定没有链接（6.2.2 6，没有extern的块范围标识符没有链接），所以第三个x有外部链接。

那么违反了 6.2.2 7 因为第一个 x 有内部链接，而第三个 x 有外部链接：

如果在翻译单元内，相同的标识符同时出现在内部和外部链接中，则行为未定义。

由于没有违反语法规则或约束，因此标准不要求 C 实现报告诊断。由于行为未定义，它可以做任何事情，包括接受此代码并使第三个x 引用与第一个x 相同的对象。因此，Clang 和 GCC 的行为在这方面都没有违反标准。但是，由于违反了 6.2.2 7，因此可能首选诊断程序，而没有诊断程序可能会被认为是 Clang 的缺陷。

（感谢 Paul Ogilvie 和 T.C. 用他们的 cmets 告知我对此的想法。）