Déclaration des structures

Bonjour,

J'ai une incompréhension sur la manière dont les structures sont souvent déclarées.

On peut déclarer un structure comme suit :

Code:

---

1 2 3 4 5 6 7 8

typedef struct ma_structure { int var1; char var2; } nom_struct;     typedef nom_struct* pt_struct; typedef nom_struct une_struct;

---

Quel est l'intérêt de typedef nom_struct* pt_struct
et de typedef nom_struct une_struct ?

Code:

---

1 2	typedef nom_struct une_struct;

---

Cette construction fait que une_struct est synonyme de nom_struct. En apparence c'est redondant mais ce n'est pas forcément une mauvaise chose. Par exemple, tu pourrais vouloir qu'une partie de ton code considère la structure une_struct comme un peu "opaque". Il se trouve que dans cette implémentation là elle correspond à nom_struct mais dans une version future ou suivant une compilation conditionnelle, elle pourrait en fait correspondre à une autre structure sous-jacente. Suivant les pratiques de programmation, cela peut être une construction tout à fait valable.

Code:

---

1 2	typedef nom_struct* pt_struct;

---

pt_struct est donc synonyme de "pointeur vers un nom_struct". Ceci s'utilise souvent pour alléger le code. C'est une question de style mais certains préfèrent :

Code:

---

1 2	void MaFonction (pt_struct input);

---

plutôt que ça :

Code:

---

1 2	void MaFonction (nom_struct* input);

---

Même si pour le compilateur c'est exactement la même chose.

Toutefois, tu peux aussi faire ça :

Code:

---

1 2	typedef struct nom_struct *pt_struct;

---

Ceci explique au compilateur que pt_struct est synonyme de "Pointeur vers une structure qui répond au nom de nom_struct". Le C supporte les pointeurs vers structures "opaques", c'est à dire que tant que tu n'essayes pas d'accéder à un champ de la structure, de connaitre sa taille via sizeof() ou de déclarer une variable de ce type, tu as tout à fait le droit de ne pas DEFINIR cette structure.
Par exemple, on utilise souvent :

Code:

---

1 2 3 4 5

/* objet.h */ typedef struct ObjetOpaque_s* PtrObjetOpaque;   PtrObjetOpaque CreerObjet (void);

---

Cette technique permet à l'implémentation de faire varier le contenu de "ObjetOpaque_s", parfois même sans nécessiter une recompilation de l'appelant (ce qui peut être utile si tu as une compatibilité binaire à assurer).
Tout ce que l'appelant sait, c'est manipuler des POINTEURS vers des objets opaques, mais il n'en connait pas le contenu.

Merci tu réponds parfaitement à ma question. Il faut encore que j'étudie ta réponse mais elle est très complète.

Toute fois une question subsidiaire me vient à l'esprit.

Pourquoi définit t on les structures comme ça :

Code:

---

1 2 3 4

typedef struct ma_structure { int var1; char var2; } nom_struct;

---

et non comme ça :

Code:

---

1 2 3 4

typedef struct nom_struct { int var1; char var2; };

---

Je crois que j'ai compris struct ma_struct équivalent à nom_struct...

En c++ cela est implicite, je trouve ça pas plus mal.

Citation:

---

Envoyé par DavidleVrai

Merci tu réponds parfaitement à ma question. Il faut encore que j'étudie ta réponse mais elle est très complète.

Toute fois une question subsidiaire me vient à l'esprit.

Pourquoi définit t on les structures comme ça :

Code:

---

1 2 3 4

typedef struct ma_structure { int var1; char var2; } nom_struct;

---

et non comme ça :

Code:

---

1 2 3 4

typedef struct nom_struct { int var1; char var2; };

---

---

Parce que la forme de typedef est : typedef type_existant synonyme_cree La 2e écriture est donc fausse, il n'y a pas de synonyme. Enfin pas exactement, elle crée quand même le type de la structure mais tu devras utilisé explicitement le mot clé struct pour en créer une instance. La première écriture est correcte mais ma_structure n'a pas d'intérêt ici. Voir cette entrée intéressante de C-FAQ : http://c-faq.com/struct/typedef.html

Par exemple le code suivant ne produit un warning intéressant (il y a 2 autres warnings car a et b sont inutilisés) :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14

typedef struct nom_struct { int var1; char var2; };   typedef struct nom_struct nom_struct;     int main(void) { struct nom_struct a; nom_struct b; return 0; }

---

main.c|warning: useless storage class specifier in empty declaration [enabled by default]|

Merci ! J'ai compris maintenant.