Discussion :

[Webby1234]

Salut à tous !

J'ai le code suivant :

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
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 :

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

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

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

[jowo]

Bonjour,

Le problème provient du code suivant:

Code :

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

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.

[Webby1234]

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

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
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);
}

[jowo]

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

Code :

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

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.

[Webby1234]

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

Code :

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

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])

[jowo]

Ce code me paraît douteux...

Code :

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

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

Peut être la réponse

Code :

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

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

[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 ?

[jowo]

Une solution est de mettre une sentinelle à la fin

Pseudo-code

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
 
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]);
}

[Webby1234]

Ok, merci beaucoup

[diogene]

@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 :

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

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);

[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.

[diogene]

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.