Warnung bei FillByte

[Mathias]

Code: Alles auswählen

procedure test;
var
  Data: array [0..255] of byte;
begin
  FillByte(Data, SizeOf(Data),$00);
end;     

Wieso kommt hier folgende Warnung ?

Code: Alles auswählen

project1.lpr(7,16) Hint: Local variable "Data" does not seem to be initialized

Ich initialisiere doch Data mit FillByte.

[theo]

Ein Hint ist keine Warnung sondern ein Hinweis. Das ist nicht das Gleiche. Warnungen gibt es auch, die sind etwas ernster, aber auch noch keine Errors, wenn man weiss, was man tut.
Ich weiss nicht, warum er den Hinweis bringt, aber allgemein sollte man sich mit Hinweisen nicht abmühen.
Einfach vergessen.

[Stevie]

Also ich habe Deine Prozedur gerade mal in ein kleines Dummy-Programm verpackt und dann sowohl mit einer 3.2.0 also auch mit einem Trunk-FPC übersetzt und bei beiden bekomme ich dasselbe Ergebnis:

Code: Alles auswählen

program a;

procedure test;
var
  Data: array [0..255] of byte;
begin
  FillByte(Data, SizeOf(Data),$00);
end;

begin
 test;
end.

... übersetzt ohne Probleme mit ...

Code: Alles auswählen

$ fpc a.pas
Free Pascal Compiler version 3.2.0 [2020/06/27] for x86_64
Copyright (c) 1993-2020 by Florian Klaempfl and others
Target OS: Linux for x86-64
Compiling a.pas
Linking a
12 lines compiled, 0.4 sec
$

Benutzt Du eventuell eine deutlich ältere FPC-Version?

[Mathias]

Benutzt Du eventuell eine deutlich ältere FPC-Version?

Nein, eine brandneu.

[wp_xyz]

Der erste Parameter in FillByte, dein "Data", ist ein "var" Parameter. Das signalisiert, dass die aufgerufene Funktion den Wert lesen und schreiben kann. Falls Data gelesen wird, (was hier natürlich nicht der Fall ist), fällt dem compiler auf, dass Data keinen wohldefinierten Wert hat, denn an Data ist von der aufrufenden Funktion nichts zugewiesen worden. Daher der Hinweis.

Es würde helfen, den Parameter in FillByte mit "out" zu deklarieren (kann man natürlich nicht ohne die FPC Routine zu ändern), denn dann wird für Data kein Eingabewert erwartet/benötigt.

Oder du initialisierst den Parameter. Das geht oft am einfachsten gleich bei der Deklaration. Ist der var-Parameter z.B. ein String, kann man den bei der Deklaration auf '' setzen, bei Zahlen auf 0, bei Pointern oder dynamischen Arrays auf nil:

Code: Alles auswählen

program Project1;

procedure ExtractNumber(var s: String);
var
  i: Integer;
begin
  i := Length(s);
  while i > 0 do
  begin
    if not (s[i] in ['0'..'9']) then
      Delete(s, i, 1);
    dec(i);
  end;
end;

var
  s: String = '';
begin
  ExtractNumber(s);
end.  

Bei "Data: array[0..255] of byte" geht das nicht, da würde ich auf den Hint rechts-klicken und die Option zum Ignorieren der Meldung auswählen.

[m.fuchs]

Bei "Data: array[0..255] of byte" geht das nicht, da würde ich auf den Hint rechts-klicken und die Option zum Ignorieren der Meldung auswählen.

Also gehen tut das schon:

Code: Alles auswählen

var
  Data: array [0..255] of byte = (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
                                  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0); 

Aber ob sich das jetzt lohnt, nur um den Hint nicht zu sehen?

[Stevie]

Also gehen tut das schon:
...

Wäre es da nicht einfacher, folgendes zu machen:

Code: Alles auswählen

procedure test;
var
  Data: array [0..255] of byte;
begin
 Data[0]:=0;    // <--- neu
 FillByte(Data, SizeOf(Data),$00);
end;

Auch dann sollte doch der Hint verschwinden, weil Data ja somit (ein bisschen) initialisiert ist. Und da direkt danach das FillByte(...) kommt, ist es auch nicht gefährlich.

Mich würde aber eher mal interessieren, warum der Hint bei Mathias auftaucht, bei mir aber bspw. nicht. Bin ich denn der einzige, der den Hint nicht bekommt?

[wennerer]

Hast du hier einen Haken:

Hinweis.png (109.22 KiB) 6998 mal betrachtet

Viele Grüße
Bernd

[Stevie]

Hast du hier einen Haken:

Jop, stimmt, das ist bei Aufruf per Kommandozeile nicht der Fall und da ich das auch nicht in der .fpc.cfg habe, ist das mal die Antwort auf meine eigene Frage.Und in dem Zusammenhang konnte ich auch gleich testen (und bestätigen), dass mein ...

Code: Alles auswählen

Data[0] := 0

... den Hint aufhebt.

[wp_xyz]

Code: Alles auswählen

procedure test;
var
  Data: array [0..255] of byte;
begin
 Data[0]:=0;    // <--- neu
 FillByte(Data, SizeOf(Data),$00);
end;

Könnte sein, dass nun ein Hint kommt a la "Not all elements initialized"...

Wenn "array[0..255] of byte" ein eigener Typ wäre, z.B. TByteArray256, dann könnte man das Folgende machen:

Code: Alles auswählen

type
  TByteArray256 = array[0..255] of Byte;
var
  Data: TByteArray256;
begin
  Data := Default(TByteArray256);
  FillByte(Data, SizeOf(Data), 0);

[Stevie]

Bei mir kommt nach der Initialisierung des ersten Element des Arrays tatsächlich gar kein Hint mehr. So weit geht die Fürsorge des Compilers dann doch nicht.

Das komplette 'Reinigen' mit Default ist aber auf jeden Fall besser.

[Mathias]

Wenn "array[0..255] of byte" ein eigener Typ wäre, z.B. TByteArray256, dann könnte man das Folgende machen:

Code: Alles auswählen

type
  TByteArray256 = array[0..255] of Byte;
var
  Data: TByteArray256;
begin
  Data := Default(TByteArray256);
  FillByte(Data, SizeOf(Data), 0);

Könnte man da nicht das FillChar weglassen, ausser man will was anderes als $00 ?


Was noch echt cool wäre, wen es sowas in dieser Art geben würde:

Code: Alles auswählen

type
  Tvec=array[0..2] of Single = default(1, 0, 0);
var
  vec:Tvec;   

[Mathias]

Bei "Data: array[0..255] of byte" geht das nicht, da würde ich auf den Hint rechts-klicken und die Option zum Ignorieren der Meldung auswählen.

Schon wieder was neues gelernt, das mit den Rechtsklick kannte ich nicht, habe bis jetzt immer manuell das {%H-} eingefügt.

[PascalDragon]

Es würde helfen, den Parameter in FillByte mit "out" zu deklarieren (kann man natürlich nicht ohne die FPC Routine zu ändern), denn dann wird für Data kein Eingabewert erwartet/benötigt.

Es ist aus zwei Gründen ein var- und kein out-Parameter:

• historisch / Rückwärtskompatibilität
• ein out würde tatsächlich zu mehr Problemen führen (es gab da Mal vor langer Zeit einen Mailing List Thread dazu, wo Jonas das erklärt hat, den müsste ich aber erstmal finden...)

[wp_xyz]

Wenn "array[0..255] of byte" ein eigener Typ wäre, z.B. TByteArray256, dann könnte man das Folgende machen:

Code: Alles auswählen

type
  TByteArray256 = array[0..255] of Byte;
var
  Data: TByteArray256;
begin
  Data := Default(TByteArray256);
  FillByte(Data, SizeOf(Data), 0);

Könnte man da nicht das FillChar weglassen, ausser man will was anderes als $00 ?

Natürlich.

Was noch echt cool wäre, wen es sowas in dieser Art geben würde:

Code: Alles auswählen

type
  Tvec=array[0..2] of Single = default(1, 0, 0);
var
  vec:Tvec;   

Auf meiner Wunschliste wäre, das "Default" direkt bei der deklaration einsetzen zu können:

Code: Alles auswählen

type
  TData = record
    Name: String;
    X, Y: Integer;
    Description: String;
  end;
  
var
  Data: TData = default;