Le variabili delphi sono inizializzate con un valore per impostazione predefinita?

Sono nuovo di Delphi e ho eseguito alcuni test per vedere quali variabili oggetto e variabili di stack sono inizializzate per impostazione predefinita:

TInstanceVariables = class
  fBoolean: boolean; // always starts off as false
  fInteger: integer; // always starts off as zero
  fObject: TObject; // always starts off as nil
end;

Questo è il comportamento a cui sono abituato da altre lingue, ma mi chiedo se sia sicuro fare affidamento su di esso in Delphi? Ad esempio, mi chiedo se potrebbe dipendere da un'impostazione del compilatore o forse funzionare in modo diverso su macchine diverse. È normale fare affidamento sui valori inizializzati predefiniti per gli oggetti o si impostano esplicitamente tutte le variabili di istanza nel costruttore?

Per quanto riguarda le variabili stack (a livello di procedura), i miei test mostrano che i booleani unitializzati sono veri, gli interi unitializzati sono 2129993264 e gli oggetti non inizializzati sono solo puntatori non validi (cioè non nulli). Immagino che la norma sia quella di impostare sempre le variabili a livello di procedura prima di accedervi?

Sì, questo è il comportamento documentato:

• I campi oggetto sono sempre inizializzati su 0, 0,0, '', False, nil o qualsiasi altra cosa si applichi.

• Anche le variabili globali sono sempre inizializzate su 0 ecc .;

• Le variabili locali conteggiate in riferimento * sono sempre inizializzate a zero o '';

• Le variabili locali non conteggiate in riferimento * non sono inizializzate, quindi è necessario assegnare un valore prima di poterle utilizzare.

Ricordo che Barry Kelly da qualche parte ha scritto una definizione per "riferimento conteggiato", ma non riesce più a trovarla, quindi questo dovrebbe fare nel frattempo:

conteggio dei riferimenti == che vengono conteggiati in base ai riferimenti oppure contengono direttamente o indirettamente campi (per i record) o elementi (per gli array) che sono conteggiati in riferimento come: string, variant, interface o array dinamico o array statico contenente tali tipi.

Appunti:

• record di per sé non è sufficiente per essere contato come riferimento
• Non l'ho ancora provato con i generici

Le variabili globali che non hanno un inizializzatore esplicito vengono allocate nella sezione BSS dell'eseguibile. In realtà non occupano spazio nell'EXE; la sezione BSS è una sezione speciale che il sistema operativo assegna e cancella a zero. Su altri sistemi operativi esistono meccanismi simili.

Puoi dipendere dall'inizializzazione delle variabili globali.

I campi delle classi sono di default zero. Questo è documentato in modo che tu possa fare affidamento su di esso. Le variabili dello stack locale non sono definite a meno che la stringa o l'interfaccia non siano impostate su zero.

Proprio come una nota a margine (dato che sei nuovo in Delphi): le variabili globali possono essere inizializzate direttamente quando le dichiari:

var myGlobal:integer=99;

Ecco una citazione di Ray Lischners Delphi in a Nutshell Capitolo 2

"Quando Delphi crea per la prima volta un oggetto, tutti i campi iniziano vuoti, ovvero i puntatori vengono inizializzati a zero, le stringhe e gli array dinamici sono vuoti, i numeri hanno il valore zero, i campi booleani sono False e le varianti sono impostate su Unassigned. (Vedere NewInstance e InitInstance nel Capitolo 5 per i dettagli.) "

È vero che le variabili local-in-scope devono essere inizializzate ... Tratterei il commento sopra che "le variabili globali sono inizializzate" come dubbio fino a quando non viene fornito un riferimento - non ci credo.

modifica ... Barry Kelly dice che puoi fare affidamento sul fatto che siano inizializzati a zero, e dal momento che fa parte del team di compilatori Delphi credo che sia valido :) Grazie Barry.

Le variabili globali e i dati dell'istanza dell'oggetto (campi) vengono sempre inizializzati a zero. Le variabili locali nelle procedure e nei metodi non vengono inizializzate in Win32 Delphi; il loro contenuto non è definito fino a quando non si assegna loro un valore nel codice.

Anche se una lingua offre inizializzazioni predefinite, non credo che dovresti fare affidamento su di esse. L'inizializzazione su un valore rende molto più chiaro agli altri sviluppatori che potrebbero non conoscere le inizializzazioni predefinite nella lingua e previene i problemi tra i compilatori.

Dal file della guida di Delphi 2007:

ms-help: //borland.bds5/devcommon/variables_xml.html

"Se non si inizializza esplicitamente una variabile globale, il compilatore la inizializza a 0."

Ho una piccola lamentela con le risposte fornite. Delphi azzera lo spazio di memoria delle globali e degli oggetti appena creati. Sebbene questo NORMALMENTE significhi che sono inizializzati, c'è un caso in cui non lo sono: tipi enumerati con valori specifici. E se zero non fosse un valore legale?

Le variabili inline di nuova introduzione (da Delphi 10.3) stanno rendendo più facile il controllo dei valori iniziali.

procedure TestInlineVariable;
begin
  var index: Integer := 345;
  ShowMessage(index.ToString);
end;