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>