Discussion :

[tourlourou]

Bonjour,
Un petit problème amusant dans une fonction : un paramètre entier change de valeur dans le code suivant...

Code :

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

1
2
3
4
5
6
7
8
9
10
11
function lyRead(id: PSQLite3_File; Data: PByteArray; Size: integer; Offset: int64): integer; cdecl;
var
  SizeRead: integer;
begin
  ShowMessage('Enter Read');
  Seek(id^.F_File, Offset);
  BlockRead(id^.F_File, Data, Size, SizeRead); // Size à lire = 100
  if SizeRead<>Size // SizeRead vaut 100, mais Size ne vaut plus 100 !!!  
  then raise Exception.Create('Size Read Error') // => le test me jette
  else Result:=SQLITE_OK;
end;

mais ceci se passe fort bien !?!?!?

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
function lyRead(id: PSQLite3_File; Data: PByteArray; Size: integer; Offset: int64): integer; cdecl;
var
  SizeRead: integer;
  temp: integer;
begin
  ShowMessage('Enter Read');
  Seek(id^.F_File, Offset);
  temp:=Size; // voici une variable
  BlockRead(id^.F_File, Data, Size, SizeRead);
  if SizeRead<>temp // bien constante !!!
  then raise Exception.Create('Size Read Error')
  else Result:=SQLITE_OK; // tout arrive...
end;

tout en notant que l'examen de la valeur de Size après le BlockRead vaut dans les 2 cas 1713399156, et que la définition de la fonction est

Code :

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

Procedure BlockRead(var f:File;var Buf;count:Longint;var Result:Longint);

où le paramètre Count est passé par valeur...

[tourlourou]

Dans la mesure où le code ci-dessous fonctionne également, mais où le paramètre Size vaut lui aussi la valeur mystère après exécution (!) :

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
function lyRead(id: PSQLite3_File; Data: PByteArray; Size: integer; Offset: int64): integer; cdecl;
var
  ReadSize, SizeRead, i: integer;
  P: PByte;
begin
  ShowMessage('Enter Read');
  ReadSize:=Size;
  Seek(id^.F_File, Offset);
  BlockRead(id^.F_File, Data, ReadSize, SizeRead);
  if SizeRead=ReadSize
  then Result:=SQLITE_OK
  else begin
    if SizeRead>ReadSize
    then raise Exception.Create('Oversize Read Error')
    else begin
      Result:=SQLITE_IOERR_SHORT_READ;
      P:=@Data^[SizeRead];
      for i:=1 to ReadSize-SizeRead
      do begin
        P^:=0;
        Inc(P);
      end;
    end;
  end;
end;

Je suis allé revoir le prototype en C que j'ai traduit :

Code :

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

int (*xRead)(sqlite3_file*, void*, int iAmt, sqlite3_int64 iOfst);

et je ne vois pas d'erreur...
le fait d'ajouter const devant Size ne change rien (ça m'aurait étonné).

[EDIT] L'ordre des paramètres n'est pas en cause : ils arrivent bien dans l'ordre attendu...

[Paul TOTH]

et ça fait quoi si tu fais un

Code :

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

1
2
3
4
5
6
7
8
9
 
...
{$IFDEF WIN32}
  AllocConsole;
{$ENDIF}
  WriteLn('ReadSize = ', ReadSize);
  BlockRead(id^.F_File, Data, ReadSize, SizeRead);
  WriteLn('ReadSize = ', ReadSize);
...

[tourlourou]

Code :

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

1
2
3
4
5
6
7
8
  ReadSize:=Size;
  AllocConsole;
  WriteLn('ReadSize = ', IntToStr(ReadSize)); // 100
  WriteLn('Size = ', IntToStr(Size)); // 100
  Seek(id^.F_File, Offset);
  BlockRead(id^.F_File, Data, ReadSize, SizeRead); 
  WriteLn('ReadSize = ', IntToStr(ReadSize)); // 100 
  WriteLn('Size = ', IntToStr(Size)); // 1713399156 !!!

C'est choquant !

[Paul TOTH]

ce doit être un bug d'optimisation je suppose, essai de la désactiver {$O-}

NB: WriteLn sait écrire des entiers, le IntToStr n'est pas nécessaire.

[tourlourou]

Effectivement, le comportement redevient plus sain en désoptimisant !