Warum wird C++11 keine Unterstützung für die Deklaration extern "C" auf eine statische member-Funktion?

Dies ist ein besonders verwirrendes Thema zu waten in. Let ' s Angriff §7.5 "Verknüpfung Spezifikationen" [dcl.link].

1) Alle Funktion, Typen -, Funktions-Namen mit der externen Verknüpfung, und Variablennamen mit externe Bindung haben eine Sprache Verknüpfung.

Beachten Sie, dass die Eigenschaft von Sprache, die Verknüpfung gilt für zwei völlig verschiedene Arten von Entitäten: Arten und Namen.

Eine Funktion hat, eine allgemein unsichtbar bit der Informationen, die in Ihrer Art identifiziert, die die ABI-es passt sich an an: C Aufrufkonventionen Pascal, Fortran, könnte angegeben werden, um die stack in unterschiedlicher Weise, so ruft Sie über einen Zeiger muss man wissen, das unsichtbare der Sprache-zu-tag -.

Den Namen eine variable oder eine Funktion aus einer anderen Sprache zugegriffen werden kann syntaktisch durch C++ - oder aus der anderen Sprache bezieht sich auf eine C++ - Deklaration. Aber nicht jede Sprache können match mit C++'s naming scheme und OO-Modell. Also Schnittstellen, die in diesem Schema nicht enthalten Klassen.

Weil diese Dinge getrennt verwaltet werden, ist es möglich, etwas zu haben, mit Verschieden Gestänge in seiner Art (calling conventions) und seinen Namen (linker-symbol).

4) Verknüpfung Spezifikationen nest. Bei der Verknüpfung Spezifikationen nest, das innerste bestimmt die Sprache
- Gestänge. Eine Verknüpfung Spezifikation begründen keine Rahmen. Ein linkage-Spezifikation erfolgen nur im namespace-Gültigkeitsbereich (3.3). In einem linkage-Spezifikation, der angegebenen Sprache, die Verknüpfung gilt für die Funktion alle Arten von Funktion declarators, Funktionsnamen mit externen Verknüpfung, und die Namen der Variablen mit externer Bindung deklariert innerhalb der linkage-Spezifikation. Eine C-Sprache Verknüpfung ignoriert wird bei der Bestimmung der Sprache Verknüpfung mit den Namen der Schüler und die Funktion, die Art der Klasse member-Funktionen.

Den extern "C" {} wirkt sich auf alle Funktions-Deklarationen, einschließlich Zeiger und Referenzen, außer member-Funktionen. Da eine Funktion nur definiert werden, die in einem namespace oder als Mitglied von C-Funktionen kann nur definiert werden im namespace-Gültigkeitsbereich.

Die Norm gibt hier ein Beispiel:

extern "C" typedef void FUNC_c();

class C {
   //the name of the function mf1 and the member 
   //function’s type have C++ language linkage; the 
   //parameter has type pointer to C function
   void mf1(FUNC_c*);

   //the name of the function mf2 and the member
   //function’s type have C++ language linkage
   FUNC_c mf2;

   //the name of the data member q has C++ language
   //linkage and the data member’s type is pointer to
   //C function
   static FUNC_c* q;
};

Können Sie emulieren das Verhalten, das Sie wollen mit einer typedef, obwohl. Von einem anderen Beispiel die in §7.5/4,

extern "C" typedef void FUNC();

//the name f2 has C++ language linkage and the 
//function’s type has C language linkage
FUNC f2;

Kombiniert man diese Beispiele mit Ihnen, können Sie haben

extern "C" typedef void callback_t();

callback_t A_callback; //declare function with C++ name and C type

struct A
{
    static callback_t &callback; //not a member function
};

//in source file:

//definition matches semantics of declaration, although not syntax
void A_callback() { ... }

//define static member reference
callback_t &A::callback = A_callback;

g(A::callback); //call syntax is emulated

In der Praxis selten einen Unterschied macht. C und C++ kompatible Aufrufkonventionen auf den meisten Plattformen (siehe Jonathan Wakely ' s Kommentare auf dieser Seite, für die Ausnahmen), solange Sie nicht versuchen, pass oder return ein nicht-POD C++ - Klasse geben. Dies ist eine weniger-umgesetzt feature von C++, aufgrund der verwirrenden überlastung der Begriffe und begrifflichen Unterscheidungen reicht von subtil bis akademisch.