[RicoElectrico]

#programowanie #jezykc
Pliki c są kompilowane do osobnych plików o. Zawierają one symbole, ale te nie mają deklaracji funkcji, tylko nazwę i adres.
Jeśli w drugim pliku c funkcja będzie miała inną deklarację, to wywali mi błąd przy budowaniu. Tylko co za to odpowiada, jeśli kompilator kompiluje każdy plik źródłowy z osobna, a linker wie tylko o nazwach symboli?

[ponton]

@RicoElectrico: Jak zadeklarujesz w innym miejscu funkcję inaczej, to linker będzie szukał innej funkcji i zwróci błąd, bo nie znalazł żadnej.

[RicoElectrico]

@ponton: Wiem, ale skąd zaczerpnie informacji o interfejsie funkcji, skoro w .o ma tylko symbol?

[ponton]

@RicoElectrico: Nie sprawdza tego. Na poziomie linkera masz już assembler i jak przekażesz złe argumenty, to możesz mieć segfault.

Przy okazji sprostuję poprzedni wpis. Zapomniałem, że C nie ma przecież przeładowań funkcji, więc jak drugi raz zadeklarujesz tę funkcję, to wszystko się skompiluje i zlinkuje, ale możesz mieć segfaulta.

[ponton]

@RicoElectrico: Ogólnie to deklaracje są tłumaczone na symbole. Język C jest prosty i tam nazwa funkcji jest jednocześnie jej symbolem. Natomiast w C++ do nazwy symboli dodaje się różne rzeczy (namespace, nazwę klasy, typy argumentów), żeby właśnie odróżnić np. foo(int) od foo(const char *) od bar::foo(int). Tu masz szczegóły: https://pl.wikipedia.org/wiki/Dekorowanie_nazw

[Kicer86]

@RicoElectrico: sprawa jest prosta: są dwa takie same symbole w dwóch plikach - konflikt - błąd.

[RicoElectrico]

@ponton: Zrobiłem test z GCC i wiesz co? Ci idioci nawet tego nie sprawdzają (⌐ ͡■ ͜ʖ ͡■)
Program działa "ok" ( ͡° ͜ʖ ͡°)

main.c

#include  
void doSomething(void); 
int main (){ 
 puts("o hai"); 
 doSomething(); 
 return 0; 
} 

second.c

#include  
void doSomething(int nothing){ 
 puts("no elo"); 
} 

$ gcc main.c second.c
$ ./a.out
o hai
no elo

[Bixkog]

@Kicer86: Linker wywali błąd kiedy w co najmniej dwóch plikach .o ma dwa takie same symbole silne (zdefiniowaną funkcję lub zainicjalizowaną zmienną globalną). Jeżeli ma dwa lub więcej symboli słabych to wybierze dowolny z nich (może powodować bugi).

[Kicer86]

@RicoElectrico: Twój test jest chyba trochę niekompletny, nie widzę 2 definicji funkcji.

[Kicer86]

@Bixkog: dzięki za doszczegółowienie :)

[RicoElectrico]

@Kicer86: nie chodziło w nim o podwójne symbole, a o różne argumenty / zwracany typ. Normalnie przed tą sytuacją chronią pliki .h które są dołączane zarówno w pliku z definicją funkcji, jak i pliku gdzie zostaje wywołana. Kompilator wyłapałby niezgodność deklaracji.

[Kicer86]

@RicoElectrico: w c, jak już zostało powiedziane, symbole nie przechowują informacji o typach. Ma to pewne zalety - łatwiej zlinkować pliki .o wygenerowane przez różne kompilatory i wygenerowane z różnych języków programowania. Np w c++ jest inaczej.