surcharge de fonction virtuelle et VC++6

Bonjour,

j'ai un code source développé sous linux, qui compile donc avec gcc (et VS express 2005 accesoirement) mais pas avec visual studio 6 (que je dois pourtant utiliser pour fusionner avec un autre code). Le problème étant:

c:\savsimth\smaexpr.h(56) : error C2555: 'ValExpr<T>::optim' : overriding virtual function differs from 'SMAExpr::optim' only by return type or calling convention
c:\savsimth\smaexpr.h(28) : see declaration of 'SMAExpr'
c:\savsimth\smaexpr.h(58) : see reference to class template instantiation 'ValExpr<T>' being compiled
c:\savsimth\smaexpr.h(56) : error C2555: 'ValExpr<bool>::optim' : overriding virtual function differs from 'SMAExpr::optim' only by return type or calling convention
c:\savsimth\smaexpr.h(28) : see declaration of 'SMAExpr'
c:\savsimth\smaexpr.h(89) : see reference to class template instantiation 'ValExpr<bool>' being compiled
c:\savsimth\smaexpr.h(100) : error C2555: 'CompExpr::optim' : overriding virtual function differs from 'SMAExpr::optim' only by return type or calling convention
c:\savsimth\smaexpr.h(28) : see declaration of 'SMAExpr'
c:\savsimth\smaexpr.h(56) : error C2555: 'ValExpr<float>::optim' : overriding virtual function differs from 'SMAExpr::optim' only by return type or calling convention
c:\savsimth\smaexpr.h(28) : see declaration of 'SMAExpr'
c:\savsimth\smaexpr.h(112) : see reference to class template instantiation 'ValExpr<float>' being compiled
c:\savsimth\agent.cpp(117) : error C2371: 'si' : redefinition; different basic types
c:\savsimth\agent.cpp(113) : see declaration of 'si'
les codes étant :
virtual SMAExpr* optim() {return this;}

virtual ValExpr<T>* optim() {return this;}
et des scpécialisations dans les sous classes ensuite

Que faire?

VC6 est connu pour ne pas respecter le standard, donc bon :|
Maintenant, tu peux donner le prototype des 2 fonctions, l'original et celle dans la dérivée ?

virtual SMAExpr * optim ()
ValExpr< T > * optim ()
virtual ValExpr< T > * optim ()
ValExpr< bool > * optim ()

En fait ce qui ne lui plait peut être pas c'est d'avoir le même prototype de fonction dans 2 sous classes différentes? Ou juste que celle qui retourne un SMAExpr* ai le même code que celle qui retourne un ValExpr* ?

Attends, je t'ai demandé 2 prototypes, tu m'en donnes 4, qui va où ?

Petite note de nomenclature:
- surcharger (anglais overload), c'est avoir plusieurs fonctions avec des signatures differentes mais le meme nom;
- remplacer une fonction virtuelle dans une classe derivee (anglais override), ce dit redefinir ou supplanter.

Citation:

---

Envoyé par grodwar

c:\savsimth\smaexpr.h(56) : error C2555: 'ValExpr<T>::optim' : overriding virtual function differs from 'SMAExpr::optim' only by return type or calling convention

les codes étant :
virtual SMAExpr* optim() {return this;}

virtual ValExpr<T>* optim() {return this;}
et des scpécialisations dans les sous classes ensuite

---

Tu utilises des retours covariants, la possibilite de supplanter une fonction membre retournant un pointeur ou une reference vers sa classe par une autre retournant un pointeur ou une reference vers la classe derivee. Ca ne m'etonnerait pas du tout que VC6 n'implemente pas cela. La technique habituelle est d'eviter de faire un retour covariant et d'utiliser la possibilite de remplacer des fonctions membres non virtuelles (c'est un des rares cas legitimes pour le faire).

Exemple:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

class Base { public: Base* f() { return do_f(); } private: virtual Base* do_f() { return this; } };   class Derivee: public Base { public: Derivee* f() { return static_cast<Derivee*>(do_f()); } private: /* virtual */ Base* do_f() { return this; } };

---

les points importants etant:
- f() n'est pas virtuelle mais on change son type de retour;
- do_f() est virtuelle et on ne change pas son type de retour.

Edit: Correction du code, il faut toujours tester avec de poster :cry:

Citation:

---

Envoyé par Miles

Attends, je t'ai demandé 2 prototypes, tu m'en donnes 4, qui va où ?

---

Classe mère: SMAExpr avec SMAExpr * optim ()
ValExpr(héritant de SMAExpr) avec virtual ValExpr< T > * optim ()
Opexpr (héritant de ValExpr<T>) virtual ValExpr<T>* optim();
CompExpr (héritant de ValExpr<bool>) ValExpr<bool>* optim();

@JeanMarc: il suffirait "juste" d'enlever le virtual partout donc?

Si tu enlèves le virtual, tu n'as plus la possibilité d'appeler la fonction de la classe dérivée à la place de celle de la classe mère, c'est embêtant !

Citation:

---

Envoyé par grodwar

@JeanMarc: il suffirait "juste" d'enlever le virtual partout donc?

---

Est-ce que c'est ce que j'ai fait dans l'exemple que j'ai donne?

Citation:

---

Envoyé par Jean-Marc.Bourguet

Est-ce que c'est ce que j'ai fait dans l'exemple que j'ai donne?

---

Effectivement non.

En relisant ton code, il faut réimplémenter une sous méthode privée qui renvoie le bon type? Mais toi dans la dérivée tu renvoie une Base* quand même alors que je voudrais un dérivée* O.o


Merci beaucoup pour ces éclaircissements

Citation:

---

Envoyé par grodwar

En relisant ton code, il faut réimplémenter une sous méthode privée qui renvoie le bon type? Mais toi dans la dérivée tu renvoie une Base* quand même alors que je voudrais un dérivée* O.o

---

Il ne faut pas utiliser do_f() mais f() qui fait le cast. Le code que j'ai ecrit ne fait rien d'autre que ce que fait le compilateur quand il implemente les retours covariants.

(Note: j'ai edite le code, j'avais oublie l'heritage et le cast qui est necessaire; le static_cast est sur tant que les classes derivees de Derivee ne font rien de stupide).

je reviens à la charge car je n'ai pas du tout comprendre, j'ai fait ça:

dans SMAExpr:
SMAExpr* optim() {return do_optim();}
virtual SMAExpr* do_optim() {return this;}

et dans ValExpr:
ValExpr<T>* optim() {return static_cast<ValExpr*>(do_optim());}
virtual SMAExpr<T>* do_optim() {return this;}

et j'ai la compil suivante:
SMAExpr.cpp
c:\savsimth\smaexpr.h(63) : error C2059: syntax error : '<'
c:\savsimth\smaexpr.h(64) : see reference to class template instantiation 'ValExpr<T>' being compiled
c:\savsimth\smaexpr.h(63) : error C2334: unexpected token(s) preceding '{'; skipping apparent function body
c:\savsimth\smaexpr.h(64) : see reference to class template instantiation 'ValExpr<T>' being compiled
c:\savsimth\smaexpr.h(63) : error C2059: syntax error : '<'
c:\savsimth\smaexpr.h(95) : see reference to class template instantiation 'ValExpr<bool>' being compiled
c:\savsimth\smaexpr.h(63) : error C2334: unexpected token(s) preceding '{'; skipping apparent function body
c:\savsimth\smaexpr.h(95) : see reference to class template instantiation 'ValExpr<bool>' being compiled
c:\savsimth\smaexpr.h(63) : error C2059: syntax error : '<'
c:\savsimth\smaexpr.h(119) : see reference to class template instantiation 'ValExpr<float>' being compiled
c:\savsimth\smaexpr.h(63) : error C2334: unexpected token(s) preceding '{'; skipping apparent function body
c:\savsimth\smaexpr.h(119) : see reference to class template instantiation 'ValExpr<float>' being compiled
c:\savsimth\smaexpr.h(63) : error C2059: syntax error : '<'
c:\savsimth\smaexpr.h(148) : see reference to class template instantiation 'ValExpr<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >' being compiled
C:\SavSimTh\SMAExpr.cpp(39) : see reference to class template instantiation 'OpExpr<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >' being compiled
c:\savsimth\smaexpr.h(63) : error C2334: unexpected token(s) preceding '{'; skipping apparent function body
c:\savsimth\smaexpr.h(148) : see reference to class template instantiation 'ValExpr<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >' being compiled
C:\SavSimTh\SMAExpr.cpp(39) : see reference to class template instantiation 'OpExpr<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >' being compiled
Error executing cl.exe.


et juste pour fun j'ai remplacer virtual SMAExpr<T>* do_optim() {return this;}
par virtual void* do_optim() {return this;} et là il me refait des erreurs d'override ....

return static_cast<ValExpr<T>*>(do_optim())
non ?

Effectivement ça me parait mieux médinox mais ca ne compile toujours.

Je me demandais aussi pourquoi dans la classe dérivée, la méthode do_f() retourne un pointeur sur le type de base, car le "this" renvoie normalement un pointeur sur le type dérivé? C'est pour pouvoir avoir la méthode f() avec un code différent (et un retour différent évidemment)?


(désolé pour les questions bêtes mais dur dur de mixer du code iso et VC++6 quand on est débutant ;))

Comme VC++6 n'accepte pas les "retours covariants", ta fonction virtuelle do_f() doit avoir exactement le même type de retour que celle de la classe mère.

Donc, do_f() retourne un pointeur sur le type de base.
Donc, la fonction non-virtuelle f(), qui appelle do_f(), doit convertir le pointeur retourné en pointeur de son type.

Je comprends pas grand chose à ce vC++ 6 il y a un paquet de truc (surtout les template) avec lesquels il a du mal... c'est une vrai horreur d'importer du code dedans.


En passant quelqu'un a une idée générale si l'importation d'un projet concu pour VC++6 en VC++ 2005 est long?

Citation:

---

En passant quelqu'un a une idée générale si l'importation d'un projet concu pour VC++6 en VC++ 2005 est long?

---

L'importation du projet seulement quelques secondes, mais la correction du code peut être très longue, surtout si tu utilisais beaucoup de choses non standard que VC6 autorisait.

Sinon pour ce genre de question il faut aller sur le forum VC++, il y a plein d'infos à ce sujet ; il y a également un tutoriel de farscape sur la migration de projets VC6 -> VC2005.

j'ai toujours mes sympathiques: "error C2059: syntax error : '<'
c:\savsimth\smaexpr.h(64) : see reference to class template instantiation 'ValExpr<T>' being compiled"

avec la déclaration de la classe:

Code:

---

1 2 3 4 5 6 7 8 9 10 11

template <class T> class ValExpr : public SMAExpr { public: virtual string type() {return typeid(T).name();} virtual T val(Entity *a = NULL) = 0; ValExpr<T>* optim() {return static_cast<ValExpr<T>*>(do_optim());} virtual string asString() {return type();}   private: virtual SMAExpr<T>* do_optim() {return(this);} };

---

est-ce encore un bug de VC++6?
Balises codes ajoutées, pensez-y la prochaine fois...

Quelle ligne ??

Citation:

---

Envoyé par grodwar

j'ai toujours mes sympathiques: "error C2059: syntax error : '<'
c:\savsimth\smaexpr.h(64) : see reference to class template instantiation
est-ce encore un bug de VC++6?

---

Non.

Code:

---

1 2 3 4 5 6 7 8 9 10 11

template <class T> class ValExpr : public SMAExpr { public: virtual string type() {return typeid(T).name();} virtual T val(Entity *a = NULL) = 0; ValExpr<T>* optim() {return static_cast<ValExpr<T>*>(do_optim());} virtual string asString() {return type();}   private: virtual SMAExpr* do_optim() {return(this);} };

---

Merci, ça ne m'avait même pas effleurer l'esprit :/ (noob powah).

Une autre question si vous êtes amateur:
erreur de compil:

Code:

---

1 2 3

Failed to specialize function template 'class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > __thiscall SMAParser::str(T)' With the following template arguments: 'char'

---

code de la fonction

Code:

---

1 2 3 4 5 6

template<typename T> string SMAParser::str(T val) { ostringstream ss; ss << val; return ss.str(); };

---

Le problème ici est bien qu'il n'arrive pas instancier SMAParser::str pour les char? Alors que celle-ci n'utilise qu'une fonction censée marcher avec les char.

Tu l'appelles comment ?

Dans mon SMAExpr.h:

Code:

---

virtual string asString() {return "[b]"+(_left->asString())+SMAParser.str(op)+(_right->asString());}

---

edit: peut être déplacé le post dans le forum vc++?

Personne n'a d'idée?

op, c'est quoi ?

un char, il représente l'opérateur de l'expression (left op right).

edit: entre temps j'ai trouvé ça : http://support.microsoft.com/default...b;EN-US;240871
j'ai essayé de rajouter un param inutile (int i=0) comme ils disent mais ça n'arien changé.

Tu veux afficher le caractère ou la valeur du caractère en ASCII ?

Le caractère le but de la méthode est de retourner l'expression sous forme de string lisible ensuite.

Tu as essayé sans la fonction ? Juste faire un "+ op +" ?

Oui, ça ne change rien.

Finalement j'ai convaincu le dev du code vc6 de le passer sur 2005 (sans trop de problèmes) donc tout passe désormais.

Merci pour toutes vos réponses.