Discussion :

[troussepoil]

Ai-je le droit de faire ça? (changer le 'Image2D' par 'Image' dans la définition de la méthode)

Image2D.hh

Code :

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

1
2
3
4
5
 
class Image2D {
   public:
      virtual Image2D* noirEtBlanc(std::string) = 0;
};

Image.hh

Code :

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

1
2
3
4
5
 
class Image : public Image2D, public Matrice<Pixel> {
   public:
      Image* noirEtBlanc(std::string);
};

[Laurent Gomila]

Seulement si ton compilo supporte les retours covariants (Visual C++ 2005 le fait -- aucune idée pour les autres).

[hiko-seijuro]

je crois que g++ aussi

[troussepoil]

J'ai utilisé l'exemple de la fac et mon compilateur supporte les retour covariants.
le message "Derived::Test" s'affiche.
merci.

[troussepoil]

une autre question: ça marche pareil quand on redefinit les operateurs?

Image2D.hh

Code :

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

1
2
3
4
5
 
class Image2D {
   public:
      virtual Image2D* operator*(Image2D&) = 0;
};

Image.hh

Code :

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

1
2
3
4
5
 
class Image : public Image2D, public Matrice<Pixel> {
   public:
      Image* operator*(Image&);
};

[Ulmo]

Seulement si ton compilo supporte les retours covariants (Visual C++ 2005 le fait -- aucune idée pour les autres).

Ce n'est pas vraiment du retour covariant puisque c'est le type de l'objet auquel on applique la méthode "noirEtBlanc(...)" qui va décider de la fonction utilisée.

[Laurent Gomila]

Ce n'est pas vraiment du retour covariant puisque c'est le type de l'objet auquel on applique la méthode "noirEtBlanc(...)" qui va décider de la fonction utilisée.

Et alors ce serait quoi un retour covariant pour toi, si ce n'est pas de pouvoir substituer le type de retour d'une fonction virtuelle par un type dérivé ?

[Ulmo]

Je pensais à une surcharge sur le type de retour.
J'aurais été surpris que le retour covariant ne soit pas possible. Je ne vois pas ce que cela pose comme problème, alors que je comprend bien celui posé par la surcharge sur le type de retour.

[Laurent Gomila]

C'est pas moi qui l'ait inventé, si tu prenais la peine de regarder n'importe quel cours ou FAQ en ligne tu verrais que c'est bien ça la définition du retour covariant.