Wie hoch sind die Kosten für den Aufruf einer virtuellen Funktion auf nicht-polymorphe Weise?

Ich habe eine reine abstrakte Basis und zwei abgeleitete Klassen:

Ist das Aufrufen von foo in Punkt A genauso teuer wie der Aufruf einer nicht virtuellen Memberfunktion? Oder ist es teurer als wenn D1 und D2 nicht von B abgeleitet wären?

Antwort: Die Antwort von Andy Prowl ist die richtige Antwort, ich wollte nur die Assembly-Ausgabe von gcc hinzufügen (getestet in godbolt : gcc-4.7 -O2 -march = nativ -std = c ++ 11). Die Kosten der direkten Funktionsaufrufe sind:

Und für die polymorphen Aufrufe:

Wenn die Objekte jedoch nicht von B abgeleitet sind und Sie nur den direkten Aufruf ausführen, wird gcc inline die Funktion aufrufen:

Dies könnte weitere Optimierungen ermöglichen, wenn D1 und D2 nicht von B herrühren, also denke ich, dass no, sie sind nicht äquivalent (at zumindest für diese Version von gcc mit diesen Optimierungen erzeugte -O3 eine ähnliche Ausgabe ohne Inlining. Gibt es etwas, das die Einbindung des Compilers verhindert, wenn D1 und D2 von B abgeleitet werden?

"Fix": Verwenden Sie Delegaten (auch virtuelle Funktionen neu implementiert):

und dann einen Vektor von Delegierten erstellen:

Dies ermöglicht Inlining, wenn Sie auf die Methoden nicht-polymorph zugreifen. Ich schätze jedoch, dass der Zugriff auf den Vektor langsamer ist (oder zumindest so schnell, weil std::function virtuelle Funktionen zum Löschen von Typen verwendet) als nur virtuelle Funktionen zu verwenden (kann noch nicht mit godbolt testen).