Re: Question de généricité

Le 15/09/2023 à 23:49, Thomas a écrit :

Le 02/09/2023 à 12:20, DrPi a écrit :

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 ?

 je serais curieux d'avoir la fin de ton retour d’expérience par rapport à ce pb, cad :
- savoir si ça a résolu ton pb,
- et surtout savoir si ça n'en a pas généré d'autres à des endroits où tu avais besoin que ces sous-types soient compatibles entre eux :-)
 

J'avoue que je n'ai pas essayé d'aller plus loin.
C'était une question théorique, pour ma connaissance. La réponse, très instructive, est beaucoup plus complexe que ce que j'imaginais. Ada est un langage très intéressant mais pas toujours facile à appréhender.
Je me concentre sur mon projet en cours.