Re: Ada.Strings.Bounded

Le 28 oct. 07 à 08:44, Jean-Pierre Rosen a écrit :

> Thomas De Contes a écrit :
>>
>> un truc anecdotique :
>> pourquoi dans Ada.Strings.Bounded,
>> Max_Length est Positive ?
>> ça aurait posé des problèmes que ça soit un Natural ??
>> moi j'aurais trouvé ça plus logique
>>
> Max_Length ne sert qu'à ré-exporter la valeur du paramètre générique
> Max,

Je parlais des 2 en même temps


A propos, comment ça "ré-exporter" ?
C'est une opération nécessaire pour pouvoir construire le type, c'est  
ça ?

et
pragma Preelaborable_Initialization (Bounded_String);
quel rôle il joue exactement ?
(ça m'intéresse si ça me permet de construire des types que je ne  
pourrais pas construire sans)


> et Max est Positive, ce qui paraît logique: on ne voit pas pourquoi
> on voudrait instantier ce paquetage pour des chaînes dont la longueur
> *max* serait 0...

Dans un programme où le nombre de chaînes est variable, mais connu  
avant la construction du paquetage, pour le cas où il y a 0 chaînes  
(puisque la longueur de la plus longue fait 0)
Du coup j'ai du mettre +1 à la longueur de la plus longue chaîne,  
pour que ça ne fasse pas constraint_error quand ça fait 0, et ça  
gâchais un peu d'espace mémoire

C'est un peu comme quand on fait une fonction qui renvoie true si  
"*tous les* éléments d'un ensemble respectent une règle",
elle doit renvoie true aussi si il n'y a aucun élément dans l'ensemble


Je sais pas dans quels cas on peut être amené à utiliser ce paquetage  
quand on connais bien ada (peut être que je connais pas encore assez  
bien),
moi je l'ai utilisé quand je connaissais pas bien ada, et notamment  
je ne connaissais pas Ada.Strings.Unbounded

(je sais pas si le code source vous intéresse)


-- 
j'agis contre l'assistanat, je travaille dans une SCOP !


_______________________________________________
Site WWW de l'association Ada-France: http://www.ada-france.org/
[email protected]
http://www.ada-france.org/mailman/listinfo/ada-france