Dlaczego łącznik LD dopuszcza wiele definicji klas za pomocą tych samych metod?

Question

Rozważmy następujący plik first.cpp, zawierający definicję klasy i zastosowanie:

#include <iostream> 

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

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

a inny, second.cpp, zawierający konflikt definicję klasy:

#include <iostream> 

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

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

Łącznik narzeka na zduplikowane symboli, gdy istnieją dwa funkcje o tych samych nazwach, ale te pliki z powielonymi metodami klasy kompilują się bezbłędnie.

skompilowany z tych poleceń:

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

Zmiana kolejności argumenty do drugiego g++ zaproszenia nie zmienia wyjście.

A kiedy first jest prowadzony, jest to wyjście:

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

Dlaczego łącznik pozwalają zduplikowane metod klasy? Jeśli jest to dozwolone, dlaczego wydrukowano wrong ~Foo()?

Answer 1

Ponownie, niezdefiniowane zachowanie. Twój program ma wiele definicji dla destruktora z Foo, co oznacza, że ​​narusza ODR. Program jest zły i wszystko może się zdarzyć.

Dlaczego linker go nie odbiera? Gdy funkcja jest zdefiniowana w definicji klasy, jest domyślnie inline. Kompilatory zazwyczaj oznaczają te funkcje jako "słabe symbole". Łącznik następnie pobiera wszystkie jednostki tłumaczeniowe i próbuje rozwiązać symbole. Słabe symbole zostaną usunięte przez linker, jeśli zajdzie taka potrzeba (to znaczy, jeżeli symbol jest już zdefiniowany gdzie indziej).

Jak rzeczywistej wydajności programu, wygląda na to kompilator nie faktycznie inline wywołanie konstruktora, a zatem wysyłane w czasie wykonywania do symbolu, który został pozostawiony przez łącznik (non-słaby)

---

Dlaczego linker pozwala na powielanie metod?

Ponieważ wszystkie (ale co najwyżej jeden) są słabe symbole (tzn inline)

Dlaczego w tym przypadku źle ~ Foo() jest drukowany?

Ponieważ połączenie nie zostało inlined, a łącznik upuścił słaby symbol