Re: Utiliser un access ou pas ?

Le 19/01/2022 à 04:23, Thomas a écrit :

2) Le /type/ donné dans un rename doit correspondre au /type/ de ce qui
est renommé (on devrait dire surnommé en bon français). En revanche, il
n'y a pas de vérification que les /sous-types/ correspondent, donc pas
de Constraint_Error si la valeur surnommée n'est pas dans l'intervalle
du sous-type annoncé dans le rename.

 si je te comprend bien,
- il n'y a pas d'outre-passement de (donc il y a) vérification du
sous-type du résultat de la fonction,
- mais il n'y a pas de vérification du sous-type annoncé dans le rename ?
 c'est dommage,

Le problème (surtout en Ada 83 d'où provient la règle), c'est qu'un sous-type peut être dynamique, et une règle de compilation ne peut pas dépendre de quelque chose qui n'est connu qu'à l'exécution.
A partir d'Ada 95, on a introduit la notion de "statically matching subtypes", mais il a été estimé que cela compliquerait trop les choses de l'appliquer aux rename, et de toute façon ça ne pouvait pas marcher dans tous les cas sans casser la compatibilité.

de même que l'interdiction du mot "constant", qui ne devrait pas
forcément vérifier si l'objet pointé en est une, mais au moins que toute
utilisation du surnom respecte ça.
 

Ca c'est fait:
procedure Essai is
    V : constant Integer := 0;
    C : Integer renames V;
begin
    C:= 3; -- left hand side of assignment must be a variable
end Essai;
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr