Kann eine Variable als automatisch deklariert werden, die zu demselben Typ abgeleitet wurde?

Question

Ist Folgendes in der Norm erlaubt?

#include <iostream> 

extern int a; 
auto a = 3; 

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

clang akzeptiert den Code. g++ beschwert sich für widersprüchliche Deklaration.

Answer 1

Es ist nicht viel für mich klar aus dem Standard, aber dann gibt es diese

geschrieben

Abschnitt 7.1.6.4 Auto Spezifizierer
Ein Programm, das Auto in einem Kontext verwendet nicht explizit in diesem Abschnitt erlaubt ist schlecht geformt.

Besser lesen Sie den genannten Abschnitt des Standards für alle zulässigen Kontexte.

In Anbetracht dieser, glaube ich, g ++ ist richtig und Clang ist falsch. Aber ich könnte mich irren, es könnte einen separaten Abschnitt im Standard geben, der diesen Kontext implizieren könnte, aber ich konnte ihn nicht finden.

Answer 2

Antwort bearbeiten: Wie in den Kommentaren erwähnt. Das Problem in diesem Fall ist, dass

writting

external int a; 
auto a = 3; 

das gleiche ist wie writting

external int a; 
int a = 3; 

das heißt, Sie eine neue Definition von a haben und das verursacht einen Fehler.

Erste Antwort: Für mein Verständnis bricht dies Teile der One-Definition-Regel. Insbesondere meine ich die folgende Regel (in Bezug auf MISRA C++ 2008), die besagt, dass ein Bezeichner mit externer Verknüpfung immer nur eine Definition haben sollte. In Ihrem Beispiel haben Sie eine Definition in der aktuellen Datei (auto a = 3;) und bei extern beziehen Sie sich auch auf eine Definition in einer anderen Datei.