Warum erlaubt der ld-Linker mehrere Klassendefinitionen mit denselben Methoden?

Question

Betrachten Sie diese Datei, first.cpp, eine Klassendefinition und Verwendung enthalten:

#include <iostream> 

struct Foo 
{ 
    Foo(){ std::cout << "Foo()" << std::endl; } 
    ~Foo(){ std::cout << "~Foo()" << std::endl; } 
}; 

int main(){ 
    Foo f; 
    return 0; 
} 

und eine andere, second.cpp, eine widersprüchliche Klassendefinition enthalten:

#include <iostream> 

struct Foo 
{ 
    Foo(); 
    ~Foo(); 
}; 

Foo::~Foo(){ std::cout << "wrong ~Foo()" << std::endl; } 

Der Linker über doppelte Symbole beschwert sich, wenn es zwei sind Funktionen mit den gleichen Namen definiert, aber diese Dateien mit doppelten Klassenmethoden kompilieren ohne einen Fehler.

ich mit diesen Befehlen zusammengestellt:

$ g++ -c second.cpp -o second 
$ g++ second first.cpp -o first 

Neuordnen die Argumente der zweiten g++ Aufruf ändert nicht den Ausgang.

Und wenn first ausgeführt wird, ist dies die Ausgabe:

$ ./first 
Foo() 
wrong ~Foo() 

Warum der Linker erlauben doppelte Klassenmethoden? Wenn es anscheinend erlaubt ist, warum ist wrong ~Foo() gedruckt?

Answer 1

Noch einmal, undefiniertes Verhalten. Ihr Programm hat mehrere Definitionen für den Destruktor von Foo, was bedeutet, dass es gegen ODR verstößt. Das Programm ist falsch und alles kann passieren.

Warum nimmt der Linker es nicht auf? Wenn eine Funktion innerhalb der Klassendefinition definiert ist, ist dies implizit inline. Compiler markieren diese Funktionen normalerweise als "schwache Symbole". Der Linker ruft dann alle Übersetzungseinheiten ab und versucht, die Symbole aufzulösen. Schwache Symbole werden bei Bedarf vom Linker gelöscht (d. H. Wenn das Symbol bereits irgendwo anders definiert ist).

Wie die tatsächlichen Ausgabe des Programms sieht es aus wie der Compiler tatsächlich nicht den Aufruf an den Konstruktor Inline- und somit zur Laufzeit auf das Symbol versandt, die vom Linker verlassen wurde (die nicht-schwache)

Warum Linker ermöglicht doppelte Methoden zu haben?

Da alle (aber höchstens eine) sind schwache Symbole (d inline)

Warum, in diesem Fall falsch ~ Foo() gedruckt wird?

Da der Anruf nicht inlined wurde, und der Linker ließ das schwache Symbol