C++ extern keyword on functions. Dlaczego nie wystarczy dołączyć pliku nagłówka?

Nie, oznacza to, że funkcja {[1] } jest zadeklarowana z linkiem zewnętrznym . Połączenie Zewnętrzne oznacza, że nazwa foo odnosi się do tej samej funkcji w całym programie. Gdzie funkcja jest zdefiniowana nie ma znaczenia. Można go zdefiniować w tej jednostce tłumaczeniowej. Może być zdefiniowana w innej jednostce tłumaczeniowej.

Użycie słowa kluczowego extern, Jak pokazano w przykładzie, jest zbędne. Funkcje zawsze mają domyślnie zewnętrzne połączenie. Powyższe jest w 100% równoważne just

void foo();

Jak dla linker, gdy linker łączy program ze sobą, po prostu wygląda wszędzie . Przegląda wszystkie definicje, dopóki nie znajdzie definicji foo.

Jak już stwierdzili inni, słowo kluczowe extern jest używane do określenia, że nazwa (zmienna lub funkcja) ma zewnętrzne powiązanie, co oznacza, że nazwa odnosi się do tego samego obiektu w całym programie. Jest to również domyślne dla zmiennych i funkcji zdefiniowanych w obszarze pliku, więc takie użycie jest zbędne.

Jest jeszcze inne użycie słowa kluczowego extern, które wygląda tak:

extern "C" void foo();

Oznacza to, że funkcja foo będzie linkowana przy użyciu konwencji C do linkowania (może dlatego, że jest funkcją zdefiniowaną w bibliotece C lub jest funkcją przeznaczoną do wywoływania przez programy C).

To już oznacza, że bez słowa kluczowego extern. Funkcje mają domyślnie powiązania zewnętrzne, chyba że zadeklarujesz je jako statyczne.

Używanie prototypów funkcji jest w porządku, ale łatwo się pomylić. Błąd linkera, który otrzymasz, nie jest łatwy do zdiagnozowania, gdy zmienisz definicję implementacji funkcji. Linker nie wie, gdzie szukać, Twoim zadaniem jest dać mu plik obiektowy, który zawiera definicję funkcji, aby był szczęśliwy.

1) Nie wiem po co mi to do funkcji. Może ktoś inny może wkroczyć.

2) linker określa to przechodząc przez wszystkie pliki obiektowe i sprawdzając symbole wewnątrz KAŻDEGO pliku obiektowego. Zakładam, że w zależności od Twojego linkera, dokładna kolejność wyszukiwania może się różnić.

Dla ld GNU binutils wszystkie pliki i biblioteki obiektów, które pojawiają się w wierszu poleceń linkera po obiekcie zawierającym brakujący symbol, są przeszukiwane od lewej do prawej i od pierwszego znalezionego symbolu jest wybierany.

przykład 1:

• a . o -- używa foo (), bar ()
• liba -- provides bar ()
• libb -- dostarcza foo ()

$ > ld a. o-la-lb

Spowoduje przeszukiwanie a. o w poszukiwaniu niezdefiniowanych symboli. Następnie ld przejdzie przez libs od lewej do prawej, aby wyszukać te symbole i znajdzie bar w liba i foo w libb.

Może to prowadzić do dziwnych problemów z kołowymi zależnościami:

przykład 2:

• a . o -- uses bar ()
• liba -- dostarcza bar (), używa foo ()
• libb -- dostarcza foo (), używa bar ()

Teraz istnieje okrężna zależność między liba i libb i linkowanie się nie powiedzie:

$ > ld a. o-la-lb

Ponieważ podczas przeszukiwania niezdefiniowanych symboli w libb, ld stwierdzi, że nie ma innej lib po prawej stronie-lb, która dostarczy Ten symbol. Można to ustalić na co najmniej dwa sposoby:

1) link liba dwa razy: $ > ld a. o-la-lb-la

2) Użyj funkcji grupowania ld $ > ld a. o --start-group-la-lb --end-group

W przypadku 2), grupowanie nakazuje ld przeszukiwać wszystkie symbole we wszystkich bibliotekach należących do tej grupy.