Wird extern "C" nur zur Funktionsdeklaration benötigt?

Question

Ich schrieb eine C++ - Funktion, die ich aus einem C-Programm aufrufen muss. Um es von C abrufbar zu machen, spezifizierte ich extern "C" auf der Funktion Erklärung. Ich kompilierte dann den C++ Code, aber der Compiler (Dignus Systems/C++) erzeugte für die Funktion einen mangled name. Also, es offenbar nicht die extern "C".

Um dies zu beheben, fügte ich extern "C" zu der Funktion Definition. Danach erzeugte der Compiler einen Funktionsnamen, der von C aufrufbar ist.

Technisch muss der extern "C" nur in der Funktionsdeklaration angegeben werden. Ist das richtig? (Die C++ FAQ Lite hat ein gutes Beispiel dafür.) Sollten Sie es auch in der Funktionsdefinition angeben?

Hier ist ein Beispiel, dies zu demonstrieren:

/* ---------- */ 
/* "foo.h" */ 
/* ---------- */ 

#ifdef __cplusplus 
extern "C" { 
#endif 

/* Function declaration */ 
void foo(int); 

#ifdef __cplusplus 
} 
#endif 

/* ---------- */ 
/* "foo.cpp" */ 
/* ---------- */ 

#include "foo.h" 

/* Function definition */ 
extern "C"    // <---- Is this needed? 
void foo(int i) { 
    // do something... 
} 

Mein Problem das Ergebnis falsch Codierung etwas kann, oder ich kann einen Compiler Fehler gefunden haben. In jedem Fall wollte ich stackoverflow abfragen, um sicherzugehen, dass ich weiß, was technisch der "richtige" Weg ist.

Answer 1

Das 'extern "C"' sollte bei der Funktionsdefinition nicht benötigt werden, solange es in der Deklaration steht und bereits in der Definitionsdefinition zu sehen ist. Der Standard besagt ausdrücklich (7.5/5 Verbindungsspezifikationen):

Eine Funktion kann ohne Verbindungsspezifikation deklariert werden, nachdem eine explizite Verknüpfungsspezifikation gesehen wurde; Die in der früheren Deklaration explizit angegebene Verknüpfung ist von einer solchen Funktionsdeklaration nicht betroffen.

Allerdings habe ich im Allgemeinen setzen die ‚extern "C"‘ auf der Defintion als auch, weil es in der Tat eine Funktion mit extern „C“ Verknüpfung ist. Eine Menge Leute hassen, wenn unnötige, redundante Sachen auf Deklarationen sind (wie virtual bei Methodenüberschreibungen setzen), aber ich bin keiner von ihnen.

Answer 2

Es sollte um beide sein. Der Compiler muss wissen, dass er den C-Symbolnamen und die Aufrufkonventionen beim Kompilieren der Call-Sites verwendet (die nur eine Deklaration sehen können), und der Compiler muss auch den C-Symbolnamen generieren und beim Kompilieren die C-Aufrufkonventionen verwenden Funktionsdefinition selbst (die keine anderen Deklarationen sehen kann).

Nun, wenn Sie eine extern-C-Deklaration haben, die aus der Übersetzungseinheit, in der die Definition existiert, sichtbar ist, können Sie das externe-C von der Definition weglassen, aber ich nicht das sicher wissen.

Answer 3

Bearbeiten:
Scheint wie ich die Frage missverstanden hatte. Sowieso habe ich versucht:

// foo.cpp 
/* Function definition */ 

#include "foo.h" 

void foo(int i) { 
//do stuff 
} 
void test(int i) 
{ 
// do stuff 
} 

// foo.h 
#ifdef __cplusplus 
extern "C" { 
#endif 

/* Function declaration */ 
void foo(int); 

#ifdef __cplusplus 
} 
#endif 

void test(int); 

Befehl Mit nm die Symbole aus der kompilierte Datei anzuzeigen:

linuxuser$ nm foo.o 
00000006 T _Z4testi 
     U __gxx_personality_v0 
00000000 T foo 

Dies zeigt eindeutig, dass der Name der Funktion als extern „C“ deklariert nicht verstümmelt und Das externe Schlüsselwort "C" wird bei der Definition nicht benötigt.
Wäre es erforderlich, dass jeder C-Bibliothekscode, der ohne extern geschrieben wurde, "C" in C++ - Programmen unbrauchbar gewesen wäre.

Answer 4

Die extern "C" um die Definition ist nicht erforderlich. Sie können damit davonkommen, es einfach um die Deklaration herum zu legen. Ein Hinweis in Ihrem Beispiel ...

#ifdef __cplusplus 
extern "C" { 
#endif 

/* Function declaration */ 
void foo(int); 

#ifdef __cplusplus 
} 
#endif 

Ihr Code wird für den Präprozessormakro "__cplusplus" suchen.

Obwohl es häufig implementiert wird, kann dies abhängig von Ihrem Compiler definiert sein oder nicht. In Ihrem Beispiel verwenden Sie auch extern "C" um die Deklaration, aber dort sind nicht Überprüfung für die "__cplusplus" Makro, weshalb ich vermute, es funktioniert, sobald Sie das getan haben.

^{die Kommentare Siehe unten - Standard C++ erfordert die __cplusplus Makro durch den Präprozessor definiert werden.}

Answer 5

Gerade diese Situation angetroffen ... Keine angenehme Erfahrung.

Die folgende in einem meiner c Dateien deklariert wurde:

void unused_isr(void) {} 
void ADC_IRQHandler(void)  __attribute__ ((weak, alias("unused_isr"))); 

Next irgendwo in einer cpp Datei I definiert:

void ADC_IRQHandler(void) {                     
    ... 
} 

Und ich vergaß, um die Vorwärts-Erklärung zu ändern:

void ADC_IRQHandler(void); 

Es dauerte eine Weile, bis ich herausgefunden habe Ich habe alles richtig gemacht in Bezug auf die AD-Konvertierung, aber ich habe es versäumt, der Definition "extern C" hinzuzufügen!

extern "C" void ADC_IRQHandler(void) {                     
    ... 
} 

Nur meine zwei Cents, warum es unter bestimmten Umständen nützlich sein könnte, die Gewohnheit zu haben, um es in die Definition als auch hinzuzufügen.

Answer 6

Ich denke, das muss hier geklärt werden, da ich gerade ein ähnliches Problem hatte und es eine Weile gedauert hat, dies in meinem Kopf klar zu machen, nur Brooks Moses hat das richtig angesprochen, und ich denke, es muss gesagt werden klarer ...

Zusammenfassend kann der Header Sie wegwerfen, alles, was der Compiler sieht, ist die cpp-Datei und wenn der Header nicht mit dem externen "C" zurück in Ihr cpp enthalten ist (was ich häufig sehe), dann muss das externe "C" irgendwo in der cpp-Datei sein (entweder in der Definition oder einer anderen Deklaration), damit der CXX-Compiler es mit C-Verknüpfung machen kann, der Compiler kümmert sich nicht um den Header, nur den Linker .