Discussion :

[Roland Chastain]

Bonjour !

Passant de Turbo-Pascal à Free-Pascal, je découvre les possibilités offertes par ce dernier.
Ainsi je voudrais bien utiliser le type ByteBool, mais le code que j'essaie ne marche pas.

Code :

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

1
2
3
4
var bb: ByteBool;
begin
  bb := 1;
end.

Le compilateur me fait savoir qu'il a trouvé un "ShortInt" là où il s'attendait à un "ByteBool".

En relisant le manuel, je ne vois toujours pas mon erreur.

Free Pascal also supports the ByteBool, WordBool and LongBool types. These are of type Byte, Word or Longint, but are assignment compatible with a Boolean: the value False is equivalent to 0 (zero) and any nonzero value is considered True when converting to a boolean value.

[M.Dlb]

Pas essayé, mais je suppose, que l'assignation en fonctionne qu'avec True et False. Par contre, dans l'évaluation d'expressions, le compilateur doit comparer si la valeur est 0 (équivalent sémantiquement à False) ou autre (équivalent à True).

[Roland Chastain]

Pas essayé, mais je suppose, que l'assignation en fonctionne qu'avec True et False. Par contre, dans l'évaluation d'expressions, le compilateur doit comparer si la valeur est 0 (équivalent sémantiquement à False) ou autre (équivalent à True).

Mais la valeur, il faut bien l'assigner à un moment ou à un autre, non ?

[M.Dlb]

Ben oui, quand tu fais bb:= True ou bb := False. Si tu veux assigner un nombre à une variable c'est pas un type booléen qu'il faut utiliser, mais un type entier.

[Roland Chastain]

Ben oui, quand tu fais bb:= True ou bb := False. Si tu veux assigner un nombre à une variable c'est pas un type booléen qu'il faut utiliser, mais un type entier.

D'accord, mais dans ce cas quelle différence entre un ByteBool et un Boolean ?

J'ai fini par trouver un exemple. Ce serait une sorte de type-fonction (?). Mais même en admettant cela, les résultats sont étranges.

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
var
  bb: bytebool;
begin
  bb := False;
 
  bb := bytebool(3);
 
  writeln(bb);                      // TRUE
 
  writeln(bytebool(3));             // TRUE
 
  if bb then writeln('OK');         // OK
 
  if bytebool(3) then writeln('OK');// Rien !
 
  readln;
end.

[M.Dlb]

La doc FreePascal dit:

Code :

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

1
2
3
4
5
6
Name 	Size	Ord(True)
 
Boolean 	1 	1
ByteBool 	1 	Any nonzero value
WordBool	2 	Any nonzero value
LongBool 	4 	Any nonzero value

Les types ByteBool, WordBool et LongBool stockent des variables booléennes surtout 1 ou plusieurs octets. Mais ca reste du booléen, donc les valeurs acceptables sont True ou False.

Il se trouve que FreePascal introduit la possibilité qu'une variable numérique soit transtypées en booléen, auquel cas, si la valeur numérique est différente de 0, la variable booléenne prendra True, sinon elle prendra False. Ce comportement se rapproche du C.

La notation que tu utilises dans l'exemple s'appelle transtypage, cela permet de changer le type d'une variable dans la durée d'une instruction. Tous les types (de bases) peuvent être utilisés pour un transtypage.

Code :

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

bb := bytebool(3);

Grâce à ce code, tu signale au compilateur de convertir la valeur numérique 3 en ByteBool... Comme 3 <>0 alors bb prend la valeur True.