Eine virtuelle Funktion über einen Funktionszeiger statisch aufrufen

Question

Bitte beachten Sie den folgenden Code.

#include <iostream> 
#include <memory> 

struct A { 
    A() {} 
    virtual void f() { 
    std::cout << "A::f" << std::endl; 
    } 
private: 
    A(const A&); 
}; 

struct B : public A { 
    virtual void f() { 
    std::cout << "B::f" << std::endl; 
    call(&A::f); 
    } 
private: 
    void call(void (A::*aMethod)()) { 
    // ... 
    (static_cast<A&>(*this).*aMethod)(); 
    //(static_cast<A>(*this).*aMethod)(); -> not allowed to copy! 
    // ... 
    } 
}; 

void main() { 
    std::auto_ptr<B> b (new B); 
    b->f(); 
} 

Dieser Code rekursiv ruft die gleichen B::f Verfahren, bis es aus Stapel läuft, während ich die call Methode möchte A::f zu nennen. Das heißt, es sollte es statisch nennen, wie es normalerweise geschehen hätte, würde ich einfach geschrieben:

struct B : public A { 
    virtual void f() { 
    std::cout << "B::f" << std::endl; 
    // ... 
    A::f(); 
    // ... 
    } 
}; 

Der Grund, warum ich die call Methode haben will, ist einigen Code vor und nach dem ‚statischen Aufruf‘ Faktor, der gemeinsam ist zu mehreren Methoden mit der gleichen Signatur wie f ...

Wie kann ich eine virtuelle Funktion statisch aufrufen, die zur Laufzeit entschieden wird?

Answer 1

Das wird erwartet. Der Objektausdruck ist eine Referenz auf die Basisklasse A und daher wird der virtuelle Funktionsmechanismus (dynamische Bindung) ausgelöst, da A :: f virtuell ist.

Nur der Operator :: kann den Mechanismus für virtuelle Funktionsaufrufe unterstützen.

$ 10,3/12- "Explicit Qualifikation mit dem Umfang Operator (5.1) unterdrückt den virtuellen Call-Mechanismus."

Answer 2

Ihre Überschreibung ist gelöst, wenn Sie den Zeiger nehmen, also was Sie hier wollen, ist nicht so leicht möglich. Das Beste, was Sie tun können, ist ein Wrapper, der Ihre Funktion aufruft - entweder eine externe oder eine nicht-virtuelle Funktion, die Ihre Funktion aufruft. Wenn Sie C++ 0x-Features haben, könnten Sie ein Lambda verwenden, das die sauberste Lösung IMO ist.

Vielleicht möchten Sie die Art und Weise, wie Sie Pre-/Post-Funktionen ausführen, noch einmal überdenken, um Ihr Problem anzugehen: Sie können durch Überladen des Operators "->" implementiert werden.