Quand les fonctions virtuelles C peuvent-elles avoir des types de retour covariants ?

Types de retour covariants dans les fonctions virtuelles C

En C , il est possible pour les classes héritées d'implémenter des fonctions virtuelles avec différents types de retour. Cependant, ces types de retour doivent être covariants avec le type de retour d'origine.

La covariance signifie que le type de retour dans la classe dérivée est au moins aussi dérivé que le type de retour dans la classe de base. Par exemple, si la fonction de classe de base renvoie un pointeur de base, la fonction de classe dérivée peut renvoyer un pointeur dérivé.

Ceci est autorisé car tout pointeur vers un objet de classe dérivé est implicitement convertible en un pointeur vers une classe de base. objet. Par conséquent, un appel à une fonction virtuelle dans une classe de base peut toujours renvoyer un pointeur vers un objet de classe de base, même si l'implémentation de la classe dérivée renvoie un pointeur vers un objet de classe dérivé.

Considérez l'exemple suivant :

class Base {
public:
    virtual ~Base() {}

    virtual Base* clone() const = 0;
};

class Derived: public Base {
public:
    virtual Derived* clone() const {
        return new Derived(*this);
    }
};

Dans cet exemple, la classe Base définit un clone de fonction virtuelle pure qui renvoie un pointeur Base. Dans la classe Derived, la fonction clone est remplacée pour renvoyer un pointeur Derived. Ceci est autorisé car Derived est une classe dérivée de Base et un pointeur Derived peut être implicitement converti en pointeur de Base.

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!