Re: Question de généricité

Liste des GroupesRevenir à fcl ada 
Sujet : Re: Question de généricité
De : 314 (at) *nospam* drpi.fr (DrPi)
Groupes : fr.comp.lang.ada
Date : 02. Sep 2023, 12: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 ?

Date Sujet#  Auteur
29 Aug 23 * Question de généricité14DrPi
30 Aug 23 `* Re: Question de généricité13Gautier write-only address
30 Aug 23  `* Re: Question de généricité12DrPi
30 Aug 23   `* Re: Question de généricité11Gautier write-only address
31 Aug 23    `* Re: Question de généricité10DrPi
1 Sep 23     `* Re: Question de généricité9Gautier write-only address
1 Sep 23      `* Re: Question de généricité8DrPi
1 Sep 23       +* Re: Question de généricité3Gautier write-only address
2 Sep 23       i`* Re: Question de généricité2DrPi
2 Sep 23       i `- Re: Question de généricité1DrPi
2 Sep 23       `* Re: Question de généricité4J-P. Rosen
2 Sep 23        `* Re: Question de généricité3DrPi
15 Sep 23         `* Re: Question de généricité2Thomas
16 Sep 23          `- Re: Question de généricité1DrPi

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal