Re: Question de généricité

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 :-)
--
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/