Discussion :

[Papy214]

Bonjour

Je suis étonné du fonctionnement du code suivant qui affiche OK :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
type
  TNiveau = set of 1..255;
 
procedure TForm9.Button6Click(Sender: TObject);
var
  Niveau: TNiveau;
begin
  Niveau := [];
  Include(Niveau, 0);
  if 0 in Niveau then
    ShowMessage('ok');
end;

Le fait que 0 ne fasse pas partie de l'ensemble TNiveau ne devrait-il pas déclencher une erreur ?

[Charly910]

Bonjour,

moi, cela me parait logique, puisque tu ajoutes l’élément 0 à l'ensemble Niveau ?

L'aide de Delphi dit :

S est une variable de type ensemble et I est une expression de type compatible avec le type de base de S.

C'est comme si tu faisais :

Code :

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

Niveau := Niveau + [0] ;

A+
Charly

[tourlourou]

Bonsoir,
C'est effectivement inattendu !
Même en activant la directive de vérification d'étendue, un type ensemble d'éléments de type A peut inclure des éléments similaires, mais pas de type A...
C'est donc permis, comme le rappelle Charly910, mais pas sécurisant par rapport au fonctionnement intuité.

[Charly910]

Bonsoir,

c'est vrai que ce n'est pas sécurisant et c'est étonnant de la part d'un langage comme Pascal !

Les ensembles peuvent donc être agrandis !

A+
Charly

[Charly910]

Ce qui est encore plus inquiétant, c'est que sans le Include, si on fait :

Code :

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

  Niveau := [0] ;

ça ne plante pas , alors que l'on est en dehors de l'intervalle 1..255

A+
Charly

[Charly910]

Ce qui est curieux, c'est que 0 ne pose pas de problème, alors que 300 par exemple provoque une erreur à l'exécution !!

A+
Charly