Łączenie językowe - c++

Question

Witam. Przerabiam fragkent książki Stephena Prosty o łączeniu językowym i mam spory problem z pełnym przyswojeniem i zrozumieniem stosowania prototypów z sygnalizacją łączenia jezykowego. Oto fragment przykladowych prototypów z książki.

extern "C" void spiff(int);
extern "C++" void spoff(int);

Prosiłbym o bardzo łopatologiczne wytłumaczenie kiedy stosować te prototypy. Rozumiem, że przy tworzeniu własnych funkcji jest to zbędne, a gdy dołączam do programu plik nagłówkowy to prototypy sa tam już gotowe. Z drugiej strony tworząc własne pliki z definicjami funkcji i pliki nagłówkowe z prototypami funkcji beda one domyslnie podczas kompilacji otrzymywały nazwy symboliczne C++ więc prototyp z sygnalizacją jest także jest zbędny. Kiedy w takim razie korzysta się z tego? W  książce jest coś prekompilowaniu funkcji biblioteki C ale jak coś takiego miałoby się odbywać?

Comments

https://stackoverflow.com/questions/1041866/what-is-the-effect-of-extern-c-in-c

Moze to cos rozjasni, troche

Answer 1

Chodzi o to, że jak w C nazwiesz funkcję foo, to taki ona ma symbol w dalszej obróbce przez kompilator. W C++ jest inaczej. W C++ mamy przeładowanie nazw funkcji. Mogą być dwie funkcje o takiej samej nazwie, jeżeli różnią się parametrami. C++ pod spodem organizuje ten mechanizm w ten sposób, że do nazwy funkcji dokleja typy parametrów. Czyli funkcja w C foo ma nazwę podczas budowania foo. Funkcja foo w C++, która przyjmuje dwa inty, będzie się nazywać w trakcie budowania np. foo_int_int.

I teraz załóżmy, że masz bibliotekę zbudowaną kompilatorem języka C. Jest w tej bibliotece funkcja o nazwie foo. Piszesz kod w C++ i chcesz zawołać taką funkcję do pracy. Jeżeli nie powiesz kompilatorowi C++, że to funkcja z języka C, to on spróbuje wołać funkcję po swojemu, czyli będzie szukał foo_int_int. Nie uda mu się to, bo takiej funkcji nie ma, (jest foo), i zgłosi błąd. Możesz jednak powiedzieć mu, że foo pochodzi z innego świata, w którym nie dekoruje się nazw :)

extern "C" void foo(int a, int b);

 

Comments

W C też ma przeciążenie funkcji. Od C11, Generic. 

Answer 2

Przeanalizujmy dwa przypadki.

Najpierw chcesz wywołać funkcję skompilowaną w C++ w języku C. Wtedy przy definicji zasobu w C++ wykorzystujesz wspomniane łączenie językowe `extern "C"`, natomiast w pliku nagłówkowym dla języka C w deklaracji funkcji już nie. Taki zbiór plików binarnych (biblioteki statycznej) i nagłówków umożliwi linkerowi języka C dostęp do zasobów zdefiniowanych w C++.

Z kolei gdybyś chciał uzyskać dostęp do funkcji skompilowanej w C w języku C++, no to zadeklarowałbyś w C++ funkcję z `extern "C"` i dołączył bibliotekę statyczną skompilowaną w języku C.

Reasumując, łączenia językowego używamy zarówno do deklaracji i definicji. Wszystko zależy, skąd lub gdzie chcemy użyć danego zasobu. Oczywiście definicja funkcji lub zmiennych za pomocą `extern "C"` umożliwia dostęp nie tylko z poziomu języka C, ale także jakiejkolwiek innej technologii, która wymaga reguł tego języka. Osobiście nie spotkałem się z użyciem `extern "C++"` i chyba nie ma to praktycznego zastosowania. Co do linkowania zasobów dynamicznie (np. z pliku DLL), to nie jestem pewien, czy jest wymagane użycie tego `extern "C"`, a jeśli tak, to w jakich sytuacjach.