5. Généricité
Ada est un des premiers langages qui implémente la généricité, vue ici comme un mécanisme de macro-expansion sophistiqué avec contrôle du typage. Toute unité de programme (fonction, procédure, paquetage) peut être générique et une unité générique peut elle-même inclure une autre unité générique.
Une unité générique est décrite au moyen de types génériques qui sont spécifiés lors de l’instanciation en une unité effective. Et elle est utilisable comme si elle avait été programmée “normalement”.
Les paramètres génériques formels peuvent être :
une variable (paramètre en mode in out) ou une constante (paramètre en mode in) ;
un type pour lequel il est possible de spécifier une forme : type énuméré, entier, décimal, tableau, avec ou sans discriminant, et même private ou limited private. Ces hypothèses permettent de...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Généricité
Exceptions
Sources bibliographiques
- (1) - - "Ada Programming", Wiki Books https://en.wikibooks.org/wiki/Ada_Programming.
- (2) - - "Ada Reference Manual",
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
