wie boost :: function und boost :: bind funktionieren

Mag ich nicht mit magic Boxen verstreut über meinen code...wie genau diese beiden Klassen arbeiten zu ermöglichen, grundsätzlich eine beliebige Funktion zugeordnet werden, um ein function-Objekt, auch wenn die Funktion<> hat eine ganz andere parameter die man im Vorbeigehen zu boost::bind

Es funktioniert sogar mit unterschiedlichen Aufrufkonventionen (d.h. member-Methoden sind __thiscall unter VC, aber "normale" Funktionen sind in der Regel __cdecl oder __stdcall für diejenigen, die brauchen, um kompatibel zu sein mit C.

InformationsquelleAutor der Frage Fire Lancer | 2009-02-09

  1. 94

    boost::function erlaubt alles mit einer operator() mit der richtigen Unterschrift gebunden zu sein, wie die parameter und das Ergebnis Ihrer binden können, werden mit einem parameter aufgerufen intso kann es gebunden werden, um function<void(int)>.

    Dies ist, wie es funktioniert (diese Beschreibung gilt gleichermaßen für std::function):

    boost::bind(&klass::member, instance, 0, _1) gibt ein Objekt wie dieses

    struct unspecified_type
{
  ... some members ...
  return_type operator()(int i) const { return instance->*&klass::member(0, i);
}

    wo die return_type und int abgeleitet sind, von der Unterschrift der klass::memberund die Funktion, die Zeiger und gebundene parameter sind in der Tat im Objekt gespeichert ist, aber das ist nicht wichtig

    Nun boost::function nicht jede Art der überprüfung: Es wird jedes Objekt und jede Signatur, die Sie in Ihrem template-parameter, und erstellen ein Objekt, das callable nach Ihrer Unterschrift und der des Objektes aufruft. Wenn das unmöglich ist, es zu einem Kompilierfehler.

    boost::function ist eigentlich ein Objekt wie dieses:

    template <class Sig>
class function
{
  function_impl<Sig>* f;
public:
  return_type operator()(argument_type arg0) const { return (*f)(arg0); }
};

    wo die return_type und argument_type sind entnommen aus Sigund f dynamisch auf dem heap zugeordnet. Das ist notwendig, damit die völlig unabhängig von Objekten mit unterschiedlichen Größen binden boost::function.

    function_impl ist nur eine abstrakte Klasse

    template <class Sig>
class function_impl
{
public:
  virtual return_type operator()(argument_type arg0) const=0;
};

    Die Klasse, die alle die Arbeit, ist eine konkrete Klasse abgeleitet boost::function. Es ist für jeden Typ von Objekt, das Sie zuweisen boost::function

    template <class Sig, class Object>
class function_impl_concrete : public function_impl<Sig>
{
  Object o
public:
  virtual return_type operator()(argument_type arg0) const=0 { return o(arg0); }
};

    Das bedeutet in Ihrem Fall, die Zuordnung zu boost-Funktion:

    1. erzeugt eine Art function_impl_concrete<void(int), unspecified_type> (das ist der Kompilierung, natürlich)
    2. erstellt ein neues Objekt dieses Typs auf dem heap
    3. weist dieses Objekt auf die f-Mitglied von boost::function

    Beim Aufruf der Funktion Objekt, ruft die virtuelle Funktion, deren Implementierung-Objekts, die direkt den Aufruf an Ihre ursprüngliche Funktion.

    DISCLAIMER: Beachten Sie, dass die Bezeichnungen in dieser Erklärung sind bewusst aus. Jede ähnlichkeit mit realen Personen oder Figuren ... Sie wissen es. Ziel war die Veranschaulichung der Prinzipien.

    InformationsquelleAutor der Antwort jpalecek

Schreibe einen Kommentar