Ada: attribut 'last et' safe_large

Question

Il est très courant dans Ada de créer un type dérivé, par exemple un nouveau type Float dont le dernier élément est Float'Last. Je n'ai pas encore vu quelqu'un utilisant Float'Safe_Large au lieu de l'attribut Float'Last lors de la définition d'un nouveau type Float. Sur ma machine 32 bits, les deux

Put(Float'Image(Float'Last)); 

et

Put(Float'Image(Float'Safe_large)); 

-moi retourner la valeur 3.402..E38

Je voudrais connaître la différence entre ces deux nombres attributs et peut-être aussi Pourquoi Safe_Large n'est pas aussi utilisé que l'attribut 'Last.

Merci beaucoup ...

Answer 1

Actuellement, l'attribut Last est défini pour un sous-type scalaire. Désormais obsolète, Safe_Large est disponible en GNAT en tant qu'attribut défini par l'implémentation pour la compatibilité avec Ada 83. Le Ada 95 Rationale offre des indications sur le changement dans la discussion sur "Safe Range".