déréférencement d'un pointeur de type incomplet

Version imprimable

Je ne vois pas mon erreur :evilred:!!

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
 
struct tas
{
  vext vecteur;
  int dernier_element;
  int (*comparaison) (void *, void *);
  void (*liberer)(void *);
  void (*afficher)(void *);
  bool inverser;
};
/*
dans vext.c
 
struct vext 
{
    void **vecteur;
    unsigned int taille_physique;
    unsigned int taille_rallongement;
    unsigned int nombre_d_elements;
    void (*liberer)(void *);
    void (*afficher)(void *);
};
*/
 
bool
existeGauche(vext self, int i)
{
  int gauche= 2*i+1;
  return (self->vecteur[gauche] != NULL);
}
bool
existeDroit(vext self, int i)
{
  int droit= 2*i+2;
  return (self->vecteur[droit] != NULL);
}
 
static void 
reorganiserDescendant(tas self, int i)
{
  int pere= i; 
  int gauche = 2*i+1;
  int droit = 2*i+2;
  if (existeGauche(self->vecteur,pere))
    {
      int min = gauche;
      if(existeDroit(self->vecteur,pere))
	{
	  if (self->comparaison( vext_lire(self->vecteur,gauche),vext_lire(self->vecteur,droit)) < 0)
	    {
	      min=droit;
	    }
	}
 
      if(self->comparaison( vext_lire(self->vecteur,pere),vext_lire(self->vecteur,min)) < 0)
	{
	  echanger(self,pere,min);
	  reorganiserDescendant(self,min);
	}
    }
}

Le compilateur m'affiche:

Code:

1
2
3
4
5
6
7
 
tas.c: In function «existeGauche":
tas.c:103: erreur: déréférencement d'un pointeur de type incomplet
tas.c:104: attention : control reaches end of non-void function
tas.c: In function «existeDroit":
tas.c:109: erreur: déréférencement d'un pointeur de type incomplet
tas.c:110: attention : control reaches end of non-void function

Quel est mon problème?

Citation:
Envoyé par pauligno
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 struct vext { void **vecteur; unsigned int taille_physique; unsigned int taille_rallongement; unsigned int nombre_d_elements; void (*liberer)(void *); void (*afficher)(void *); }; bool existeGauche(vext self, int i) { int gauche= 2*i+1; return (self->vecteur[gauche] != NULL); } bool existeDroit(vext self, int i) { int droit= 2*i+2; return (self->vecteur[droit] != NULL); }
Tout d'abord, le type vext n'est pas déclaré dans le code que tu nous a donné. J'imagine que c'est:

Code:

typedef struct vext vext;

Dans ce cas, le 1er paramètre de existeGauche() et existeDroite() ne semble pas être un pointeur. A moins que la déclaration du type vext cache le pointeur, ce qui n'est pas conseillé.

Thierry

10/12/2007, 10h29
pauligno

Mais en fait la structure vext elle est dans un autre .c je l'ai mis la pour que vous puissiez voir comment c'est fait
10/12/2007, 10h35
corentin59

oui mais dans ton fichier à part, tu fais un

Code:

struct vext {...};

ce qui fait que si tu veux utiliser ce type de variable, tu dois taper

Code:

struct vext var1, var2;

Sauf si tu ajoutes un typedef, comme le suppose Thierry
10/12/2007, 10h40
Thierry Chappuis

Citation:

Envoyé par pauligno

Mais en fait la structure vext elle est dans un autre .c je l'ai mis la pour que vous puissiez voir comment c'est fait

Si je comprends bien, struct vext est déclarée dans un fichier d'implantation (.c) différent de tas.c. Cette structure est donc privée à cette unité de compilation et il n'est pas possible de déréférencer un objet de type vext hors de ce fichier. Le type vext est ce qu'on appelle un type opaque.

Par curiosité, comment est déclaré le type vext?

Thierry
10/12/2007, 10h40
Médinoc

Si l'on veut pouvoir faire autre chose que passer un bète pointeur vers la structure (par exemple, si l'on veut utiliser l'un de ses champs), il faut la définition complète de la structure.

C'est pourquoi, généralement, la structure est définie dans un fichier d'en-tête (.h) qui est inclus dans tous les fichiers sources utilisant la structure.
10/12/2007, 10h41
Melem

Citation:

Envoyé par pauligno

Mais en fait la structure vext elle est dans un autre .c je l'ai mis la pour que vous puissiez voir comment c'est fait

En plus ca ne doit pas être dans un .c mais un .h, et ajoute un typedef.

Voila le .h de vext ^^

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#ifndef VEXT_H
#define VEXT_H
 
typedef struct vext *vext;
 
extern vext vext_creer(void);
extern void vext_liberer(vext self);
extern unsigned int vext_nombre_d_elements(vext self);
extern void *vext_lire(vext self, int i);
extern void vext_ecrire(vext self, int i, void *valeur);
extern void vext_ajouter(vext self, void *valeur);
extern void vext_iterer(vext self, void (*fonction)(void *));
extern void vext_iterer_jusqua(vext self, void (*fonction)(void *), int n);
extern void vext_afficher(vext self);
extern void vext_definir_affichage(vext self, void (*afficher)());
extern void vext_definir_liberation(vext self, void (*liberer)());
 
#endif  /* VEXT_H */

10/12/2007, 10h50
Thierry Chappuis

Code:

typedef struct vext *vext;

C'est pas terrible de masquer un pointeur de cette manière, ou alors il est de bon ton de le mentionner dans le nom du type (par exemple PVext_t).

A par cela, vext est ce qu'on appelle un type opaque. Tu n'as pas accès à la structure interne de l'objet pointé et pour toute manipulation, tu dois utiliser l'interface proposée.

Thierry