Darstellen eines Funktionszeigers auf einen anderen Typ

So weit wie der C-standard ist besorgt, wenn Sie die Umwandlung eine Funktion Zeiger auf eine Funktion Zeiger eines anderen Typs, und rufen Sie dann, dass es Undefiniertes Verhalten. Siehe Anhang J. 2 (informativ):

Ist das Verhalten undefiniert in den folgenden Fällen:

• Ein pointer wird verwendet, um eine Funktion aufzurufen, deren Typ nicht kompatibel ist mit dem Spitzen-zu
  Typ (6.3.2.3).

Abschnitt 6.3.2.3, Absatz 8 lautet:

Einen Zeiger auf eine Funktion von einem Typ umgewandelt werden kann, um einen Zeiger auf eine Funktion eines anderen
Typ und wieder zurück; das Ergebnis ist zu vergleichen, in der Höhe des ursprünglichen Zeiger. Wenn einer konvertiert
Zeiger wird verwendet, um eine Funktion aufzurufen, deren Typ nicht kompatibel ist mit der Spitzen-Typ,
das Verhalten ist undefiniert.

So, in anderen Worten, Sie können die cast-Funktion-Zeiger auf eine andere Funktion Zeiger Typ, cast es wieder, und nennen Sie es, und die Dinge funktionieren.

Die definition von kompatibel ist etwas kompliziert. Es finden sich in Abschnitt 6.7.5.3, Absatz 15:

Für zwei Funktionstypen kompatibel zu sein, beides soll angeben, kompatibel Rückgabetypen¹²⁷.

Außerdem der parameter-Typ-Listen, wenn beide vorhanden sind, verpflichten sich die Zahl der
die Parameter und die Verwendung der Ellipse-terminator; die entsprechenden Parameter haben soll
kompatible Typen. Wenn ein Typ hat ein parameter Typ Liste und die andere Art wird durch ein
Funktion gegen die Feststellung, dass ist nicht Teil der definition einer Funktion ist, und enthält eine leere
id-Liste, der Liste der parameter wird nicht als eine Ellipse terminator und die Art der einzelnen
parameter sind kompatibel mit dem Typ, dass die Ergebnisse aus der Anwendung der
default argument promotions. Wenn ein Typ hat ein parameter Typ Liste, und der andere Typ ist
spezifiziert durch die definition einer Funktion, die enthält eine (möglicherweise leere) Kennung der Liste, beide sind
Stimmen in der Anzahl der Parameter und der Typ der einzelnen Prototyp-parameter sind
kompatibel mit der Art, dass die Ergebnisse aus der Anwendung des Standard-argument
Aktionen, um den Typ der entsprechenden Kennung. (In der Bestimmung von Art
Kompatibilität und ein composite-Typ, werden die einzelnen parameter erklärt, mit Funktion oder array
Typ genommen wird, mit der eingestellten Art und jeder parameter erklärt werden, der mit Qualifizierter Art
genommen wird, wie mit der uneingeschränkten version der deklarierte Typ.)

127), Wenn beide Funktionstypen sind im "alten Stil", parameter-Typen sind nicht vergleichbar.

Die Regeln für die Bestimmung, ob zwei Datentypen kompatibel sind, sind beschrieben in Abschnitt 6.2.7, und ich will nicht diese hier zitieren, da Sie ziemlich langwierig, aber Sie können, Lesen Sie auf den draft des C99-standard (PDF).

Die entsprechende Regel ist hier der in Abschnitt 6.7.5.1, Absatz 2:

Für zwei Zeiger-Typen kompatibel sein, beide sind gleich qualifiziert und beide sind Zeiger auf kompatible Typen.

Daher, da ein void* ist nicht kompatibel mit einem struct my_struct*einen Funktionszeiger vom Typ void (*)(void*) ist nicht kompatibel mit einem Funktionszeiger vom Typ void (*)(struct my_struct*)also das casting von Funktionszeigern ist technisch nicht definiertes Verhalten.

In der Praxis, obwohl, können Sie sicher Weg mit casting von Funktionszeigern in einigen Fällen. In der x86-Aufrufkonventionen die Argumente werden auf den stack geschoben, und alle Zeiger die gleiche Größe (4 bytes in x86 oder 8 Byte x86_64). Aufrufen einer Funktion Zeiger darauf zu drängen, die Argumente auf dem stack und ein Indirekter Sprung zu den Funktionszeiger Ziel, und es gibt offensichtlich keine Ahnung von Typen auf der Maschinencode-Ebene.

Dinge, die Sie definitiv nicht tun:

• Cast zwischen Funktionszeiger verschiedene Aufrufkonventionen. Sie versauen den stack und am besten, Absturz, im schlimmsten Fall gelingt schweigend mit einem riesigen klaffenden Sicherheitslücke. In der Windows-Programmierung oft passieren, Funktion Zeiger rund. Win32 erwartet, dass alle callback-Funktionen zu verwenden, die stdcall Aufruf-Konvention (die die Makros CALLBACKPASCALund WINAPI alle erweitern). Wenn du an eine Funktion Zeiger, der benutzt die standard C Aufrufkonvention (cdecl), Schlechtigkeit führen.
• In C++ cast zwischen Klasse member-Funktion-Zeiger und reguläre Funktion Zeiger. Das oft Reisen-C++ - Neulinge. Klasse member-Funktionen haben eine versteckte this parameter, und wenn Sie die Umwandlung eine member-Funktion ist eine normale Funktion, es gibt keine this - Objekt zu verwenden, und wieder, viel Schlechtigkeit führen.

Anderen schlechte Idee, die vielleicht manchmal funktionieren, aber auch zu undefiniertem Verhalten:

• Casting zwischen Funktionszeiger und regelmäßige Hinweise (z.B. Umwandlung von einer void (*)(void) zu einem void*). Funktionszeiger sind nicht unbedingt die gleiche Größe wie die regelmäßige Zeiger, da auf manchen Architekturen, die Sie möglicherweise enthalten, die zusätzliche Kontext-Informationen. Dies wird wahrscheinlich funktionieren, ok auf x86, aber denken Sie daran, dass es zu undefiniertem Verhalten.

InformationsquelleAutor der Antwort Adam Rosenfield

Den Punkt wirklich nicht, ob Sie kann. Die triviale Lösung ist

void my_callback_function(struct my_struct* arg);
void my_callback_helper(void* pv)
{
    my_callback_function((struct my_struct*)pv);
}
do_stuff(&my_callback_helper);

Einen guten compiler nur code generieren für my_callback_helper, wenn es wirklich nötig ist, in dem Fall wären Sie froh, es getan haben.

InformationsquelleAutor der Antwort MSalters

Als C-code kompiliert Instruktion, die kümmern sich nicht überhaupt über die Zeiger-Typen, ist es Recht gut, den code zu verwenden, die Sie erwähnen. Du würdest Probleme bekommen, wenn Sie ausführen würden, do_stuff mit der callback-Funktion und Zeiger auf etwas anderes dann my_struct Struktur als argument.

Ich hoffe, ich kann deutlicher machen, indem Sie zeigen, was nicht funktionieren würde:

int my_number = 14;
do_stuff((void (*)(void*)) &my_callback_function, &my_number);
//my_callback_function will try to access int as struct my_struct
//and go nuts

... oder

void another_callback_function(struct my_struct* arg, int arg2) { something }
do_stuff((void (*)(void*)) &another_callback_function, NULL);
//another_callback_function will look for non-existing second argument
//on the stack and go nuts

Grundsätzlich können Sie zum cast von Zeigern auf das, was du willst, solange die Daten weiterhin sinnvoll zur Laufzeit.

InformationsquelleAutor der Antwort che

Void-Pointer sind kompatibel mit anderen Typen der Zeiger. Es ist das Rückgrat, wie malloc und die mem-Funktionen (memcpymemcmp) arbeiten. In der Regel in C (statt C++) NULL ist ein makro definiert als ((void *)0).

Blick auf 6.3.2.3 (Element 1) in C99:

Einen Zeiger auf void umgewandelt werden kann, oder aus einem Zeiger auf eine unvollständige oder Objekt-Typ

InformationsquelleAutor der Antwort xslogic