C++ - passing-Methode pointer als template-argument

In diesem Punkt habe ich festgestellt, dass Sie eine API, die eine Funktion und einen Zeiger, und Sie brauchen, um zu liefern, es zu tun. Ich gehe davon aus, dass Sie immer die Versorgung ist es Ein a* Zeiger?

Wenn es ist ein sehr allgemeiner Rückruf, sondern muss eine Funktion (kann nicht sein, boost::function) und muss ein Zeiger (möglicherweise void*), dann benötigen Sie eine Funktion, die ein bisschen wie diese:

struct GenericHolder
{
   boost::function0<void> func;
};

void GenericCallback( void * p )
{
   GenericHolder * holder = static_cast< GenericHolder * >(p);
   holder->func();
   delete holder;
}

So, in diesem Fall bin ich der Aufruf von delete auf der call Zeit, also muss ich davon ausgehen, nennen wir neu bei aufrufen Zeit, also, wenn Sie, erstellen Sie den Mauszeiger auf die Ihr Anruf ist gemacht. Natürlich könnte es nicht sein, dass dein Zeiger übergeben Sie gelöscht wird beim ersten Aufruf, so zu verwalten, die Lebensdauer entsprechend.

Wenn Sie sind in der Kontrolle der "anderen Seite" dann tun Sie das nicht durch design, sondern lassen Sie die Seite, halten Sie die boost::function und rufen Sie es.

Memory management kann noch ein Problem, die Sie brauchen zu kümmern. Zum Beispiel, wenn Sie anrufen, boost::bind es legt Dinge in eine Struktur, die hinter den kulissen für Sie. Wenn diese Hinweise, die Sie zugewiesen mit neuen zu löschen, muss man Sie irgendwann. Wenn Sie Referenzen Sie müssen noch gültig sein, am point-of-call. Zeiger auf lokale Variablen kann auch ein problem sein. shared_ptrs sind ideal, natürlich. Und das bug-tracking um die boost::bind Fehler ist sehr sehr schwer zu finden, wenn Sie mit diesem Konzept eine Menge.

Es sieht aus wie Sie versuchen, zu implementieren eine Schnittstelle, über die Vorlagen. Es könnte möglich sein, aber wäre es nicht schöner, wenn eine Basisklasse eine virtuelle Funktion, und verwenden Sie eine Basisklasse Zeiger zum Zugriff auf die virtuelle Funktion über einen einfachen Funktionsaufruf?

Header:

class AbstractBase
{
public:
    virtual void func() = 0;
}
class SubClass : public AbstractBase
{
public:
    void func();
}

Quelldatei:

void SubClass::func()
{
    std::cout << "Virtual function called.\n";
}

Beispiel:

int main()
{
    AbstractBase* base;
    base = new SubClass();
    base->func(); //virtual function call through base pointer will use SubClass's implementation
    return 0;
}

Können Sie speichern einen Vektor von Zeigern (oder smart-Pointer, wenn Sie die Verwendung von boost und C++0x), die Sie Durchlaufen, und verwenden Sie diese um alle Arten von Unterklasse abhängige Sachen.

Nutzen Sie alternativ boost::function oder std::function (C++0x), die ein Objekt mit der member-Funktion in Frage, und übergeben, die als template-parameter, mit dem Objekt-Instanz, die als erstes argument. Das kommt darauf an, eine Abhilfe der oben genannten.

UPDATE: Sehen Sie, Sie brauchen eine einfache C-Funktion Zeiger, gibt es einige tricks, die vielleicht imapct runtime-performance im c++0x oder-boost: bind, function::target und so weiter...

Müssen Sie dies, um eine Funktion Zeiger aus einem std/boost::function, und diese binden das erste argument ein Objekt. bind Handlungen zur Laufzeit, also vielleicht eine Vorlage wäre in diesem Fall besser...

Was ist, wenn 2 Methoden haben genau die gleiche Signatur ?

Die Vorlage nicht unterscheiden kann, auf die er (Sie wählt auf die Art, nicht Wert) und damit der gleichen generierten template-Funktion ruft die erste Methode oder die zweite wäre, setzen Sie Ihre hand auf ihn ?

Können Sie nutzen einige tricks, um einen anderen Typ zur compile-Zeit, mit der __LINE__ makro, aber es geht Misch-makro mit dem aktuellen code, wird es schwer zu Folgen.
Dieser code:

template<typename T, void (T::*method)(), int>
void CallMethod(T *) { ... }
#define MakeCallMethod(X, Y) &CallMethod<X, X::&Y, __LINE__>

//This will work (it does not without the __LINE__ trick, ptr1 == ptr2 in that case)
typedef void (*ptrFunc)(A *);
ptrFunc ptr1 = MakeCallMethod(A, method);
ptrFunc ptr2 = MakeCallMethod(A, otherMethodWithSameSignature);

Assert(ptr1 != ptr2);

Aber Sie werden nicht in der Lage zu speichern, die Zeiger auf eine Methode in einer Variablen und eine "auto-wrapper" aus. Es ist jetzt die Laufzeit, benötigen Sie eine runtime-Lösung für dieses.