Mitglied Funktionszeiger von vorne deklarierten Klasse

Question

Der Header common.h uns auf eine Klasse deklariert Test und eine Funktion ein Mitglied Funktionszeiger Empfang:

class Test; 

void func(const Test &t, int (Test::*f)() const, int x, int y); 

in der Quelldatei target.cpp definiere ich die Funktion, so dass

#include "common.h" 

void func(const Test &t, int (Test::*f)() const, int x, int y) { 
    std::cout << "f: " << (t.*f)() << ", x: " << x << ", y: " << y << std::endl; 
} 

In meiner Hauptdatei definiere ich die Klasse Test und verwenden Sie die Funktion func:

class Test { 
public: 
    int example() const { return 1; } 
}; 

#include "common.h" 

int main() { 
    Test t; 
    func(t, &Test::example, 0xaaaaaaaa, 0xbbbbbbbb); 
    return 0; 
} 

Offensichtlich ist dies ein wenig stinkend, da Zeiger auf Elementfunktionen manchmal mehr als ein einfacher Zeiger sind. Aber das resultierende Verhalten ist ein wenig überwältigend: Die angegebenen Parameter 0xaaaaaaaa und 0xbbbbbbbb werden nicht korrekt an die Funktion übergeben. Genauer gesagt interpretiert die Funktion func den gegebenen Stapel anders als die Daten, die der Aufrufer auf den Stapel geschoben hat. Die Größe f hängt davon ab, ob die Klasse nur vorwärts deklariert oder tatsächlich definiert ist. Die Ausgabe mit Visual Studio erstellt 2013:

f: 1, x: 0, y: 2130567168 

Ich dachte, wenn eine Vorwärts-Erklärung ausreicht, ist es wirklich spielt keine Rolle, ob eine Definition gibt es gegeben ist oder nicht.

Answer 1

Standardmäßig bevorzugt MSVC Geschwindigkeit über die Richtigkeit mit Zeigern zu Mitglied. Sie können es zwingen, gemäß dem Standard zu arbeiten, indem Sie das Compiler-Flag /vmg übergeben.