Wie kann man einen Funktionszeiger übergeben, der auf einen Konstruktor zeigt?

Question

Ich arbeite an der Implementierung eines Reflexionsmechanismus in C++. Alle Objekte in meinem Code sind eine Unterklasse von Object (mein eigener generischer Typ), die ein statisches Mitgliedsdatenelement vom Typ Class enthalten.

class Class{
public:
   Class(const std::string &n, Object *(*c)());
protected:
   std::string name;     // Name for subclass
   Object *(*create)();  // Pointer to creation function for subclass
};

Für jede Unterklasse von Object mit einem statischen Class-Member-Datum möchte ich in der Lage sein, 'create' mit einem Zeiger auf den Konstruktor dieser Unterklasse zu initialisieren.

Answer 1

Sie können keine regulären Funktionszeiger auf Methoden verwenden, Sie müssen Methodenzeiger verwenden, die eine seltsame Syntax haben:

void (MyClass::*method_ptr)(int x, int y);
method_ptr = &MyClass::MyMethod;

Dadurch erhalten Sie einen Methodenzeiger auf die Methode von MyClass - MyMethod. Dies ist jedoch kein echter Zeiger, da es sich nicht um eine absolute Speicheradresse handelt, sondern um einen Offset (der aufgrund der virtuellen Vererbung komplizierter ist, aber das ist implementierungsspezifisch) in einer Klasse. Um den Methodenzeiger zu verwenden, müssen Sie ihn also mit einer Klasse übermitteln, etwa so:

MyClass myclass;
myclass.*method_ptr(x, y);

または

MyClass *myclass = new MyClass;
myclass->*method_ptr(x, y);

Natürlich sollte an dieser Stelle klar sein, dass man einen Methodenzeiger nicht verwenden kann, um auf einen Objektkonstruktor zu zeigen. Um einen Methodenzeiger zu verwenden, müssen Sie eine Instanz der Klasse haben, so dass ihr Konstruktor bereits aufgerufen wurde! In Ihrem Fall ist Michaels Vorschlag der Object Factory also wahrscheinlich die beste Lösung.

Answer 2

Mit Qt können Sie einen Konstruktor mit Qt-Reflection-Mechanismen (QMetaObject) aufrufen, wenn Sie den Konstruktor als Q_INVOKABLE deklarieren (mehr ist nicht zu tun).

class MyClass : public QObject {
   Q_OBJECT
public:
   Q_INVOKABLE MyClass(int foo);
   MyClass *cloningMySelf() {
     return metaObject()->newInstance(Q_ARG(int, 42));
   }
};

Ich bin mir nicht sicher, ob Sie Qt nur wegen dieser Funktion einbinden wollen ;-), aber vielleicht möchten Sie einen Blick darauf werfen, wie es das tut.

http://doc.qt.io/qt-5/metaobjects.html#meta-object-system