3.1.1. Les structures

Les types complexes peuvent se construire à l'aide de structures. Pour cela, on utilise le mot clé struct. Sa syntaxe est la suivante :

struct [nom_structure]
{
    type champ;
   [type champ;
   [...]]
};

Il n'est pas nécessaire de donner un nom à la structure. La structure contient plusieurs autres variables, appelées champs. Leur type est donné dans la déclaration de la structure. Ce type peut être n'importe quel autre type, même une structure.

La structure ainsi définie peut alors être utilisée pour définir une variable dont le type est cette structure.

Pour cela, deux possibilités :

• faire suivre la définition de la structure par l'identificateur de la variable ;

  Exemple 3-1. Déclaration de variable de type structure

  struct Client
  {
      unsigned char Age;
      unsigned char Taille;
  } Jean;

  ou, plus simplement :

  struct
  {
      unsigned char Age;
      unsigned char Taille;
  } Jean;

  Dans le deuxième exemple, le nom de la structure n'est pas mis.

• déclarer la structure en lui donnant un nom, puis déclarer les variables avec la syntaxe suivante :

  [struct] nom_structure identificateur;

  Exemple 3-2. Déclaration de structure

  struct Client
  {
      unsigned char Age;
      unsigned char Taille;
  };
  
  struct Client Jean, Philippe;
  Client Christophe;   // Valide en C++ mais invalide en C

  Dans cet exemple, le nom de la structure doit être mis, car on utilise cette structure à la ligne suivante. Pour la déclaration des variables Jean et Philippe de type struct Client, le mot clé struct a été mis. Cela n'est pas nécessaire en C++, mais l'est en C. Le C++ permet donc de déclarer des variables de type structure exactement comme si le type structure était un type prédéfini du langage. La déclaration de la variable Christophe ci-dessus est invalide en C.

Les éléments d'une structure sont accédés par un point, suivi du nom du champ de la structure à accéder. Par exemple, l'âge de Jean est désigné par Jean.Age.

3.1.2. Les unions

Les unions constituent un autre type de structure. Elles sont déclarées avec le mot clé union, qui a la même syntaxe que struct. La différence entre les structures et les unions est que les différents champs d'une union occupent le même espace mémoire. On ne peut donc, à tout instant, n'utiliser qu'un des champs de l'union.

union entier_ou_reel
{
    int entier;
    float reel;
};

union entier_ou_reel x;

x peut prendre l'aspect soit d'un entier, soit d'un réel. Par exemple :

x.entier=2;

Si, à présent, on fait :

x.reel=6.546;

Les unions, contrairement aux structures, sont assez peu utilisées, sauf en programmation système où l'on doit pouvoir interpréter des données de différentes manières selon le contexte. Dans ce cas, on aura avantage à utiliser des unions de structures anonymes et à accéder aux champs des structures, chaque structure permettant de manipuler les données selon une de leurs interprétations possibles.

struct SystemEvent
{
    int iEventType;  /* Discriminant de l'événement.
                        Permet de choisir comment l'interpréter. */
    union
    {
        struct
        {                     /* Structure permettant d'interpréter */
            int iMouseX;      /* les événements souris. */
            int iMouseY;
        };
        struct
        {                     /* Structure permettant d'interpréter */
            char cCharacter;  /* les événements clavier. */
            int iShiftState;
        };
        /* etc. */
    };
};

/* Exemple d'utilisation des événements : */
int ProcessEvent(struct SystemEvent e)
{
    int result;
    switch (e.iEventType)
    {
    case MOUSE_EVENT:
        /* Traitement de l'événement souris... */
        result = ProcessMouseEvent(e.iMouseX, e.iMouseY);
        break;
    case KEYBOARD_EVENT:
        /* Traitement de l'événement clavier... */
        result = ProcessKbdEvent(e.cCharacter, e.iShiftState);
        break;
    }
    return result;
}

3.1.3. Les énumérations

Les énumérations sont des types intégraux (c'est-à-dire qu'ils sont basés sur les entiers), pour lesquels chaque valeur dispose d'un nom unique. Leur utilisation permet de définir les constantes entières dans un programme et de les nommer. La syntaxe des énumérations est la suivante :

enum enumeration
{
    nom1 [=valeur1]
   [, nom2 [=valeur2]
   [...]]
};

Dans cette syntaxe, enumeration représente le nom de l'énumération et nom1, nom2, etc. représentent les noms des énumérés. Par défaut, les énumérés reçoivent les valeurs entières 0, 1, etc. sauf si une valeur explicite leur est donnée dans la déclaration de l'énumération. Dès qu'une valeur est donnée, le compteur de valeurs se synchronise avec cette valeur, si bien que l'énuméré suivant prendra pour valeur celle de l'énuméré précédent augmentée de 1.

enum Nombre
{
    un=1, deux, trois, cinq=5, six, sept
};

Dans cet exemple, les énumérés prennent respectivement leurs valeurs. Comme quatre n'est pas défini, une resynchronisation a lieu lors de la définition de cinq.

Les énumérations suivent les mêmes règles que les structures et les unions en ce qui concerne la déclaration des variables : on doit répéter le mot clé enum en C, ce n'est pas nécessaire en C++.

3.1.4. Les champs de bits

Il est possible de définir des champs de bits et de donner des noms aux bits de ces champs. Pour cela, on utilisera le mot clé struct et on donnera le type des groupes de bits, leurs noms, et enfin leurs tailles :

struct champ_de_bits
{
    int var1;                    /* Définit une variable classique. */
    int bits1a4  : 4;            /* Premier champ : 4 bits. */
    int bits5a10 : 6;            /* Deuxième champ : 6 bits. */
    unsigned int bits11a16 : 6;  /* Dernier champ : 6 bits. */
};

La taille d'un champ de bits ne doit pas excéder celle d'un entier. Pour aller au-delà, on créera un deuxième champ de bits. La manière dont les différents groupes de bits sont placés en mémoire dépend du compilateur et n'est pas normalisée.

Les différents bits ou groupes de bits seront tous accessibles comme des variables classiques d'une structure ou d'une union :

struct champ_de_bits essai;

int main(void)
{
    essai.bits1a4 = 3;
    /* suite du programme */
    return 0;
}

3.1.5. Initialisation des structures et des tableaux

Les tableaux et les structures peuvent être initialisées, tout comme les types classiques peuvent l'être. La valeur servant à l'initialisation est décrite en mettant les valeurs des membres de la structure ou du tableau entre accolades et en les séparant par des virgules :

/* Définit le type Client : */
struct Client
{
    unsigned char Age;
    unsigned char Taille;
    unsigned int Comptes[10];
};

/* Déclare et initialise la variable John : */
struct Client John={35, 190, {13594, 45796, 0, 0, 0, 0, 0, 0, 0, 0}};

La variable John est ici déclarée comme étant de type Client et initialisée comme suit : son âge est de 35, sa taille de 190 et ses deux premiers comptes de 13594 et 45796. Les autres comptes sont nuls.

Il n'est pas nécessaire de respecter l'imbrication du type complexe au niveau des accolades, ni de fournir des valeurs d'initialisations pour les derniers membres d'un type complexe. Les valeurs par défaut qui sont utilisées dans ce cas sont les valeurs nulles du type du champ non initialisé. Ainsi, la déclaration de John aurait pu se faire ainsi :

struct Client John={35, 190, 13594, 45796};

3.1.6. Les alias de types

Le C/C++ dispose d'un mécanisme de création d'alias, ou de synonymes, des types complexes. Le mot clé à utiliser est typedef. Sa syntaxe est la suivante :

typedef définition alias;

typedef type_tableau type[(taille)]([taille](...));

typedef unsigned int mot;

mot est strictement équivalent à unsigned int.

typedef int tab[10];

tab est le synonyme de « tableau de 10 entiers ».

typedef struct client
{
    unsigned int Age;
    unsigned int Taille;
} Client;

Client représente la structure client. Attention à ne pas confondre le nom de la structure (« struct client ») avec le nom de l'alias (« Client »).

Une fois ces définitions d'alias effectuées, on peut les utiliser comme n'importe quel type, puisqu'ils représentent des types :

unsigned int i = 2, j;   /* Déclare deux unsigned int */
tab Tableau;   /* Déclare un tableau de 10 entiers */
Client John;   /* Déclare une structure client */

John.Age = 35; /* Initialise la variable John */
John.Taille = 175;
for (j=0; j<10; j = j+1) Tableau[j]=j;  /* Initialise Tableau */

3.1.7. Transtypages

Il est parfois utile de changer le type d'une valeur. Considérons l'exemple suivant : la division de 5 par 2 renvoie 2. En effet, 5/2 fait appel à la division euclidienne. Comment faire pour obtenir le résultat avec un nombre réel ? Il faut faire 5./2, car alors 5. est un nombre flottant. Mais que faire quand on se trouve avec des variables entières (i et j par exemple) ? Le compilateur signale une erreur après i dans l'expression i./j ! Il faut changer le type de l'une des deux variables. Cette opération s'appelle le transtypage. On la réalise simplement en faisant précéder l'expression à transtyper du type désiré entouré de parenthèses :

(type) expression

int i=5, j=2;
((float) i)/j

Dans cet exemple, i est transtypé en flottant avant la division. On obtient donc 2.5.

Le transtypage C est tout puissant et peut être relativement dangereux. Le langage C++ fournit donc des opérateurs de transtypages plus spécifiques, qui permettent par exemple de conserver la constance des variables lors de leur transtypage. Ces opérateurs seront décrits dans la Section 10.2 du chapitre traitant de l'identification dynamique des types.