Pourquoi l'argument par défaut d'une fonction virtuelle utilise-t-il la valeur de la classe de base au lieu de celle de la classe dérivée ?

Comprendre le comportement des arguments par défaut des fonctions virtuelles

En C, les fonctions virtuelles permettent aux classes dérivées de remplacer les implémentations des fonctions définies dans les classes de base. Cependant, le comportement des arguments par défaut pour les fonctions virtuelles peut prêter à confusion.

Description du problème :

Considérez l'extrait de code suivant :

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;
}

Résultat attendu :

[ D--data=20 ]

Sortie réelle :

[ D--data=10 ]

Explication :

Selon la norme C (8.3.6.10), lors de l'appel d'une fonction virtuelle via un pointeur ou une référence, les arguments par défaut sont dérivés de le type statique du pointeur ou de la référence, pas la fonction de substitution de la classe dérivée.

Dans ce cas, bp est un pointeur de type B, donc l'argument par défaut de B::print (qui est 10) est utilisé , remplaçant l'argument par défaut de D::print (qui est 20).

Par conséquent, la sortie est D--data=10 au lieu de la valeur attendue D--données=20.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!