Discussion :

[Invité]

Bonjour,

Je voulais identifier quelques objets avec des fixeds.

alors je déclare un type T_Id de la façon suivante :

Code :

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

1
2
 
 type T_Word_Id is delta 0.000_000_5 range 0.0..1.0;

puis pour vérifier que je bien mon compte, je fait un test

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
procedure Main is
   Count : Natural := 1;
   Word_Id : T_Word_Id := T_Word_Id'First;
begin
   loop
      Count := Count+1;
      Word_Id := T_Word_Id'Succ(Word_Id);
      exit when Word_Id = T_Word_Id'Last;
   end loop;
   Put("Count: " & Natural'Image(Count));
end Main;

Et magic ... enfin non, j'obtiens "Count: 2097153".

J'ai 97153 id en bonus

Pourquoi j'ai pas 2_000_000 tout rond ?

Merci

[Invité]

Et puis ça aussi

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
 
procedure Main is
 
   type T_Word_Id is delta 0.000_000_000_5 range 0.0..1.0;
 
   package Word_Id_Io is new Fixed_Io(T_Word_Id);
   use Word_Id_Io;
 
   Word_Id : T_Word_Id := 0.0;
begin
      Put("Word_Id: ");
      Put(Word_Id);
      New_Line;
      Word_Id := Word_Id + 0.000_000_5;
      Put("Word_Id: ");
      Put(Word_Id);
end Main;

Ce qui donne :

Code :

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

1
2
3
 
Word_Id:  0.0000000000
Word_Id:  0.0000004997

Pourquoi j'ai pas 0.000_000_5 en second Word_Id ?

Merci

[Orni-Dev]

Salut,
2097153 = 2^21 +1
Ca pourrait bien être une idée de depart ...

[Invité]

Salut,
2097153 = 2^21 +1
Ca pourrait bien être une idée de depart ...

Je ne sais pas, je suis nul en math.

Tous ce que je vois, c'est que j'ajoute 0.000_000_5 et ça me fais pas l'adition.

[Gaillac]

Tu devrais pourtant, parce que
1/(2^21) = ... 0.0000004997

Tu as donc un joli problème de précision, ce qui est dommage, c'est pas vraiment le but de "delta"...

Le langage ne garantit une représentation exacte que si delta est une puissance de 2, ce qui n'est pas le cas ici.Avec l'attribut SMALL, on peut connaître la précision utilisée (SMALL = PAS), mais on peut aussi forcer le SMALL à une valeur particulière et exacte via une clause de représentation.
Elles peuvent être refusées par le compilateur. Mais, si elles "passent" à la compilation, elles sont garanties.

(source)
Essayes :

Code :

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

for T_Word_Id'SMALL use 0.000_000_000_5;

Dans ces conditions les calculs devraient être exacts (mais tous les compilateurs ne l'acceptent pas parrait-il).

[Invité]

Yes,

Merci bien Gaillac.

[Gaillac]

On remercira ce monsieur Daniel Feneuille aussi...

[Invité]

Yep !

Merci de me le rappeler !