Discussion :

[Dark-Seal]

Bonjour à tous, premier message ici bien que le forum et la faq m'ont déjà beaucoup aidé ^^

J'ai un petit souci de déclaration, je voudrais avoir 2 structures qui ont chacune l'autre structure dans leurs membres.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
typedef struct{
  int num_etat;
  int estTerminal;
  int nb_transaction;
  Transition trans_suiv[MAXLETTRE];
}Etat;
 
typedef struct{
   char lettre;
   Etat* etat_suiv;
}Transition;

Le problème étant que bien sûr la 1ère structure ne connaît pas encore la 2è lors de la déclaration... j'ai pas trouvé grand chose sur le net, je sais même pas si ça porte un nom précis ou pire si c'est faisable

Merci

[millie]

Ceci devrait t'aller.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
struct Etat_;
struct Transition_;
 
struct Transition_ {
   char lettre;
  struct  Etat_* etat_suiv;
};
 
struct Etat_ {
  int num_etat;
  int estTerminal;
  int nb_transaction;
  struct Transition_ trans_suiv[11];
};
 
 
 
typedef struct Transition_ Transition;
typedef struct Etat_ Etat;

[InOCamlWeTrust]

Ceci devrait t'aller.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
struct Etat_;
struct Transition_;
 
struct Etat_ {
  int num_etat;
  int estTerminal;
  int nb_transaction;
  struct Transition_ trans_suiv[MAXLETTRE];
};

Et non !

struct Transition_ est un type incomplet : on n'a donc pas le droit de déclarer un tableau d'éléments de struct Transition_ tant que le type n'est pas devenu complet. Le compilateur, à ce niveau-là, ne connaît pas la taille de la structure struct Transition_ et ne peut donc pas créer le type... d'autant plus qu'il se pourrait très bien que l'implantation de struct Transition_ ne soit JAMAIS connue !

[millie]

Et non !

struct Transition_ est un type incomplet : on n'a donc pas le droit de déclarer un tableau d'éléments de struct Transition_ tant que le type n'est pas devenu complet. Le compilateur, à ce niveau-là, ne connaît pas la taille de la structure struct Transition_ et ne peut donc pas créer le type... d'autant plus qu'il se pourrait très bien que l'implantation de struct Transition_ ne soit JAMAIS connue !

Ca m'apprendra à pas vérifier le code que j'écris (le compilateur m'aurait dit et j'aurais vu que c'était pas le bon ordre )

[InOCamlWeTrust]

Ca m'apprendra à pas vérifier le code que j'écris (le compilateur m'aurait dit et j'aurais vu que c'était pas le bon ordre )

Moi non plus j'ai pas vérifié le mien !

[InOCamlWeTrust]

Tu pointes du doigt l'une des règles les moins connues des gens qui programment en C : les types incomplets.

Le C est un outil extrêmement puissant, mais le maîtriser à moitié, c'est se brûler les doigts à coup sûr un jour ou l'autre.

Ton problème est un problème de récursivité mutuelle dans la déclaration de types. Etant donné que tu sais que les deux types sont des structures, je te conseille d'utiliser très précisément la règle des types incomplets.

Un type est dit incomplet à un endroit du code si son implantation n'est pas (encore) connue à ce niveau. Utiliser des types incomplets est donc interdit, sauf lorsque l'on veut déclarer un pointeur vers un type incomplet qui est une structure ou une union : le type résultant (i. e. : le pointeur) devient alors un type complet.

Dans ton exemple, et afin que le typeur reconnaisse tes deux types comme des structures, tu peux commencer par les déclarer.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
typedef struct Etat_ Etat;
typedef struct Transition_ Transition;

Pour s'en sortir, tu dois d'abord déclarer la structure Transition si tu veux réellement conserver un tableau de Transition dans ta structure Etat (autrement, tu ne peux pas).

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
 
struct Transition_
{
   char lettre;
   Etat *etat_suiv;
};

A ce niveau-là, le type Transition devient complet car son implantation est connue ; en effet, même si Etat est incomplet, Etat *, par contre, lui est complet, et tu peux donc implanter un tableau de Transition dans ta structure Etat. Si tu avais procédé inversement, tu n'aurais pas pu.

Puis :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
 
struct Etat_
{
  int num_etat;
  int estTerminal;
  int nb_transaction;
  Transition trans_suiv[MAXLETTRE];
};

[Dark-Seal]

Réponse rapide et efficace
Je vous remercie.