Discussion :

[Pragmateek]

J'ai un peu de mal à voir la difference entre une fonction polmymorphe et une fonction surchargée.

Soit f une fonction qui additionne 2 nombres a et b.

L'exemple est bidon mais c'est juste un exemple!

Dans ce cas:

Code :

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

1
2
3
4
5
6
7
int f(int a,int b){
return a+b;
}
 
float f(float a,float b){
return a+b;
}

on dit que f est surchargée;

Et dans celui ci:

Code :

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

1
2
3
4
template<typename T>
T f(T a,T b){
return a+b;
}

on dit que f est polymorphe?

Est-ce cela ou je suis à côté de la plaque?

Et ne peut on pas inverser les termes surchargée et polymorphe dans ces 2 exemples?

Merci de m'éclairer!

[bigboomshakala]

Est-ce cela ou je suis à côté de la plaque?

oui

si personne n'intervient d'ici à ce que je sois sorti de table je t'éclairerais

[Fiquet]

A ce que j'ai entendu ce n'est pas forcément tout faux. Peut-être me trompe-je mais une fonction template peut aussi se dire "fonction polymorphe" dans le sens où elle accepte plusieurs formes elle aussi.

Mais c'est vrai qu'on parle plus volontiers de templates (ou patrons) dans ce cas là et qu'on utilise souvent le mot "polymorphisme" pour parler des fonctions virtuelles et de l'héritage -> http://c.developpez.com/faq/cpp/?pag...NITION_virtual .

Quelqu'un va peut-être me corriger ?

[Pragmateek]

Donc pour les templates on ne parle ni de l'un ni de l'autre?

C'est un troisieme cas qu'on ne peut absolument pas associer aux deux autres?

[loufoque]

Le cas avec le template est du polymorphisme paramétrique, le cas avec plusieurs définitions c'est du polymorphisme ad-hoc (aussi connu sous le nom de surcharge).

Quand on parle de polymorphisme en C++ on fait généralement référence au polymorphisme d'héritage.

[bigboomshakala]

A ce que j'ai entendu ce n'est pas forcément tout faux. Peut-être me trompe-je mais une fonction template peut aussi se dire "fonction polymorphe" dans le sens où elle accepte plusieurs formes elle aussi.

Mais c'est vrai qu'on parle plus volontiers de templates (ou patrons) dans ce cas là et qu'on utilise souvent le mot "polymorphisme" pour parler des fonctions virtuelles et de l'héritage -> http://c.developpez.com/faq/cpp/?pag...NITION_virtual .

Quelqu'un va peut-être me corriger ?

pareil

le polymorphisme implique l'utilisation polymorphique d'une classe (par exemple un objet d'une classe B dérivée de A, utilisé au travers d'un pointeur A*). si une fonction virtuelle de A est redéfinie dans B alors c'est la fonction de B qui est appelée.

la surchage d'une fonction dans le cas d'une classe B dérivée de A, c'est d'implémenter dans B une fonction de même signature qu'une fonction non virtuelle de A. dans ce cas la fonction héritée de A est masquée par celle de B. mais si on manipule un objet B au travers d'un pointeur A*, c'est la fonction de A qui sera appelée.

[Pragmateek]

Alors le polymorphisme ca n'est QUE dans le contexte des classes?

[JolyLoic]

Souvent, quand on parle de polymorphisme en C++, on parle uniquement du type de polymorphisme des fonction virtuelles.

Dans les domaines plus abstraits de l'informatique, on parle souvent de quatre types de polymorphisme.
Deux où on utilise une structuration commune aux différents types en présence (polymorphismes universel):
- Polymorphisme d'inclusion, basé sur de l'héritage
- Polymorphisme paramétré, la base des templates
Deux où le développeur spécifie manuellement le comportement pour chaque type (polymorphisme ad-hoc):
- Surcharge de fonction
- Coercion(cast des arguments)


Lire par exemple http://research.microsoft.com/Users/luca/Papers/OnUnderstanding.A4.pdf

[Fiquet]

Non justement pas forcément. Ca avait été discuté il y a pas longtemps fait une recherche sur le forum.

[edit]Quelques explications plus poussées ici : http://www.developpez.net/forums/viewtopic.php?t=457190 [/edit]

[Pragmateek]

La surcharge est un cas de polymorphisme donc?

EDIT: Les templates aussi?

Je ne pensais pas que le polymorphisme était une notion si "globale".

[loufoque]

seriousme, tu n'as pas lu ce que j'ai écrit plus haut ?
Parce que bon tu as posé une question deux fois alors que je t'avais déjà donné la réponse.

[Pragmateek]

Si justement!

Le polymorphisme regroupe à la fois les templates(polymorphisme dit paramétrique) et la surcharge(polymorphisme dit ad-hoc).

C'est bien ce qu'il faut comprendre?

Non?

EDIT:si je pose plusieurs fois une question c'est que les avis semblent diverger.

EDIT:j'essaie d'avoir des réponses catégoriques.

[JolyLoic]

Non justement pas forcément.

Ton "non" fait-il référence à mon message ou à celui de seriousme ?

Parce que si c'est le mien, je ne vois rien dans le thread cité qui aille à l'encontre de mon message.

HS : Ah, comme ça me manque la notion de thread hiérarchisé comme dans les newsgroups. Ca romps parfois le rythme de lecture, mais c'est moins ambigu...

[Fiquet]

Ton "non" fait-il référence à mon message ou à celui de seriousme ?

A celui de seriousme. Comme je l'ai dit avant, je suis aussi d'accord sur le fait que la mention "polymorphisme" en C++ est souvent utilisé dans le cas des fonctions virtuelles .

[loufoque]

Le polymorphisme regroupe à la fois les templates(polymorphisme dit paramétrique) et la surcharge(polymorphisme dit ad-hoc).

Oui.
Il y a aussi le polymorphisme d'inclusion (que j'ai appelé polymorphisme d'héritage - je suis pas sûr du terme) qui est celui auquel on pense en C++ quand on dit polymorphisme tout court.

HS : Ah, comme ça me manque la notion de thread hiérarchisé comme dans les newsgroups. Ca romps parfois le rythme de lecture, mais c'est moins ambigu...

Comment ça "ça te manque" ? Tu n'as plus accès aux newsgroups ?

[JolyLoic]

<HS>Si, mais il faut avouer que ce site rassemble plus de traffic que les newsgroups, et particulièrement des débutants, ce qui fait que je participe, même si en mon for intérieur, par moment je regrette l'ergonomie des newsgroups</HS>