In che modo i compilatori c ++ trovano una variabile esterna?

Compilo questo programma con g ++ e clang ++. C'è una differenza:
g ++ stampa 1, ma clang ++ stampa 2.
Sembra che
g ++: la variabile esterna sia definita nell'ambito più breve.
clang ++: la variabile extern è definita nell'ambito globale più breve.

La specifica C ++ ha qualche specifica al riguardo?

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;

versione: g ++: 7.4.0 / clang ++:
compilazione 10.0.0 : $ (CXX) main.cpp other.cpp -o extern.exe

[basic.link/7] dovrebbe essere la parte pertinente della norma. Nella bozza attuale, dice:

Il nome di una funzione dichiarata nell'ambito del blocco e il nome di una variabile dichiarata da una externdichiarazione dell'ambito del blocco hanno un collegamento. Se una tale dichiarazione è allegata a un modulo denominato, il programma è mal formato. Se è presente una dichiarazione visibile di un'entità con collegamento, che ignora le entità dichiarate al di fuori dell'ambito dello spazio dei nomi che racchiude più interno, tale che la dichiarazione dell'ambito del blocco sarebbe una dichiarazione (possibilmente mal formata) se le due dichiarazioni apparissero nella stessa regione dichiarativa, il la dichiarazione dell'ambito del blocco dichiara quella stessa entità e riceve il collegamento della dichiarazione precedente. Se esiste più di un'entità corrispondente, il programma è mal formato. Altrimenti, se non viene trovata alcuna entità corrispondente, l'entità dell'ambito del blocco riceve un collegamento esterno.Se, all'interno di un'unità di traduzione, la stessa entità viene dichiarata sia con collegamento interno che esterno, il programma è mal formato.

Nota che l'esempio successivo corrisponde quasi esattamente al tuo caso:

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

Quindi, il programma dovrebbe essere mal formato. La spiegazione è sotto l'esempio:

Senza la dichiarazione alla riga n. 2, la dichiarazione alla riga n. 3 si collegherebbe con la dichiarazione alla riga n. 1. Poiché la dichiarazione con collegamento interno è nascosta, tuttavia, al n. 3 viene assegnato un collegamento esterno, rendendo il programma mal formato.