L'opérateur d'indexation

La sémantique de l'opérateur d'indexation consiste à dire qu'après les déclarations :

int t[N];
int i;

t[i] est équivalent à *(t + i). Vérifions que cela est bien conforme à la façon dont nous l'avons utilisé jusqu'à présent. Nous avons vu que t à pour valeur l'adresse du premier élément du tableau. D'après ce que nous savons sur l'addition entre un pointeur et un entier, nous pouvons conclure que t + i est l'adresse de l'élément de rang i du tableau. Si nous appliquons l'opérateur d'indirection à (t+i) nous obtenons l'élément de rang i du tableau, ce que nous notions jusqu'à présent t[i].