如何用extern解析一个新声明的多个先前声明？

Question

#include <stdio.h>

static char x = '1';

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

这在这个回答中出现了，并且：

• 在Apple LLVM 9.1.0 CLANG-902-0.39.2中，外部字符x的x引用第一个x并打印“1”。
• GCC 8.2不接受此源文本。，抱怨：“错误：以前声明为'static‘的变量重新声明为'extern'”。

C 2018 6.2.2 4规定：

由于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 7,因为第一个x具有内部链接,第三个x具有外部链接：

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

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