Re: Question de généricité

Liste des GroupesRevenir à fcl ada 
Sujet : Re: Question de généricité
De : rosen (at) *nospam* adalog.fr (J-P. Rosen)
Groupes : fr.comp.lang.ada
Date : 02. Sep 2023, 09: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. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
https://www.adalog.fr https://www.adacontrol.fr

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