Discussion :

[ikuzar]

Bonjour,

J'ai un problème d'inclusion de fichiers d'entête. J'ai refais un code en version simplifiée pour que vous compreniez le problème (le vrai code contient des structures hyper longues):

data_a.h:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
#ifndef DATA_A_H
#define DATA_A_H
 
#include "data_b.h"
 
typedef struct data_a {
	int i;
	data_b_t db;
} data_a_t;
 
#endif

data_b.h:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
#ifndef DATA_B_H
#define DATA_B_H
 
#include "data_a.h"
 
typedef struct data_b {
	char c;
	data_a_t da;
} data_b_t;
 
#endif

expected_specifier_qualifier_list_before.c:

Code :

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

1
2
3
4
5
6
#include "data_a.h"
#include "data_b.h"
 
int main() {	
	return 0;
}

et l'erreur:

Code :

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

1
2
3
In file included from data_a.h:4,
                 from expected_specifier_qualifier_list_before.c:1:
data_b.h:8: error: expected specifier-qualifier-list before ‘data_a_t’

Je pense que c'est un problème classique mais je ne trouve pas la (bonne) solution.
Une solution serait de fusionner les deux structures data_a data_b dans un seul fichier.
Le problème avec cette solution c'est qu'il faudrait changer pas mal de choses dans d'autres fichiers cources...

Merci d'avance pour votre aide.

[Kirilenko]

Bonsoir,

C'est illogique ce que tu essayes de faire. Tes deux structures s'incluent mutuellement de manière infinie : c'est impossible. Si tu souhaites une récursivité croisée dans tes définitions, alors il faudra utiliser au moins un pointeur.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
typedef struct data_a {
	int i;
	data_b_t *db;
} data_a_t;
 
/* ... */
 
typedef struct data_b {
	char c;
	data_a_t *da;
} data_b_t;

Bonne soirée !

[ternel]

Bonjour!
La solution à été exposée, le problème apparait aussi en C++ sous le nom "incomplete type" ou "partial type"

En fait, tu ne peux utiliser une variable que sur un type pleinement déclaré, hors, chaque type de structure n'est terminé que lorsque l'autre l'aura été.

Pour ce genre de problème, utilise l'option -E de gcc (préprocesseur seulement) peut aider, sauf si on a trop d'entête standard.

Bonjour,
[…]
Une solution serait de fusionner les deux structures data_a data_b dans un seul fichier.
Le problème avec cette solution c'est qu'il faudrait changer pas mal de choses dans d'autres fichiers cources...

En fait, non, parce qu'il n'y a quasiment aucun lien entre en-têtes et fichiers "sources".
Un en-tête peut être implémenté dans plusieurs unités de compilations (les .c), et une unité de compilation peut implémenter plusieurs en-têtes.

Le seul effet de la fusion des en-têtes sera de remplacer les #includes.

La seule contrainte est la règle de la définition unique: "ce qui est utilisé doit être défini une et une seule fois".
Cette règle est vérifiée lors de l'édition de lien, au moment de réunir les différents unités de compilations en un exécutable.