struct z tej samej nazwie, ale innym członka w C++

Question

Zgodnie książki C++ Programming Language (Bjarne Stroustrup), w punkcie 15.2.3 (zasada One Definition) strona nr 425, piszę program, jak poniżej:

file1.cpp

struct S2 { int a; char b; }; 

file2.cpp

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

Aby skompilować próbowałem poniżej polecenia.

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

i

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

Oba te polecenia wytwarzania wykonywalny bez żadnych błędów lub ostrzeżenia. Ale jak na książkę ten przykład powinien dać błąd.

Answer 1

One Definition Rule mówi, że:

jeśli jeden plik .cpp definiuje struct S { int x; }; a drugi plik .cpp definiuje struct S { int y; };, zachowanie programu, który łączy je razem jest niezdefiniowany.

Twój program wywołuje niezdefiniowane zachowanie (UB). Tak więc kompilator nie musi podawać diagnozy.

Jeśli chcesz poznać jego przyczynę, przeczytaj this.

Mam nadzieję, że to pomaga. :)