Discussion :

[Sve@r]

Un double free peut faire le même effet parfois :

Code :

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

1
2
3
void* machin = malloc(100);
free(machin); // OK.
free(machin); // Boum, ou pas boum ? Comportement indéfini d'après la doc...

Tu peux éviter ce pb en créant ta propre macro

Code :

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

1
2
3
4
5
#define FREE(x)        (free(x), (x)=NULL)
 
void* machin = malloc(100);
FREE(machin); // OK.
FREE(machin); // OK aussi.

Tu peux aussi éviter ce pb en faisant attention à ce que tu tapes

Code :

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

1
2
3
void* machin = malloc(100);
free(machin); // OK.
free(machin); // juste pour prouver à la communauté C qui me regarde d'un air désaprobateur que je suis vraiment trop con

[orfix]

Pour être franc je préfère encore le BOUM.

[LittleWhite]

@Sve@r: Je pense que tout ceux qui ont répondu au sujet savent très bien comment éviter ces problèmes .

Pour le boum... je le préfère aussi ... mais des fois, je trouve ça pénible ( quand je trouve pas d'où cela vient.

[Mac LAK]

Tu peux éviter ce pb en créant ta propre macro

Qu'il faut alors préfixer par un test "if ((x)!=NULL) : je le répète, le comportement d'un double free est indéfini quel que soit la cible, et libérer NULL peut poser des problèmes suivant les cibles. Il faut donc blinder à deux niveaux.

Après, il y a plein de (bonnes) méthodes pour libérer la mémoire proprement, que ce soit en C ou en C++ d'ailleurs. L'important, c'est surtout de retenir que ce qui est valable sur un PC est loin d'être aussi valable sur des cibles embarquées.

[LittleWhite]

Si on veut faire dans la macro ... ça sera donc du genre:

Code :

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

1
2
3
4
5
6
7
 
#define FREE(x) \
if ( x )\
{\
     free(x);\
     x = NULL;\
}

Et hop ... rien avant, et rien après la macro . Et nous sommes propre

[Mac LAK]

Si on veut faire dans la macro ... ça sera donc du genre:

Si l'on veut être "ultime" et blinder à tous les niveaux, ça va plutôt donner :

Code :

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

#define FREE(x) do { if (x) { free(x); x = NULL; } } while (0)

Là, t'es blindé sur les conditions du free, et en plus sur le fait de se servir de la macro au même titre qu'une instruction...
Pour protéger au niveau de l'interprétation multiple du "x", il faudrait passer par une fonction inline intermédiaire qui assurerait l'interprétation unique du paramètre, mais là, ce n'est plus de la macro "pure".

Mais bon, on digresse : je l'ai déjà dit, mais l'important, c'est de retenir qu'en embarqué, il ne faut pas présupposer que le comportement du compilateur et/ou de la CLib est identique à ce que l'on trouve sur le PC.