Les variables delphi sont-elles initialisées par une valeur par défaut ?

Question

Je suis nouveau dans Delphi, et j'ai effectué quelques tests pour voir à quoi les variables d'objet et de pile sont initialisées par défaut :

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

C'est le comportement auquel je suis habitué dans d'autres langues, mais je me demande s'il est prudent de s'y fier dans Delphi ? Par exemple, je me demande si cela ne dépend pas d'un paramètre du compilateur, ou si cela ne fonctionne pas différemment sur différentes machines. Est-il normal de se fier aux valeurs initialisées par défaut pour les objets, ou faut-il définir explicitement toutes les variables d'instance dans le constructeur ?

En ce qui concerne les variables de la pile (au niveau de la procédure), mes tests montrent que les booléens unitialisés sont vrais, les entiers unitialisés sont 2129993264, et les objets non initialisés sont juste des pointeurs invalides (c'est-à-dire pas nil). Je suppose que la norme est de toujours définir les variables de niveau procédure avant d'y accéder ?

Answer 1

Oui, c'est le comportement documenté :

• Les champs d'objets sont toujours initialisés à 0, 0.0, '', False, nil ou ce qui s'applique.

• Les variables globales sont toujours initialisées à 0 etc. également ;

• Les variables locales à référence comptée* sont toujours initialisées à nil ou '' ;

• Les variables locales non comptées par référence* ne sont pas initialisées, vous devez donc leur attribuer une valeur avant de pouvoir les utiliser.

Je me souviens que Barry Kelly J'ai écrit quelque part une définition pour "reference-counted", mais je ne la trouve plus, donc ceci devrait faire l'affaire en attendant :

compté en référence == qui sont eux-mêmes compté en référence, ou contiennent directement ou indirectement des champs (pour les enregistrements) ou des éléments (pour les tableaux) qui sont comptés comme des références : string, variant, interface ou réseau dynamique ou tableau statique contenant de tels types.

Notes :

• record ne suffit pas à devenir une référence
• Je n'ai pas encore essayé avec les génériques

Answer 2

Les variables globales qui n'ont pas d'initialisateur explicite sont allouées dans la section BSS de l'exécutable. Elles n'occupent pas réellement d'espace dans l'EXE ; la section BSS est une section spéciale que le système d'exploitation alloue et remet à zéro. Sur d'autres systèmes d'exploitation, il existe des mécanismes similaires.

Vous pouvez compter sur le fait que les variables globales sont initialisées à zéro.

Answer 3

Les champs de classe sont par défaut à zéro. Ceci est documenté afin que vous puissiez vous y fier. Les variables locales de la pile sont indéfinies, à moins qu'il ne s'agisse de chaînes ou d'interfaces, qui sont mises à zéro.

Answer 4

Juste un petit mot (puisque vous êtes nouveau dans Delphi) : Les variables globales peuvent être initialisées directement lors de leur déclaration :

var myGlobal:integer=99;

Answer 5

Voici un extrait de Delphi in a Nutshell de Ray Lischner. Chapitre 2

" Lorsque Delphi crée un objet pour la première fois, tous les champs commencent par être vides, c'est-à-dire que les pointeurs sont initialisés à nil, les chaînes de caractères et les tableaux dynamiques sont vides, les nombres ont la valeur zéro, les champs booléens sont False et les variantes ont la valeur Unassigned. (Voir NewInstance et InitInstance au chapitre 5 pour plus de détails)."

Il est vrai que les variables locales doivent être initialisées... Je considère le commentaire ci-dessus selon lequel "les variables globales sont initialisées" comme douteux jusqu'à ce qu'une référence soit fournie - je ne le crois pas.

éditer... Barry Kelly dit que l'on peut compter sur le fait qu'ils soient initialisés à zéro, et comme il fait partie de l'équipe du compilateur Delphi, je crois que cela tient la route :) Merci Barry.