Qu’est-ce qu’un pointeur et pourquoi existe-t-il ?

Une variable ordinaire comme int x stocke une valeur, et le programme place également cette valeur quelque part en mémoire. Le nom x est une étiquette pratique que le compilateur vous permet d’utiliser pour lire et écrire cette valeur stockée sans avoir à vous soucier de son emplacement physique.

Cet emplacement reste toutefois important, car le processeur (CPU) effectue finalement ses opérations de chargement et de stockage en utilisant des adresses. Même lorsque vous écrivez x = 5;, le code compilé utilise en coulisses une adresse pour localiser les octets appartenant à x et les écraser.

Des valeurs aux emplacements

Une façon utile de concevoir la mémoire est de la voir comme un long tableau d’octets, où chaque octet possède un index appelé « adresse ». Lorsque le compilateur crée x, il choisit une plage d’adresses suffisamment vaste pour contenir un int, puis fait en sorte que chaque utilisation du nom x renvoie à cette plage.

Ce modèle entraîne deux conséquences :

• Si vous modifiez la valeur de x, vous écrasez les octets situés dans la même plage d’adresses.
• Si vous créez une seconde variable y = x, vous obtenez généralement une plage d’adresses distincte contenant une copie de la valeur ; ainsi, les modifications ultérieures apportées à x n’affectent pas y.

Les pointeurs stockent des adresses

Un pointeur est une variable dont la valeur est une adresse. Il ne stocke pas l’entier (int) lui-même, mais l’emplacement où cet entier réside en mémoire ; vous pouvez ainsi suivre cette adresse pour accéder à l’entier.

En C++, deux opérateurs permettent de concrétiser ce concept :

&x    // opérateur d'adresse : produit l'adresse où x est stocké
*p    // opérateur de déréférencement : accède à la valeur stockée à l'adresse contenue dans p

Étudiez le fonctionnement des cases mémoire et la manière dont la valeur peut changer alors que l’adresse reste identique.

Invariant clé Si p est égal à &x, alors *p fait référence à la même valeur stockée que x.

Pourquoi le code réel utilise des pointeurs

Une fois qu’il est possible de stocker une adresse, on peut partager l’accès à un objet au lieu de le copier. Cela se manifeste dans plusieurs situations courantes.

• Partage et mutation. Si deux parties du programme détiennent des pointeurs vers le même objet, une écriture via l’un des pointeurs modifie ce que l’autre partie observe.
• Données optionnelles. Un pointeur peut valoir nullptr pour indiquer l’absence d’objet, ce qui rend cette absence explicite au niveau du type.
• Performances et taille. La copie d’objets volumineux est coûteuse, alors que la copie d’un pointeur est généralement peu coûteuse puisqu’il ne s’agit que d’une adresse.
• Interopérabilité. De nombreuses API C et API de systèmes d’exploitation transmettent des données via des pointeurs car elles fonctionnent à partir d’adresses mémoire.

Comparez les scénarios de copie et de partage, et observez les différences en matière de mutation et de coût.