Pointeur sur élément d'un tableau multidimensionnel

Bonjour,

Si dans la pratique, les tableaux multidimensionnels sont stocké comme une unique suite d'éléments consécutifs, est-ce garanti par le standard ? Si je veux itérer sur un tableau multidimensionnel par l'intermédiaire d'un pointeur, pointera t-il toujours sur un emplacement légal ? Est-ce qu'il peut y avoir des contraintes d'alignement laissant des blancs entre les lignes ?

Code:

---

1 2 3 4

int t[16][16][16];   for (int *p = &t[0][0][0] ; p < &t[15][15][16] ; p++) *p = 1;

---

Bref, ce code est il conforme au(x) standard(s) c++ ou repose t-il sur un comportement indéfini ?

Comme la contiguïté des éléments d'un tableau est garantie par le standard, celle des tableaux multidimensionnels (tableaux de tableaux) l'est aussi implicitement.

Tu pourrais aussi prendre t[16][0][0] comme dernier élément +1.

Je n'ai pas réussi à trouver "implicite" ce fait en parcourant le standard c++. En particulier, je n'ai rien trouvé qui implique qu'un tableau multidimensionnel soit toujours représenté par un tableau unidimensionnel de taille le produit des dimensions.

Si ça n'est pas assez implicite pour toi, tu peux le déduire de sizeof (5.3.3.2),

Citation:

---

This implies that the size of an array of n elements is n times the size of an element.

---

J'ai un peu cherché, il y a une chaîne de raisonnement qui permet de conclure.

Citation:

---

Envoyé par 8.3.4/4

For another example,
static int x3d[3][5][7];
declares a static three-dimensional array of integers, with rank 3×5×7. In complete detail, x3d is an array of three items; each item is an array of five arrays; each of the latter arrays is an array of seven integers.

---

Citation:

---

Envoyé par 8.3.4/1

An object of array type contains a contiguously allocated nonempty set of N subobjects
of type T.

---

Citation:

---

Envoyé par 5.3.3 (sizeof)/2

When applied
to an array, the result is the total number of bytes in the array. This implies that the size of an array of n elements is n times the size of an element.

---

Donc, de (1), on sait qu'un array multidimensionnel est un array d'arrays. De (2), on sait qu'un array ne peut pas contenir de trou entre ses éléments. Je ne sais pas si on peut déduire de (2) qu'il n'a pas non plus le droit de contenir de l'espace supplémentaire avant ou après les n données. Mais (3) clarifie ce point, la réponse est non, un array ne contient rien d'autre que ses éléments. On en déduit donc qu'un array d'arrays est lui aussi contigu, et donc qu'on peut le parcourir à plat.

Merci. Je dois avouer que ce standard m'effraie.