struct con lo stesso nome ma diversi Stati in C++

Question

di cui al Libro Il C++ Programming Language (Bjarne Stroustrup), nella sezione 15.2.3 (La regola Una definizione) pagina no 425, scrivo programma come di seguito:

file1.cpp

struct S2 { int a; char b; }; 

file2.cpp

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

Per compilare ho provato sotto comando.

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

e

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

Entrambi questi comandi produrre eseguibili con qualsiasi errore o avviso. Ma come da libro questo esempio dovrebbe dare errore.

Answer 1

One Definition Rule dice che:

se un file cpp definisce struct S { int x; }; e l'altro file cpp definisce struct S { int y; };, il comportamento del programma che li unisce è definito.

Così, il tuo programma richiama il comportamento non definito (UB). Quindi, il compilatore non è tenuto a dare una diagnosi per questo.

Se si desidera conoscere il motivo alla base, leggere this.

Spero che aiuti. :)