* Drupal Amiens
Drupal Amiens
Article:
Les paramètres effectifs positionnels ou les paramètres effectifs nommés pourraient être trop nombreux, ce qui peut s'avérer être une erreur dans la plupart des langages. Pour ce trop plein, des paramètres formels imps sont fournis par certains langages. Le seul mécanisme de réception de paramètres effectifs, un tableau appelé @_, est utilisé en Perl 5. Des paramètres positionnels sont complétés par les variables de trop plein en Perl 6, ce qui donne le nom @_ qui est un nom par défaut du tableau de trop plein et celui de % pour la table associative de trop plein.Il faut noter que @_indique que l'extension du système de Perl 5 se traduit par le système de passage de paramètres en Perl 6 et que pour Perl 6 le trop plein est pris comme une partie intégrale de la richesse du mécanisme de paramètre mais pas comme une forme de gestion d'erreurs Lors de la déclaration des fonctions pour indiquer des valeurs par défaut à ater aux paramètres formels,d'autres langages, comme le C++,conviennent afin d'éviter les réécritures à chaque équivalence. Un tableau ou une structure peut aussi être utilisé pour regrouper les paramètres et que des paramètres positionnels formels seraient quelquefois la totalité ou une partie d'un tableau, ce qui est possible en Perl 6. Pour les paramètres effectifs, la vérification du type est permis par le typage des paramètres formels , supporté ou requis par certains langages,par le biais de la compilation ou de l'exécution, selon le cas. Si un des paramètres effectifs n'est pas du type attendu, le typage des paramètres formels fait apparaître une erreur ou une exception. La liste des types des paramètres formels d'une fonctions ou méthode est appelée signature et plusieurs signatures peuvent être attachées au même nom de fonction ou de méthode. Autrement dit,le nom peut être en commun pour plusieurs fonctions ou méthodes mais les types de leurs paramètres formels les distinguent alors que selon une métrique qui dépend du langage utilisé, la signature la plus proche est déterminée par les paramètres effectifs. On parle de dispatch multiple, pour se référer à ce mécanisme qui consiste à choisir la bonne fonction ou méthode selon la signature et les paramètre formels. A la fin, on parle alors de généricité quand l'utilisation d'un type générique pour l'un de ces arguments formels est faite pour une abstraction partielle d'une méthode ou d'une fonction. On parle de polymorphisme paramétré ou de polymorphisme par sous-typage si le corps de la méthode ou de la fonction est défini.