|
== Retour sur la gestion des variables en mémoire ==
Pour aborder la notion de pointeur, il convient de revenir sur le notion de variable. Nous devons regarder de plus près ce qu'il se passe au niveau de la machine quand on déclare un variable ou qu'on l'assigne.
Faisons donc un retour sur l'[[architecture des ordinateurs]]. Les variables sont stockées dans une mémoire statique : on peut représenter cette mémoire par un tableau. Chaque ligne de ce tableau est une "case" mémoire c'est à dire une zone ou l'on peut stocker une donnée atomique (par exemple un entier). Dans la machine, toutes ces cases sont numérotées sur n bits (dépend de l'architecture de la machine en question). Ce numéro, attribué de façon unique à chaque case identifie la case : c'est l''''adresse mémoire''' de la case.
Pour la suite nous utiliserons une machine 8 bits, bien que les machines PC grand public ([[w:x86|x86]]) sont aujourd'hui (2006) des machines 32 bits, 64 bits pour les plus récentes.
Nous avons donc une mémoire dont l'adresse de chaque octet est codée sur un octet, ce qui nous fait 256 cases numérotées de 0 à 255, 00 à FF en [[w:hexadécimal|hexadécimal]] (qu'on utilisera pour numéroter les cases mémoires)
[[Image:StructDonnees_Memoires_vierge.svg]]
Que se passe-t-il quand on exécute un programme P ? Et bien le système d'exploitation qui exécute P va allouer au programme autant de place que nécessaire dans cette mémoire statique pour que toutes les variables du lexique de P puisse y être stockées. Les cases ainsi réservées seront représentées sur fond gris.
=== Exemple ===
Avec le programme suivant : il s'agit de l'algorithme [[Algorithmique impérative/Inversion de deux variables|inversion de deux variables]] étudié en [[algorithmique impérative]]) :
Algorithme inversion_calcul
Variables
a : entier
b : entier
...
Voici à quoi ressemble notre mémoire statique si notre machine code les entiers sur un octet (une case mémoire). Schéma de la mémoire avec deux cases <code>a</code> et <code>b</code> réservées :
[[Image:StructDonnees_Memoires_inversion_calcul.svg]]
À chaque assignation d'une variable, on affecte le contenu de la case mémoire dont l'adresse est contenu dans la variable. L'identifiant de la variable est en fait une abstraction, derrière l'identifiant d'une variable se cache l'adresse mémoire de son contenu.
== La mémoire dynamique ==
| 