Struktur mit dem gleichen Namen, aber unterschiedlichem Mitglied in C++

Question

Wie pro Buch Die C++ Programmiersprache (Bjarne Stroustrup), in Abschnitt 15.2.3 (die Definition Regel) Seite nicht 425, ich schreibe Programm wie folgt:

file1.cpp

struct S2 { int a; char b; }; 

file2.cpp

struct S2 { int a; char bb; }; 
int main(){ return 0;} 

ich unter Befehl versucht zu kompilieren.

g++ -std=c++11 file1.cpp file2.cpp 

und

clang++ -std=c++11 file1.cpp file2.cpp 

Beide dieser Befehl ohne jeden Fehler oder eine Warnung ausführbaren erzeugen. Aber laut Buch sollte dieses Beispiel einen Fehler geben.

Answer 1

One Definition Rule sagt, dass:

wenn eine CPP-Datei struct S { int x; }; und die andere CPP Datei definiert definiert struct S { int y; };, das Verhalten des Programms, das sie zusammen verbindet, ist undefined.

Ihr Programm ruft also undefined Verhalten (UB). Compiler ist also nicht erforderlich, um die Diagnose zu stellen. Wenn Sie den Grund dafür wissen wollen, dann lesen Sie this.

Ich hoffe, es hilft. :)