🚀 go-pugleaf

Am 6. Jan. 1996 schrieb Claus Faerber (claus@faerber.muc.de):

> Karl-Heinz Krause <Krause@t-online.de> schrieb zu
> Re: Funktionszeiger auf Klassenmethoden
> >
> > class X {
> >     int x;
> >   public:
> >     X(int i): x(i) {}
> >     int method() { return x; }
> > };
> >
> > main()
> > {
> >     X a(1), b(2);
> >     int (*fptr)();
> >
> >     fptr = a.method;  // geht leider nicht in  C++ !
> >
> >     int c = fptr();   // entspricht einem Aufruf a.method()
> > }
> 
> Was ist damit:?

> // class X wie oben

> struct Xmethod {
>         X* object;
>         int (X::*method)();
> }

> main()
> {
>         X a(1), b(2);
>         Xmethod fptr = { a, &X::method };
>         //...
>         int c = (fptr.object)->*(fptr.method) ();
> }

Das ist keine Lösung des Problems. Sicher, hier in diesem Beispiel
funktioniert es. Es ging mir aber vor allem um folgenden Fall: Gegeben
sei eine Systemfunktion SyFu, die als Parameter einen Funktionszeiger
erwartet.

	void SyFu (int(*fptr)());

Die übergebene Funktion wird dann vom Betriebssystem bei Eintreten
bestimmter Ereignisse aufgerufen. Sowas kommt bei GUI-Programmierung
häufig vor, ebenso bei Netzwerkprogrammierung; überhaupt immer dann,
wenn auf asynchrone Ereignisse reagiert werden soll.

Ich will jetzt an SyFu eine Funktion übergeben, die die Methode "method"
für das bestimmte X-Objekt "a" aufruft. Wenn gebundene Methoden
existieren würden, wäre das einfach:

	SyFu (a.method);

Aber das geht in C++ nicht. Xmethod kann ich natürlich auch nicht
benutzen, denn SyFu erwartet einen Funktionszeiger und kein
Xmethod-Objekt. Was man also braucht ist sowas ähnliches wie ein
Xmethod-Objekt, das sich aber auch wie eine Funktion verhält.

In der Praxis benutzt man dazu folgenden Trick: Man setzt an den Anfang
eines Xmethod-Objekts einige zusätzliche Bytes, die im wesentlichen die
Maschinencodes für einen Funktionsaufruf enthalten. Dadurch wird
erreicht, daß die Adresse eines Xmethod-Objekts auch als Adresse einer
Funktion betrachtet werden kann, die beim Aufruf gerade das Gewünschte
macht, nämlich

	(fptr.object)->*(fptr.method)



Karl-Heinz Krause