Wie verhalten sich Standardargumente in virtuellen Funktionen in C?

Standardargumentverhalten virtueller Funktionen

In C stellen virtuelle Funktionen einen Mechanismus für Polymorphismus bereit. Das Verhalten von Standardargumenten in virtuellen Funktionen kann jedoch verwirrend sein.

Bedenken Sie den folgenden Code:

class B {
public:
    B() {}
    virtual void print(int data = 10) {
        cout << endl << "B--data=" << data;
    }
};

class D : public B {
public:
    D() {}
    void print(int data = 20) {
        cout << endl << "D--data=" << data;
    }
};

int main() {
    B *bp = new D();
    bp->print();
    return 0;
}

Wenn Sie diesen Code ausführen, können Sie die Ausgabe wie folgt erwarten:

D--data=20

Die tatsächliche Ausgabe ist jedoch:

D--data=10

Erklärung:

Der Grund für dieses unerwartete Verhalten liegt im C-Standard (8.3 .6.10), die besagt, dass ein virtueller Funktionsaufruf die Standardargumente in der Deklaration der virtuellen Funktion verwendet, die durch den statischen Typ des Zeigers oder der Referenz bestimmt werden, die das Objekt bezeichnen. Da Sie in diesem Fall print() über einen Zeiger vom Typ B (d. h. bp) aufrufen, wird das Standardargument von B::print() verwendet, auch wenn die überschriebene Funktion in der abgeleiteten Klasse D einen anderen Standard hat Argument.

Daher werden beim Aufrufen einer virtuellen Funktion über einen Basisklassenzeiger oder eine Referenz die Standardargumente der Basisklassenfunktion und nicht der überschriebenen Funktion angewendet. Es ist wichtig, dieses Verhalten zu verstehen, um Verwirrung oder unerwartete Ergebnisse beim Arbeiten mit virtuellen Funktionen und Standardargumenten zu vermeiden.

Das obige ist der detaillierte Inhalt vonWie verhalten sich Standardargumente in virtuellen Funktionen in C?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!