* Joomla Lausanne
***Web2007 est un bureau indépendant situé à Genève et a l'habitude de travailler pour des entreprises PARTOUT en Suisse
Joomla Lausanne
Article:
Joomla Lausanne
Dans un langage à typage Joomla Lausanne dynamique, le polymorphisme ad hoc est très nécessaire: les paramètres passés en arguments à la fonction doivent se conformer à une interface donnée (un protocole définissant quelles méthodes sont supportées par cet argument). Ce mécanisme est supporté par tous les langages Joomla Lausanne orientés objets, en l'occurrence ceux que l'on qualifie généralement comme étant à typage statique (Java, ou méthodes virtuelles du C++ par exemple). En effet, même si le langage apporte des outils pour vérifier la cohérence des interfaces à la compilation, la détermination du type réel de l'argument (c'est-à-dire la résolution de l'adresse du code adaptant Joomla Lausanne les méthodes de l'interface) n'est effectuée qu'à l'exécution dans certains cas. La programmation générique permet d'abstraire un ensemble de concepts cohérents pour construire des algorithmes au-dessus séparément de leur implémentation. Ainsi la fonction de tri de la STL demande pour un départ d'itérateurs Joomla Lausanne hypothétiques sur une collection d'objets et d'une fonction de comparaison sur ces objets ; cela rend ainsi cette fonction utilisable dans de très nombreux contextes. Une programmation générique purement statique est accordée par ce mécanisme Joomla Lausanne puisque l'ensemble des résolutions de types est fait au moment de la compilation. Par exemple, si l'on veut créer une liste générique, une déclaration (ici en utilisant les templates de C++) serait : List(T), où T représente un type. À l'instanciation, on pourrait créer une List(int) ou une List(Animal). La liste est ensuite traitée comme si le type correspondant avait été spécifié.







