Discussion :

[lechewal]

Salut !

j'ai un trou de memoire qui me trouble.. Comment faire pour pouvoir declarer dans un type, des types qui n'ont pas encore été déclaré ?

Exemple :

Code :

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

1
2
3
4
5
6
7
8
9
10
 
typedef struct {
  typeA a;
  int truc;
} typeB;
 
typedef struct {
  typeB b;
  char * machin;
} typeA;

On peut faire des prototypes ?

merci
a+

[PRomu@ld]

Oulà, il y a peut être un problème de conception monsieur.

Tu peux utiliser des proto pour les fonctions mais pour les types je ne crois pas ...

[granquet]

je doute qu'on puisse mettre une structure dans une autre.

par contre un pointeur sur une autre structure dans une structure, c'est faisable.

Code :

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

1
2
3
4
5
6
7
8
9
10
 
typedef struct{
int ch1;
int ch2;
}mystruc1;
 
typedef struct{
char plope[12];
struct mystruc1 *struc;
}mystruc2;

par contre, j'ai du mal avec ton exemple:
t'as essayé de remplacer typeA par sa definition dans typeB pour voir? :p

[PRomu@ld]

En fait ça ressemble à une double récursivité ... Mais ce genre de truc est tout de même extremement rare et c'est comme je l'ai dis dans mon précédent post, un problème de conception.

[Jean-Marc.Bourguet]

En fait ça ressemble à une double récursivité ... Mais ce genre de truc est tout de même extremement rare et c'est comme je l'ai dis dans mon précédent post, un problème de conception.

Les types mutuellement recursifs ne sont pas rares du tout. En tout cas moi ca m'arrive bien souvent avec un type intermediaire (qui sert de conteneur).

[PRomu@ld]

Et bien désolé alors, j'ai pas l'habitude de les rencontrer tous les jours... . la seule fois que j'ai eu affaire à ça c'était pour un algo minmax, j'avais une fonction min et une fonction max, mais là il s'agissait de fonction et pas de type, de plus ce genre d'algo peut se mettre sous forme simplement récursive.

En tout cas moi ca m'arrive bien souvent avec un type intermediaire (qui sert de conteneur).

En fait tu as deux types qui font références à un même troisième type c'est ça ? Parce que dans ce cas, ce n'est plus une double récursivité.

[Smortex]

Bonjour

Une structure dans une autre, rien de bien sorcier. Mais des structures qui ont chacunes un membre qui est du type de l'autre structure c'est conceptuellement impossible :

• Imaginons A qui a un membre b de type B et B qui a un memebre a de type A. x est une variable de type A.
  
  on peut donc acceder à : x (1), x.a (2), x.a.b (3), x.a.b.a x.a.b.a.b.a.b.a.b.a (4)
  
  Mais les deux "a" (2 et 4) ne sont pas les mêmes ... il faudrait donc une espece de mémoire infinie qui permette d'acceder à tout ca

Bref, plus logiquement, A a un membre b qui pointe sur une structure de type B et B a un membre a qui pointe sur une structure de type A.


Exemple de ce genre de choses (tout droit sortie de mes codes sources) :

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
struct choice {
	int Number;
	char * Name;
	int Popularity;
	int Encountered;		/* How many time did we saw it ? */
	double Score;
	struct choice * Next;
 
	struct preference * last_ref;
} * pchoice;
 
struct preference {
	char * Name;
	struct choice ** Choices;	/* Preference choices order */
	int Injury;					/* Preferences taken by the others */
	struct preference * Next;
} * ppreference;

[Jean-Marc.Bourguet]

En tout cas moi ca m'arrive bien souvent avec un type intermediaire (qui sert de conteneur).

En fait tu as deux types qui font références à un même troisième type c'est ça?

Non. Un type qui référence un deuxième qui référence le troisième qui référence le premier. Il y a bien une boucle.

[Emmanuel Delahaye]

Comment faire pour pouvoir declarer dans un type, des types qui n'ont pas encore été déclaré ?

Code :

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

1
2
3
4
5
6
7
8
9
10
 
typedef struct {
  typeA a;
  int truc;
} typeB;
 
typedef struct {
  typeB b;
  char * machin;
} typeA;

Déjà, pose toi la question de savoir si tu as vraiment besoin d'avoir de tels croisements, parce que c'est souvent le signe d'une mauvaise conception. Mais si tu y tiens, c'est possible si ce sont des pointeurs en utilisant des définitions de structures séparées :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
struct A;
 
typedef struct {
  struct A *a;
  int truc;
} typeB;
 
typedef struct A {
  typeB b;
  char * machin;
} typeA;

ou des typedefs séparés :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
typedef struct A TypeA;
 
typedef struct {
  TypeA *a;
  int truc;
} typeB;
 
typedef struct A {
  typeB b;
  char * machin;
} typeA;

[Emmanuel Delahaye]

Oulà, il y a peut être un problème de conception monsieur.

C'est bien possible.

Tu peux utiliser des proto pour les fonctions mais pour les types je ne crois pas ...

On peut utiliser des déclaration de structures incomplètes pour des pointeurs. On fait ça tous les jours avec les ADT...

http://emmanuel-delahaye.developpez.com/tad.htm

[lechewal]

Ok, je vous remercie tous,je vais essayer de proceder autrement et si je n'y arrive pas, j'utiliserai la methode des pointeurs sur struct !

encore merci
a bientot

[Jean-Marc.Bourguet]

Déjà, pose toi la question de savoir si tu as vraiment besoin d'avoir de tels croisements, parce que c'est souvent le signe d'une mauvaise conception.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
typedef struct I I;
typedef struct N N;
 
struct I {
   N* n;
   struct I* next;
   struct I* prev;
   /* et d'autres champs */
};
 
struct N {
   I** tableOfI;
   /* et d'autres champs */
};

Si tu penses qu'il s'agit d'une mauvaise conception, pourrais-tu en donner les raisons et proposer des alternatives? Il faut pouvoir passer d'un N aux I, d'un I au N, ajouter un I à un N, enlever un I d'un N. Un N peut avoir facilement une dizaine de milliers de I (la tableOfI est une table de hachage que d'autres champs permettent de gérer -- en pratique c'est encapsulé par un type intermédiaire).

[Emmanuel Delahaye]

Déjà, pose toi la question de savoir si tu as vraiment besoin d'avoir de tels croisements, parce que c'est souvent le signe d'une mauvaise conception.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
typedef struct I I;
typedef struct N N;
 
struct I {
   N* n;
   struct I* next;
   struct I* prev;
   /* et d'autres champs */
};
 
struct N {
   I** tableOfI;
   /* et d'autres champs */
};

Si tu penses qu'il s'agit d'une mauvaise conception, pourrais-tu en donner les raisons et proposer des alternatives? Il faut pouvoir passer d'un N aux I, d'un I au N, ajouter un I à un N, enlever un I d'un N. Un N peut avoir facilement une dizaine de milliers de I (la tableOfI est une table de hachage que d'autres champs permettent de gérer -- en pratique c'est encapsulé par un type intermédiaire).

Je pense qu'il s'agit d'une utilisation avancée du langage C.

Dans le cas du posteur original (que je suppose être un débutant, peut être à tord), souvent un peu de reflexion sur l'organisation des données permet d'éviter ça.

Mais j'admet qu'il existe des cas où il n'est pas possible de faire autrement, et je n'ai d'ailleurs rien dit d'autre dans mon intervention. J'ai même indiqué comment faire.