Qualificatifs de type

        Il y a deux façons possibles de qualifier un type : par const ou par volatile.

Qualificatif const

Une variable dont le type est qualifiée par const ne peut pas être modifiée. Le programmeur entend ainsi se protéger contre une erreur de programmation. Ceci n'est utile que pour les paramètres d'une fonction, lorsqu'on désire protéger le paramètres effectifs de la fonction en les mettant en << lecture seulement >> pour la fonction.

Qualificatif volatile

En qualifiant par volatile le type d'une variable, le programmeur prévient le compilateur que cette variable peut être modifiée par un moyen extérieur au programme. Ceci se produit lorsqu'on interagit avec des parties matérielles de la machine : coupleurs d'entrées-sorties généralement. Lorsqu'une variable est de type volatile le compilateur ne doit pas procéder aux optimisations qu'il réalise sur les variables normales.

Les qualificatifs de type deviennent pénibles en conjonction avec les pointeurs car on a les trois possibilités :

-

l'objet pointé est qualifié ;

-

le pointeur lui-même est qualifié ;

-

le pointeur et l'objet pointé sont qualifiés.

type sémantique

const char c; caractère constant

const char *p; pointeur vers caractère constant

char * const p; pointeur constant vers caractère

const char * const p; pointeur constant vers caractère constant