Problème de free() sur un char **

Version imprimable

Salut à tous !

J'ai le code suivant :

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
void
historique ()
{
  int nbLignes = 15;
  char **historique;
  int i;
 
  historique = malloc (sizeof(char *) * nbLignes);
 
  for (i = 0; i != nbLignes; i++)
    {
      historique[i] = malloc(sizeof(char*));
      historique[i] = "abcdefabcdefabcdefabcdefabcdef"+i;
 
      if (i >= 1 && historique[i] == NULL)
	break;
    }
 
  for (i--; i >= 0; i--)
    printf ("%s\n", historique[i]);
 
   for (i=0; historique[i] != NULL; i++)
    free(historique[i]);
 
  free(historique);
}

Le problème est que le [i]free(historique); ne passe pas :

Code:

** glibc detected *** monprog: free(): invalid pointer: 0x0000000000401858 ***

Pouvez-vous m'indiquer où est le problème ?

10/06/2010, 14h38
jowo
Bonjour,

Le problème provient du code suivant:
Code:

1 2 3 historique[i] = malloc(sizeof(char*)); historique[i] = "abcdefabcdefabcdefabcdefabcdef"+i;
Tu alloues de l'espace dans le tas et le pointeur est sauvé dans historique[i] puis à l'instruction suivante, ce pointeur est écrasé par la valeur du pointeur &"abc..."+i.

Voila mon nouveau code, mais qui ne marche toujours pas :

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
void
historique ()
{
  int nbLignes = 15;
  char **historique;
  int i;
 
  historique = malloc (sizeof(historique) * nbLignes);
 
  for (i = 0; i != nbLignes; i++)
    {
            historique[i] = malloc(sizeof (char) * 512);
      sprintf(historique[i], "abcdefabcdefabcdefabcdefabcdef");
 
      if (i >= 1 && historique[i] == NULL)
	break;
    }
 
  for (i--; i >= 0; i--)
    printf ("%s\n", historique[i]);
 
   for (i=0; historique[i]; i++)
    free(historique[i]);
 
  free(historique);
}

10/06/2010, 15h01
jowo
Un free ne peut se faire que pour un pointeur retourné par un malloc ou NULL.
Code:

1 2 3 historique[i] = malloc(sizeof(char*)); historique[i] = "abcdefabcdefabcdefabcdefabcdef"+i;
Step By Step...
1) "malloc(sizeof(char*))" alloue dans le tas un espace pour un pointeur de char*. "malloc" te retourne le pointeur sur cet espace que tu vas mémoriser dans historique[i].

2) Tu affectes à historique[i] le pointeur résultant du calcul l'adresse de "abcdefa...." plus l'offset de valeur i.

Au final dans historique[i], tu n'as plus un pointeur adressant le tas mais une zone mémoire qui ne peut être pas libérée par free.
10/06/2010, 15h08
Webby1234
Citation:
Envoyé par jowo

Un free ne peut se faire que pour un pointeur retourné par un malloc ou NULL.

Code:

1 2 3 historique[i] = malloc(sizeof(char*)); historique[i] = "abcdefabcdefabcdefabcdefabcdef"+i;

Step By Step...
1) "malloc(sizeof(char*))" alloue dans le tas un espace pour un pointeur de char*. "malloc" te retourne le pointeur sur cet espace que tu vas mémoriser dans historique[i].

2) Tu affectes à historique[i] le pointeur résultant du calcul l'adresse de "abcdefa...." plus l'offset de valeur i.

Au final dans historique[i], tu n'as plus un pointeur adressant le tas mais une zone mémoire qui ne peut être pas libérée par free.
Je venais justement de mettre une correction la dessus.
Merci quand meme, mais un bug subsiste sur le free(historique[i])

Ce code me paraît douteux...

Code:

1
2
3
 
for (i=0; historique[i] != NULL; i++)
    free(historique[i]);

Peut être la réponse ;)

Code:

1
2
3
4
 
for (i=0; i < nbLignes; ++i) {
  free(historique[i]);
}

10/06/2010, 15h26
Webby1234

C'était en effet la réponse.
Mais imaginons que j'ai simplement un char** et que je n'ai pas de variables contenant le nb d'éléments, comment dois-je faire ?

Une solution est de mettre une sentinelle à la fin

Pseudo-code

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
const char * SENTINEL = "";
 
// Allocation
historique = malloc(sizeof(historique) * (nbLigne+1));
historique[nbLigne] = SENTINEL;
for (i = 0; i < nbLigne; ++i) {
  historique[i] = malloc(512); // En C,  par définition sizeof(char) == 1 est tjrs vraie
}
 
 
// Libération
for (i = 0; historique[i] != SENTINEL; ++i) {
  free(historique[i]);
}

10/06/2010, 15h44
Webby1234

Ok, merci beaucoup :)

@jowo :attention, il y a des erreurs dans ton (pseudo)code :
- dans le malloc de historique
- manque la libération de historique

La meilleure sentinelle, et la plus naturelle, dans ce cas n'est pas l'adresse d'une chaine vide, mais la valeur NULL :
Code:

1 2 3 4 5 6 7 historique = malloc((nbLigne+1)sizeof *historique); for (i = 0; i < nbLigne; ++i) historique[i] = malloc(512); historique[nbLigne] = NULL; .... // Libération for (i = 0; historique[i] != NULL; ++i) free(historique[i]); free(historique);

11/06/2010, 07h37
jowo

@diogene Merci pour les corrections.
Je n'ai pas pris NULL comme sentinelle car elle peut être utilisée pour indiquer l'absence d'allocation. On peut supposer que durant le déroulement du programme certains allocations soient libérées et marquées comme "vide" à l'aide de NULL.
11/06/2010, 09h51
diogene

Citation:

Envoyé par jowo

Je n'ai pas pris NULL comme sentinelle car elle peut être utilisée pour indiquer l'absence d'allocation. On peut supposer que durant le déroulement du programme certains allocations soient libérées et marquées comme "vide" à l'aide de NULL.

C'est un argument valable dans l'éventualité que tu cites.
Dans ce cas, personnellement, plutôt qu'une sentinelle marquant la fin, je préférerais assembler dans une structure le pointeur sur le tableau (historique) et le nombre d'éléments alloués.