Initialisierungswerte von Variablen

[RSE]

Hallo!

Welcher Typ von Variablen wird eigentlich standardmäßig mit welchen Werten initialisiert vom Compiler?

Falls initialisiert wird, nehme ich mal an, dass folgende Werte benutzt werden (bitte um Bestätigung!):
Ordinale Typen: 0 (null)
Realtypen: 0.0 (null komma nix)
Boolean: False
Strings: '' (Leerstring)
Zeigertypen (auch Objekte): nil

Wann wird initialisiert?

• globale Variablen?
• lokale Variablen?
• Variablen in strukturierten Typen (records, Klassen/Objekte)?
• Arrays?

Gibt es noch weitere andere Vorkommen von Variablen?

Diese nformationen vermisse (oder übersehe??) ich im FPC Reference Guide.

[theo]

Ich kann dir nur eins sagen: Vorsicht!
Habe erst neulich einen hartnäckigen Bug im JanSQL Port beseitigt, der eine falsche Annahme gemacht hat (funktionierte "zufällig" in Delphi).
Lokale boolsche Variablen sind jedenfalls unbestimmt.

S.a: http://www.mail-archive.com/fpc-devel@l ... 14738.html" onclick="window.open(this.href);return false;
http://www.mail-archive.com/fpc-devel@l ... 14742.html" onclick="window.open(this.href);return false;

[monta]

Also meiner Meinung nach sollte man sich nie auf eine initialisierung des FPC bei Zahlen verlassen. Und es gibt meiner Meinung nach auch keine.
Das Einzige, worauf man sich wohl verlassen kann, ist, das ein neuer String leer ist, was wohl aber auch damit zusammenhängt, das er keine gesetzte Länge hat, solange nichts zugewiesen wurde.
Der Rest sind, bspw. bei Integer, Zufallszahlen.

[RSE]

Ich hab schon mal irgendwo gelesen, was wann initialisiert wird und was nicht, finde es aber nicht mehr. Daher wäre es eben sinnvoll diese Regeln mal im FPC Reference Guide mit aufzunehmen. Aber das muss einer der Dev´s mal machen.

Edit:
Mir geht´s aktuell jetzt um die Initialisierung der Felder (Variablen) in einer Klasse. Die sind bei den LCL-Klassen nämlich zumindest nicht im Constructor allesamt initialisiert.

[theo]

Hab mal gegoogelt. In Delphi ist es so:

-Object fields are always initialized to 0, 0.0, '', False, nil or whatever applies.
-Global variables are always initialized.
-Local variables are unitialized so you have to assign a value before you can use them.

Wird mit FPC nicht anders sein.

[RSE]

Klingt wie das, was ich da mal gefunden hatte... war also für Delphi, deshalb hatt ich´s nicht wiedergefunden. Ich würd allerdings nicht drauf bauen, dass es der FPC-Compiler genauso handhabt, daher wär mir mal eine definitive Aufstellung für den FPC lieb. Dann würden hier alle mal wissen, wie´s denn tatsächlich läuft, anstatt auf Verdacht immer alles selbst noch mal zu initialisieren.

[theo]

Ich denke das stimmt schon so auch 100% für FPC.
Du siehst ja auch, dass der Compiler keine Warnung ausgibt bei Klassenfeldern oder globalen Variablen. Bei lokalen hingegen schon.
Und wenn sie schon initialisiert sind, mit was sonst als mit 0, 0.0, '', nil, false etc. ?

[pluto]

Also bei mir waren Intereger oder Real Variablen selten mit 0 Installisiert. Ob Local oder Gobale. Da ist wie schon mehrmals gesagt, vorsichtgeboten. Am einfachsten ist alles was angelegt wird auch zu Installisieren, dann gibt es keine Fehler.

[Dets]

Warum lange rumrätseln? Das

Code: Alles auswählen

var
  i: integer;
begin
  ShowMessage(IntToStr(i));
end;

liefert bei mir das Ergebnis: -1207044148
Dets ...

[RSE]

Damit wäre geklärt, dass lokale Variable nicht initialisiert werden. Wenn allerdings mal irgendwo ein initialisiert aussehender Wert rauskommt, dann kann der auch zufällig null sein. Man kann so also nur Nichtinitialisierung nachweisen. Meine Feldvariable ist auch null, aber ist sie tatsächlich auf null initialisiert, kann ich mich darauf verlassen, oder ist sie nur zufällig null?

[theo]

Damit wäre geklärt, dass lokale Variable nicht initialisiert werden. Wenn allerdings mal irgendwo ein initialisiert aussehender Wert rauskommt, dann kann der auch zufällig null sein. Man kann so also nur Nichtinitialisierung nachweisen. Meine Feldvariable ist auch null, aber ist sie tatsächlich auf null initialisiert, kann ich mich darauf verlassen, oder ist sie nur zufällig null?

Hab ich doch hier beantwortet: http://www.lazarusforum.de/viewtopic.php?p=32432#p32432" onclick="window.open(this.href);return false;

[RSE]

"Ich denke schon" klingt halt anders als "ich bin mir sicher"...
Weißt du es nun genau, oder vermutest du mit hoher Wahrscheinlichkeit? Würdest du es bei "komischen" Fehlern in Frage stellen, oder bist du dir sicher, dass sie so initialisiert werden, wie du geschrieben hast?

[theo]

Was heisst sicher?
Ich würde sagen: Wenn es nicht so ist, wie ich es beschrieben habe, dann ist es ein Bug.
Dass der Kompiler nur bei lokalen Variablen Warnungen ausgibt, ist ein starkes Indiz dass es sich wie bei Delphi verhält.
Dass die Variablen absichtlich mit was anderem als 0,0.0,nil,'',false initialisiert würden, wäre unlogisch und inkompatibel.

Ich will dir aber nicht davon abraten, die Variablen selber zu initialisieren.

[RSE]

Dass der Kompiler nur bei lokalen Variablen Warnungen ausgibt, ist ein starkes Indiz dass es sich wie bei Delphi verhält.

Das ist allerdings richtig! Ergo geh ich mal einfach davon aus, dass es sich so verhält und initialisiere nicht nochmal. Dass die Felder in den Konstruktoren der LCL-Klassen auch nicht initialisiert werden, ist ja ein weiteres Indiz für die Richtigkeit der Annahme.

Dass die Variablen absichtlich mit was anderem als 0,0.0,nil,'',false initialisiert würden, wäre unlogisch und inkompatibel.

Das hätte ich auch nicht vermutet, hab das nur hingeschrieben, damit es komplett ist

[af0815]

Das Verhalten des FPCs beim initialisieren ist in der Dokumentation erklärt, Kapitel 4.4
Auszug:

Code: Alles auswählen

By default, variables in pascal are not initialized after their declaration. Any assumption that they contain 0 or any other default value is erroneous: They can contain rubbish.