Wieso kommt dieser Compilerhinweis?

[fliegermichl]

Code: Alles auswählen

program Project1;
type
  TPoint = record
    x, y : integer;
  end;

var Points : array of TPoint;

begin
  SetLength(Points, 3);
  Points[0].x := 10;
  Points[0].y := 10;
  Points[1].x := 20;
  Points[1].y := 20;
  Points[2].x := 30;
  Points[2].y := 30;
end. 

Da bekomme ich den Hinweis

Code: Alles auswählen

project1.lpr(10,19) Hint: Variable "Points" of a managed type does not seem to be initialized

SetLength macht doch eben diese Initialisierung.

[Mathias]

So sollte die Warnung weg sein,

Code: Alles auswählen

var Points : array of TPoint = nil;

[fliegermichl]

So sollte die Warnung weg sein,

Code: Alles auswählen

var Points : array of TPoint = nil;

Ja natürlich. Sollte der Compiler nicht aber "wissen", dass SetLength eben diese Initialisierung durchführt?

[Zvoni]

So sollte die Warnung weg sein,

Code: Alles auswählen

var Points : array of TPoint = nil;

Aber dann widerspricht sich die Dokumentation irgendwie
https://www.freepascal.org/daily/doc/rt ... types.html

Are implicitly initialized at the beginning of their scope. Usually this means the memory area reserved for them is zeroed out.
*schnipp*
Dynamic arrays
Are reference counted.

Was nu?
Wird das Ding jetzt implizit initialisiert oder nicht?

Oder gehts eher darum, dass die Variable selbst eigentlich ein Zeiger ist?
Weil nur dann ergibt das was Mathias geschrieben hat Sinn

[af0815]

... RTFM ... dann wird es undurchsichtig. Zvoni hat da recht.

[Warf]

Die Warnungen für managed variablen sind etwas irreführend.
Managed typen werden (fast) immer initialisiert das muss man nicht manuell machen, im Gegenteil, bei managed records kann eine Initialisierung sogar beliebig Komplexität hinzufügen. In FPC 3.2.x ist die Initialisierung über Default allerdings auch broken das wenn man die warning loswerden will man potentiell mehr kaputt macht.

Die Ausnahme für die Initialisierung (oben das "fast immer") ist für dynamische arrays und strings die das result einer Funktion sind, diese werden nicht initialisiert.

Code: Alles auswählen

function foo: String;
begin
  Result += 'A';
end;

var s: String;
begin
  s:=foo; // A
  s:=foo; // AA
  s:=foo; // AAA
  writeLn(s);
end.

Managed records werden hingegen korrekt initialisiert.

Bzg SetLength als Initialisierung, der Grund dafür ist das SetLength den parameter als "var" und nicht als "out" behandelt.