Discussion :

[Flatbeat]

Bonjour, mon problème est relativement simple mais je ne trouve pas comment le résoudre.

Je dispose d'un package ou le type des éléments est en integer. Une fonction de saisi permet à l'utilisateur de saisir les éléments (au format string) qui sont ensuite converti en integer. L'élément saisi doit obligatoirement être une string à la base.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
valeur_int : integer;
begin
valeur_int := Integer'Value(valeur_saisi);

Je souhaiterais en faire un package generic mais je ne parviens pas à résoudre le problème de la conversion du type string à mon type generic TypeElement.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
procedure saisi(l: IN OUT T_Arbre) is
        valeur_saisi : string(1..1);
        valeur_int : TypeElement;
begin
        loop
            Put("Donnez un element (espace pour finir) : ");
            get(valeur_saisi);
            exit when (valeur_saisi = " ");
            valeur_int := TypeElement(valeur_saisi);
            ajout(l, valeur_int);
            affiche(l);
            new_line;
        end loop;
end saisi;

J'ai une erreur invalid conversion, not compatible with subtype of "Standard.String". Je suppose qu'il doit y une solution pour convertir la string au format generic TypeElement.

Si quelqu'un a une solution ou une piste, je suis preneur !

Merci

[RedBlackTree]

Voici un exemple de conversion générique avec l'attribut 'value pour un type générique numérique flottant. J'ai mis en commentaires d'autres déclarations pour couvrir les types génériques entiers, modulaires, fixed-point et decimal fixed-point. Le code compile et s'exécute bien.

la conversion par Unchecked_Conversion doit aussi bien compiler mais n'a pas trop de sens pour traduire une chaîne de caractères.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
with Ada.Integer_Text_Io;
use Ada.Integer_Text_IO;
 
with Ada.Long_Float_Text_Io;
use Ada.Long_Float_Text_IO;
 
 
procedure Demo is
   generic
      type Type_Element is  digits  <>  ;
   --   type Type_Element is  delta  <>  ;
   --   type Type_Element is delta <> digits <> ; 
   --   type Type_Element is  range  <>  ;
   --   type Type_Element is  mod  <>  ;
   function Conversion_generique(S : String) return Type_Element;
 
   function Conversion_generique (S : String) return Type_Element is
     begin
	return Type_Element'Value(S);
     end Conversion_generique;
 
function Conversion is new Conversion_generique(Type_Element => long_float);		     	     
 
begin
   Put(Conversion("123.5689"));
 end Demo;

[Flatbeat]

Merci pour ta réponse RedBlackTree.

Le problème est que comme le type peut être soit un integer soit un string, je suis obligé de mettre type T_Element is private; dans la définition du package generic. Je ne peux donc plus faire de Type_Element'Value car le type n'est plus un scalaire.

J'ai cru comprendre qu'on ne peut pas instancier un package avec le type string (car il faut définir la taille), mais c'est possible avec les Unbounded_String.

Cependant je ne comprends pas comment réaliser ma fonction de saisi qui se chargera de caster/convertir vers Type_Element.

[RedBlackTree]

Quand je lis la phrase : "Le problème est que comme le type peut être soit un integer soit un string, je suis obligé de mettre type T_Element is private; dans la définition du package generic.", je comprend que tu veux pouvoir faire au choix les deux choses suivantes :
1) transformer un string en integer (ce que fait le générique de ma réponse)
2) transformer un string en string (ce qui n'est pas très compliqué à réaliser ! y compris en passant par une fonction de même nom)

Maintenant si en fait le passage doit se faire d'un string vers un type réellement quelconque (record, array, pointeur ...) alors effectivement il faut beaucoup mieux spécifier en quoi consiste ce passage et cela aucun compilateur ne peut le deviner.

[Flatbeat]

Oui RedBlackTree, c'est exactement ça (le 1 et le 2). Le programme se limite a utiliser des integers ou des strings pour instancier le package. J'ai finalement utiliser des unbounded string et ça marche.

L'instanciation du package :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
package aB is new packageTest(integer, false, afficheInteger);
--package aB is new packageTest(Unbounded_String, true, afficheUnbounded);

La fonction de saisi :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
procedure saisi(l: IN OUT T_Arbre) is
    valeur_saisi : Unbounded_String;
    valeur_integer : integer;
    function ConvertStringToType is new Ada.Unchecked_Conversion (Source => Unbounded_String, Target => T_Element);
    function ConvertIntegerToType is new Ada.Unchecked_Conversion (Source => Integer, Target => T_Element);
begin
    loop
        Put("Donnez un element (vide pour finir) : ");
        valeur_saisi := Ada.Strings.Unbounded.Text_Io.Get_Line;
        exit when (valeur_saisi = "");
        if(isString) then
            ajout(l, ConvertStringToType(valeur_saisi));
        else
            valeur_integer := Integer'Value(to_string(valeur_saisi));
            ajout(l, ConvertIntegerToType(valeur_integer));
        end if;
        affiche(l);
        new_line;
    end loop;
end saisi;

Merci beaucoup pour l'aide !