Una variabile può essere dichiarata auto come dedotta allo stesso tipo?

Question

È consentito quanto segue dalla norma?

#include <iostream> 

extern int a; 
auto a = 3; 

int main(int, char**) 
{ 
    std::cout << a << std::endl; 
    return 0; 
} 

clang accetta il codice. g++ reclami per dichiarazione contraddittoria.

Answer 1

La sua non è molto chiaro per me dallo standard, ma poi, c'è questa scritta

sezione 7.1.6.4 auto identificatore
Un programma che utilizza auto in un contesto non esplicitamente consentito in questa sezione è mal formati.

Leggere meglio la sezione indicata dello standard per tutti i contesti consentiti.

Considerato questo, credo che g ++ sia corretto e clang sia sbagliato. Ma potrei sbagliarmi, potrebbe esserci una sezione separata nello standard che potrebbe implicare questo contesto, ma non riuscivo a trovarla.

Answer 2

Modifica risposta: Come menzione nei commenti. Il problema in questo caso è che scrittura

external int a; 
auto a = 3; 

è lo stesso di scrittura

external int a; 
int a = 3; 

che significa che hai una nuova definizione di una e che causa un errore.

Prima risposta: Per la mia comprensione, questo rompe parti della regola della definizione One. Specificamente, intendo la seguente regola (in riferimento a MISRA C++ 2008) che dice che un identificatore con linkage esterno dovrebbe sempre avere solo una definizione. Nel tuo esempio hai una definizione nel file corrente (auto a = 3;) e con l'esterno fai riferimento anche a una definizione in un altro file.