4.1. Exemple : les tableaux

La spécification de la structure de tableau peut se faire de la mani ère suivante :

• leur déclaration spécifie un intervalle d'indices et un type de base. Ceci détermine indirectement la taille du tableau. Une variante pourrait être que la déclaration spécifie la taille du tableau et le type de base, en supposant que l'indice est de type entier et que la borne inférieure est égale à 1 (cas du langage FORTRAN, si l'on suppose que l'initiale de l'identificateur de tableau sert à la spécification du type de base, en l'absence de déclaration explicite).

• le rôle du tableau est de conserver pour chaque valeur d'indice une valeur de type de base associée.

• une seule valeur du type de base peut être associée à chaque valeur d'indice.

• les primitives de manipulations sont  
  1. associer une valeur du type de base à une certaine valeur d'indice,
  2. fournir la valeur de type de base associée à une certaine valeur d'indice.
  3. en fonction de la déclaration, diagnostiquer la validité de l'indice fourni.

• On peut envisager de pouvoir associer, lors de la déclaration d'un tableau, une valeur initiale à quelques (ou toutes les) valeurs d'indices. C'est le cas du langage Ada, par exemple.

On peut noter qu'il n'a pas été spécifié de primitive permettant de tester si une valeur a été associée à un certain indice. On peut aussi noter que l'utilisation d'un intervalle d'indices induit un séquencement implicite des valeurs de type de base associées à ces indices. Ainsi, l'on pourra dire que deux valeurs se suivent dans le tableau si les valeurs des indices auxquels elles sont associées se suivent dans la séquence des indices. Cela ne signifie pas pour autant que ces valeurs de type de base seront effectivement stockées dans des zones contiguës de la mémoire (même si c'est presque toujours le cas en réalité, pour des raisons d'efficacité).

4.2. Exemple : les ensembles

Table des matières.

Site Hosting: Bronco