Comme les pointeurs jouent un rôle si important, le langage C soutient une série d'opérations arithmétiques sur les pointeurs que l'on ne rencontre en général que dans les langages machines. Le confort de ces opérations en C est basé sur le principe suivant:
- Affectation par un pointeur sur le même type
Soient P1 et P2 deux pointeurs sur le même type de données, alors l'instruction
P1 = P2;
fait pointer P1 sur le même objet que P2
- Addition et soustraction d'un nombre entier
Si P pointe sur l'élément A[i] d'un tableau, alors
P+n |
pointe sur A[i+n] |
|
| P-n |
pointe sur A[i-n] |
- Incrémentation et décrémentation d'un pointeur
Si P pointe sur l'élément A[i] d'un tableau, alors après l'instruction
P++; |
P pointe sur A[i+1] |
|
| P+=n; |
P pointe sur A[i+n] |
|
| P--; |
P pointe sur A[i-1] |
|
| P-=n; |
P pointe sur A[i-n] |
Domaine des opérations
L'addition, la soustraction, l'incrémentation et la décrémentation sur les pointeurs sont seulement définies à l'intérieur d'un tableau. Si l'adresse formée par le pointeur et l'indice sort du domaine du tableau, alors le résultat n'est pas défini.
Seule exception: Il est permis de 'pointer' sur le premier octet derrière un tableau (à condition que cet octet se trouve dans le même segment de mémoire que le tableau). Cette règle, introduite avec le standard ANSI-C, légalise la définition de boucles qui incrémentent le pointeur avant l'évaluation de la condition d'arrêt.
Exemples
int A[10]; |
|
| int *P; |
|
| P = A+9; |
/* dernier élément -> légal */ |
| P = A+10; |
/* dernier élément + 1 -> légal */ |
| P = A+11; |
/* dernier élément + 2 -> illégal */ |
| P = A-1; |
/* premier élément - 1 -> illégal */ |
- Soustraction de deux pointeurs
Soient P1 et P2 deux pointeurs qui pointent dans le même tableau:
P1-P2 |
fournit le nombre de composantes comprises entre P1 et P2. |
Le résultat de la soustraction P1-P2 est
- négatif, |
si P1 précède P2 |
|
| - zéro, |
si P1 = P2 |
|
| - positif, |
si P2 precède P1 |
|
| - indéfini, |
si P1 et P2 ne pointent pas dans le même tableau |
Plus généralement, la soustraction de deux pointeurs qui pointent dans le même tableau est équivalente à la soustraction des indices correspondants.
- Comparaison de deux pointeurs
On peut comparer deux pointeurs par <, >, <=, >=, ==, !=.
La comparaison de deux pointeurs qui pointent dans le même tableau est équivalente à la comparaison des indices correspondants. (Si les pointeurs ne pointent pas dans le même tableau, alors le résultat est donné par leurs positions relatives dans la mémoire).