Discussion :

[Genjin]

Bonjour,
J'ai un problème pour effectuer une surcharge de fonction avec type de retour covariant en utilisant des déclarations anticipées.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
class C;
class D : public C;

class A
{
    C* f();
};

class B : public A
{
    D* f();
};

En utilisant le code précédant je voudrais pouvoir écrire la ligne en rouge pour dire au compilateur que la classe D hérite de C et ainsi utiliser la covariance pour les types de retour de f(). Le problème c'est que le compilateur n'accepte pas cette déclaration et si je déclare juste class D; en déclaration anticipé la covariance ne fonctionne plus car le compilateur ne sait pas que D hérite de C. Je voudrais savoir s'il existe un autre moyen pour faire fonctionner ce type de schéma.

Merci.

Edit : Oui effectivement j'ai fait une erreur en recopiant, c'est bien des pointeurs pour le type de retour.

[loufoque]

Le retour covariant ne fonctionne qu'avec du retour par référence ou pointeur.

[Laurent Gomila]

Et cela pose un problème d'inclure D.h dans B.h ?

[Genjin]

En fait c'est juste un programme pour faire des test sur la covariance donc ce qu'il y a dans D et dans B importe peu. Ce qui compte c'est de voir si on peu retourner un objet de type D en utilisant la covariance et les déclarations anticipées. De plus dans B on peu avoir une collection d'objets de classe D et c'est vraiment le retour de l'objet D en tant que tel qui est utile.

Mais bon en utilisant les déclaration anticipées ça a pas l'air d'être possible de déclarer l'héritage donc pour la covariance ça risque d'être difficile. En Java par exemple c'est beaucoup plus simple à réaliser car on à pas besoin d'utiliser les déclaration de classes anticipées.

[Laurent Gomila]

Disons qu'à partir du moment où tu as besoin d'une quelconque information sur la classe, il faut inclure sa définition. La déclaration anticipée ça ne va pas plus loin que dire au compilo que la classe existe.

[Genjin]

Effectivement si on peu pas inclure des informations d'héritage dans les déclarations anticipées, l'utilisation des type de retour covariants dans ce cas là ne doit pas être possible. C'est dommage tout de même cette obligation de déclaration anticipées (même si en pratique des cas comme celui là ne doivent pas être très fréquents ^^).
Pour résoudre mon problème je retourne directement le type général (class C) puis je cast après vers le bon type, c'est un peu plus lourd à gérer mais ça fonctionne.
Merci d'avoir répondu à ma question.