Discussion :

[Invité]

Dans les premières versions de Delphi, l'utilisation de la variable For après la boucle est déconseillée et sa valeur peut être indéfinie. pourtant je suis tombé sur ce bout de code dans TOleControl.GetEventMethod qui montre l'inverse .

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
   for Index := 0 to FControlData^.EventCount-1 do
  begin
    if DispID = PID^ then
      break;
    Inc(PID);
  end;
 
  if Index = FControlData^.EventCount then
  begin
    Method.Code := nil;
    Method.Data := nil;
    Exit;
  end;
..

[exoseven]

le compteur est dans un état indéterminé à la fin de la boucle sauf après un break ou un exit, mais le code me parait quand même bancal

[der§en]

Je me demande quel contexte renvoi TRUE dans ce test : if Index = FControlData^.EventCount then !

[solilog]

Bjr,
C'est normal, une boucle for incrémente "Index".
Si la boucle for va de 0 à Count-1, et si elle termine sa boucle, l'index sera égal à Count et ne sera pas indéfini.
(sera égal à la valeur du "to" +1, ou du "downto" -1)

[acaumes]

Bonjour,

Bjr,
C'est normal, une boucle for incrémente "Index".
Si la boucle for va de 0 à Count-1, et si elle termine sa boucle, l'index sera égal à Count et ne sera pas indéfini.
(sera égal à la valeur du "to" +1, ou du "downto" -1)

J'y crois de moins en moins. La première version du pascal (définie par Wirth) dit que l'index de la boucle est indéfini à la sortie normale de la boucle? Et je n'ai pas vu que le vendeur de DELPHI ait modifié cet état de choses.

Lorsque un boucle comme celle que tu montres est aussi petite, Un index de boucle peut valoir tout et n'importe quoi à la sortie d'une boucle (sauf en cas de sortie prématurée break par exemple)
En particulier, selon le niveau d'optimisation ou la version du compilateur, la boucle peut être faite avec un registre et en sortie normale l'index peut valoir à peu près n'importe quoi!

Lorsque j'ai des choses comme ça à faire, j'utilise en général une variable intermédiaire...

Cordialement

[Andnotor]

Il faudrait voir le contexte général mais je n'écrirais pas ce genre de code.

• Comment être sûr que l'optimisation n'a pas généré une boucle descendante, index n'étant pas utilisé à l'intérieur de cette boucle ?
• Si EventCount vaut 0 nous n'entrons pas dans la boucle, que vaut index ?
• Considérer que si la boucle va à son terme et est ascendante index vaudra ValeurMax +1 ne pourrait être "valide" que si cette valeur max est inférieure au high du type, sinon elle vaudra 0 si non signée ou une valeur négative.

Grosse prise de tête en perspective pour pas grand chose à mon avis, surtout qu'ici on connait pertinemment le nombre max de pas et donc le pointeur PID max, on pourrait tester son dépassement