Comprendre la mémoire conservée dans les fonctions

Dans le contexte d'une fonction, « conserve » fait référence au fait que la fonction ne libère pas la mémoire qu'elle utilise. Au lieu de cela, il conserve la mémoire et est responsable de sa désallocation lorsqu'elle n'est plus nécessaire.

En d'autres termes, une fonction qui conserve la mémoire ne renvoie pas la mémoire au tas ou à la pile une fois qu'elle a fini de l'utiliser. Cela signifie que la fonction est responsable de la gestion de la durée de vie de la mémoire, ce qui peut être utile dans certaines situations mais nécessite également une gestion minutieuse pour éviter les fuites de mémoire.

Par exemple, considérons une fonction qui alloue de la mémoire pour une structure de données volumineuse et renvoie ensuite un pointeur vers cette structure de données vers l’appelant. Si la fonction ne libère pas la mémoire lorsqu'elle n'est plus nécessaire, la mémoire sera conservée par la fonction et l'appelant sera responsable de sa désallocation ultérieure. Cela peut entraîner des fuites de mémoire si l'appelant oublie de désallouer la mémoire.

En revanche, une fonction qui renvoie un pointeur vers la mémoire allouée sur la pile ou le tas, puis libère la mémoire lorsqu'elle n'est plus nécessaire (c'est-à-dire ` malloc` et `free`) ne conserve pas la mémoire. La mémoire est libérée dans le tas ou la pile dès que la fonction a fini de l'utiliser, de sorte que l'appelant n'a pas à se soucier de la gestion de la durée de vie de la mémoire.