Sujet : Re: Question de généricité
De : 314 (at) *nospam* drpi.fr (DrPi)
Groupes : fr.comp.lang.adaDate : 31. Aug 2023, 19:13:07
Autres entêtes
Organisation : Posted through news.alphanet.ch
Message-ID : <ucql7j$vn3$1@shakotay.alphanet.ch>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
Le 30/08/2023 à 22:58, Gautier write-only address a écrit :
Je ne comprends pas "nul : Item_Type" dans les paramètres génériques. A
quoi sert cette ligne ?
Enlève-la et essaie de compiler!
Oui, ça compile pas. Mais ça ne répond pas à ma question ;)
Je ne comprends pas non plus pourquoi on passe "Item_Type" et
"Index_Type" sachant que "Array_Type" définit complètement le type
("char_array" ici).
Pareil. Mais dans une version hypothétique d'Ada où tu ne passerais que le type tableau, il faudrait un attribut pour extraire le type des éléments et le type de l'indice (tu as besoin des deux dans ton code).
C'est justement ce à quoi je pensais.
Une amélioration à intégrer à une future version de Ada :)
Et du coup, est-il possible de contraindre Array_Type ?
Question de généricité
Re: Question de généricité