Variable/fr

│ English (en) │ suomi (fi) │ français (fr) │ русский (ru) │

Une variable est une identificateur associé à un bout de mémoire qui peut être inspecté et manipulé durant la durée d'exécution en conformité avec un type de donnée.

Déclaration

Les variables sont déclarées dans une section var.

En Pascal, chaque variable a un type de donnée déjà connu au moment de la compilation (et laissons tomber le type de donnée variant). Une variable est déclarée par un t-uple [math]\displaystyle{ (\text{identifier}, \text{data type identifier}) }[/math], séparé par un deux-points (:) :

var
	foo: char;

Selon les exigences d'espace du type de donnée, la quantité de mémoire appropriée est réservée sur la pile, aussitôt que l'on est entré dans la portée. L'emplacement de la section var détermine sui l'on parle de variables globales ou locales.

Manipulation

Les variables sont manipulées par l'opérateur d'affectation :=. De plus, une série de procédures intégrées attribuent implicitement des valeurs à une variable :

• routines d'entrée/sortie comme get et put, read et readLn, assign et close
• new et dispose lors de la manipulation des pointeurs vers des objets
• setLength lors de la manipulation des tableaux dynamiques.

Définition

En Pascal étendu, une variable peut être définie i.e. déclarée et initialisée, en un terme en faisant comme suit:

var
	x: integer value 42;

Le FPC à partir de la version 3.2.0 ne prend en charge que la notation = de Borland Delphi :

var
	x: integer = 42;

La notation VAX Pascal utilisant := n'est pas supportée du tout.

Accès

Une variable est accédée, ce qui veut dire que la valeurà la position mémoire référencée est lue, simplement en spécifiant son identificateur (partout où une expression est attendue).

Notez qu'il existe quelques types de données qui sont en fait des pointeurs, mais qui sont automatiquement déréférencés, y compris, mais sans s'y limiter, les classes, les tableaux dynamiques et les chaînes ANSI. Avec {$modeSwitch autoDeref+} (non recommandé), les pointeurs également typés sont silencieusement déréférencés sans que le ^ (symbole de chapeau) ne soit présent. Cela signifie que vous n'opérez pas nécessairement sur le bloc de mémoire réel auquel la variable est véritablement associée, mais ailleurs. Habituellement, le morceau de mémoire de la variable est interprété en fonction de son type de données tel qu'il a été déclaré. Avec les conversions de type l'interprétation du bloc de mémoire d'une variable donnée peut être modifiée (par expression).

Alias de mémoire

In conjunction with the keyword absolute an identifier can be associated with a previously reserved blob of memory. While a plain [math]\displaystyle{ (\text{identifier}, \text{data type}) }[/math] tuple actually sets a certain amount of memory aside, the following declaration of c does not occupy any additional space, but links the identifier c with the memory block that has been reserved for x:

var
	x: byte;
	c: char absolute x;

Here, the memory alias was used as a, one of many, strategies to convince the compiler to allow operations valid for the char type while the underlying memory was originally reserved for a byte. This feature has to be chosen wisely. It necessarily requires knowledge of data type’s memory structure, if nothing is supposed to trigger any sort of access violations.

Most importantly, the additionally referenced memory will be treated as if it was declared regularly. No questions asked.

Voir aussi

• Constante