Sujet : Re: Question de généricité
De : rosen (at) *nospam* adalog.fr (J-P. Rosen)
Groupes : fr.comp.lang.adaDate : 02. Sep 2023, 08:18:08
Autres entêtes
Organisation : Adalog
Message-ID : <ucunje$b6dt$1@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.14.0
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.
-- J-P. RosenAdalog2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEXhttps://www.adalog.fr https://www.adacontrol.fr
Question de généricité
Re: Question de généricité