Sémantique des déclarations

La partie qui nécessite d'être explicitée est la partie de la grammaire concernant les déclarateur. La sémantique est la suivante :

$\bullet$

la seule règle de la grammaire qui dérive vers un terminal est la règle :
déclarateur-direct :
$\Rightarrow$ identificateur
ce qui fait qu'a l'intérieur de tout déclarateur se trouve un identificateur. Cet identificateur est le nom de l'objet déclaré par la déclaration. Exemple :

char c;    /* déclaration de la variable c de type char */

$\bullet$

il y a 3 constructeurs de type :

1. * est un constructeur permettant de construire des types « pointeur vers ... ».

   Exemple :

   /* déclaration de p de type pointeur vers short int */
   short int *p;
   

2. ( ) est un constructeur permettant permettant de construire des types « fonction retournant ... ».

   Exemple :

   /* déclaration de sin de type fonction retournant
      un double */
   double sin();
   

3. [ expression-constante$_{option}$ ] est un constructeur permettant de construire des types « tableau de ... ».

   Exemple :

   /* déclaration de t de type tableau de 32 int */
   int t[32];
   

$\bullet$

les constructeurs de type peuvent se composer et sont affectés de priorités. Les constructeurs ( ) et [ ] ont la même priorité, et celle-ci est supérieure à la priorité du constructeur *.

char *t[10]; /* tableau de 10 pointeurs vers des char */
int *f(); /* fonction retournant un pointeur vers un int */
double t[10][10]; /* tableau de 10 tableaux de 10 double */

$\bullet$

tout comme avec des expressions, la règle :
déclarateur-direct :
$\Rightarrow$ ( déclarateur )
permet de parenthéser des déclarateur de manière à en changer la sémantique :

char *t[10];   /* tableau de 10 pointeurs vers un char */
char (*t)[10]; /* pointeur vers un tableau de 10 char  */