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

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

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

main.cpp

#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;
  }
}

other.cpp

int i;

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

[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提供了外部链接，从而使程序格式不正确。