2. Types de données
La notion de type est primordiale en Ada puisque c’est, pour ses concepteurs, le moyen d’assurer le meilleur contrôle de l’exactitude de la description d’un traitement. En effet, le typage permet de déterminer, entre autres, la quantité de mémoire occupée par une variable et le compilateur exigera que toute expression d’un type donné, ne puisse être logée que dans un espace (variable, paramètre de procédure ou fonction, etc.) compatible. Deux types sont compatibles s’ils sont identiques, ou dans le cas contraire, s’ils ont des valeurs communes.
Exemple : les types Positive et Integer sont compatibles. Cependant, certaines affectations d’un Integer vers un Positive poseront problème au moment de l’exécution pour les valeurs du type Integer qui ne sont pas comprises dans le type Positive. Par contre, l’affectation d’une expression Positive dans...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Types de données
Instructions du langage
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.
