Réponse.

Historique de la question :

En langage C, il arrive parfois qu'une structure doive "connaître" une autre, mais en même temps, la définition des deux structures dépend l'une de l'autre (imbriquement mutuel). Il est alors impossible de définir complètement une structure avant de déclarer la seconde. Pour cela, C prévoit la déclaration anticipée des structures.

Problème :

Sans déclaration anticipée, le compilateur ne sait pas quel type il rencontre à l'intérieur de la structure et renverra une erreur de type inconnu. Une erreur survient souvent lorsque nous essayons de créer une structure qui contient une autre par valeur, et non par pointeur, ou lorsque nous écrivons incorrectement la syntaxe.

Solution :

La déclaration anticipée est utilisée lorsque vous devez créer un pointeur vers une structure sans révéler sa définition complète. La syntaxe est struct A;. La définition complète (struct A { ... };) peut être donnée plus tard.

Exemple de code :

struct B; // déclaration anticipée

struct A {
    int val;
    struct B *link;
};

struct B {
    int id;
    struct A *parent;
};

Caractéristiques clés :

On peut anticiper uniquement les types s'ils sont utilisés comme pointeurs à l'intérieur d'une autre structure.
En cas d'imbrication par valeur (pas de pointeur), une définition complète est nécessaire à l'avance.
La déclaration anticipée simplifie la création de structures interdépendantes dans les fichiers d'en-tête, prévenant les dépendances cycliques.

Questions pièges.

Peut-on faire un champ de type "autre structure par valeur" via déclaration anticipée ?

Non, la déclaration anticipée permet d'utiliser le type uniquement sous forme de pointeur, sinon il y aura une erreur : la taille du type est inconnue.

struct B; // ok
struct A {
    struct B b; // erreur : taille de B inconnue
};

Où placer correctement la déclaration anticipée lors de l'utilisation de différents fichiers ?

On place la déclaration anticipée dans l'en-tête, si la structure n'est utilisée que comme pointeur. La définition complète doit être soit dans un autre en-tête, soit dans le fichier d'implémentation.

La déclaration anticipée affecte-t-elle la taille des structures et la bonne allocation de mémoire ?

Non, car C ne connaît pas la taille de la structure "non définie", et un pointeur a toujours la même taille pour ce compilateur, indépendamment du type déclaré.

Erreurs typiques et anti-modèles

Essai de déclarer une variable ou un membre par valeur d'un type décrit uniquement par une déclaration anticipée.
Incohérence entre la déclaration anticipée et la définition (différence de noms ou de types imbriqués).
Inclusion cyclique de fichiers d'en-tête sans déclaration anticipée entraînant des erreurs de compilation.

Exemple de la vie réelle

Cas négatif

Dans le fichier d'en-tête, les deux modules contenaient des structures avec des champs de l'autre par valeur. La compilation échouait avec une erreur de type indéterminé.

Avantages :

Capacité à réfléchir à l'architecture des relations.

Inconvénients :

Il est impossible de coder de telles constructions sans rupture de la référentialité — une refonte de la structure est nécessaire.

Cas positif

L'un des programmeurs a utilisé une déclaration anticipée et des pointeurs, minimisant les dépendances redondantes dans les en-têtes. La compilation et la maintenance du code sont devenues plus simples.