Sujet : Re: Question de généricité
De : 314 (at) *nospam* drpi.fr (DrPi)
Groupes : fr.comp.lang.adaDate : 02. Sep 2023, 11:20:13
Autres entêtes
Organisation : Posted through news.alphanet.ch
Message-ID : <ucv28v$dhd$1@shakotay.alphanet.ch>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird
Le 02/09/2023 à 09:18, J-P. Rosen a écrit :
Le 01/09/2023 à 16:52, DrPi a écrit :
Ce qui me pose problème, c'est que j'aimerais que la fonction "To_TW_STR" renvoie un type entièrement contraint.
EN reprenant les définitions de départ /
subtype t_TW_STR32 is char_array (1 .. 34);
subtype t_TW_STR64 is char_array (1 .. 66);
subtype t_TW_STR128 is char_array (1 .. 130);
subtype t_TW_STR255 is char_array (1 .. 256);
>
J'aimerais pouvoir instancier une fonction qui retourne "t_TW_STR32", une qui retourne "t_TW_STR64"...
En Ada, l'homonymie et la résolution des surcharges est basée sur les types, jamais sur les sous-types. Pourquoi? Parce que le type est connu à la compilation, mais qu'un sous-type peut être dynamique.
OK.
Donc, si je changeais "t_TW_STR32" et autres en "type" et non en "subtype", il serait possible de faire ce que je veux ?
Question de généricité
Re: Question de généricité