C++ 编译器如何找到一个 extern 变量？

Question

我用 g++ 和 clang++ 编译这个程序。有一个区别：
g++ 打印 1，但 clang++ 打印 2。
似乎
g++: extern 变量定义在最短范围内。
clang++：extern 变量定义在最短的全局范围内。

C++ 规范对此有任何规范吗？

主程序

#include <iostream>
static int i;
static int *p = &i;

int main() {
  int i;
  {
    extern int i;
    i = 1;
    *p = 2;
    std::cout << i << std::endl;
  }
}

其他.cpp

int i;

版本：g++：7.4.0/clang++：10.0.0
编译：$(CXX) main.cpp other.cpp -o extern.exe

Answer 1

[basic.link/7]应该是标准的相关部分。在目前的草案中，它说：

块作用域中声明的函数名和块作用域extern声明中声明的变量名有联系。如果这样的声明附加到命名模块，则程序格式错误。如果有一个带有链接的实体的可见声明，忽略在最里面的封闭命名空间范围之外声明的实体，这样如果两个声明出现在同一个声明区域中，块范围声明将是（可能格式错误的）重新声明，块范围声明声明相同的实体并接收前一个声明的链接。如果存在多个这样的匹配实体，则程序格式错误。否则，如果未找到匹配实体，则块范围实体接收外部链接。如果在一个翻译单元中，同一个实体被声明为具有内部和外部链接，那么程序就是格式错误的。

请注意，随后的示例几乎完全符合您的情况：

static void f();
extern "C" void h();
static int i = 0;               // #1
void g() {
  extern void f();              // internal linkage
  extern void h();              // C language linkage
  int i;                        // #2: i has no linkage
  {
    extern void f();            // internal linkage
    extern int i;               // #3: external linkage, ill-formed
  }
}

所以，程序应该是格式错误的。解释在示例下面：

如果没有第 2 行的声明，第 3 行的声明将与第 1 行的声明链接。但是，由于隐藏了具有内部链接的声明，因此 #3 被赋予外部链接，从而使程序格式错误。