Discussion :

[Diacred]

Bonjour vous
Tout nouveau sur ce forum, je me permet de poser une question

Je suis entrain de creer une fonction recursive visant a creer un tableau qui contiendra un triangle de sierpinsky (c'est une fractale).
J'ai une consigne quand aux donnees envoyees a la fonction : uniquement une puissance de deux qui sera la taille du tableau

A chaque appel de la fonction, je recupere le tableau qui se remplit donc au fur et a mesure
Comme on ne sait pas quelle taille fera le triangle, le tableau est alloue dynamiquement : pour liberer la memoire, j'utilise bien sur free(array). Mon probleme vient du fait que je ne peux pas liberer la memoire APRES le retour de la fonction et que si je libere la memoire avant, je ne peux pas renvoyer le tableau.

Voila des portions de mon code pour etre plus clair :

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
27
28
29
30
31
32
33
34
int main()
{
  int i, j, power;
  int **sierpinsky_a = NULL;
 
  /* On prend par exemple power = 16 */
  power = 16;
  [...] /* Allocation Dynamique du tableau a deux dimensions **sierpinsky_a */
  **sierpinsky_a = create_array(power);
  [...] /* Traitement du tableau retourne puis liberation de la memoire. */
  return (0);
}
 
int create_array(int power)
{
  int i, j, k, l, sier_size, temp_size;
  int **sierpinsky_a = NULL;
  int **temp_a = NULL;
 
  [...] /* Allocation dynamique de mes deux tableaux et initialisations des variables */
  if (power > 2)
    {
       **sierpinsky_a = create_array(power/2);
    }
  [...] /* Remplissage du tableau temp_a par rapport a sierpinsky_a */
 
  for (i = 0; i < sier_size; i++)
    {
       free(sierpinsky_a);
    }
   free(sierpinsky_a);
   return (**temp_a);
  /* Et c'est pour ce return que ca peche : je peux pas le desallouer ici, ni plus haut. */ 
}

Merci pour votre aide qui me sera surement precieuse. C'est pas la premiere fois que j'ai ce probleme.

[Médinoc]

Si une fonction retourne un pointeur vers une zone mémoire allouée dynamiquement, c'est à la fonction appelante de libérer cette mémoire.

[Diacred]

Meme en sachant que create_array() est recursive et s'appelle elle-meme ?

Suffit de liberer dans le main ?

[milouz123]

Il n'y a pas de garbage collector implémenté au niveau de l'OS.
Il faut donc libérer chaque bloc alloué un à un.

[Diacred]

Pourrais-tu etre plus clair ? J'ai pas compris.

Merci

Si je dois desallouer un a un les blocs, je le fais dans le main ou dans la fonction ?
Si j'ai bien compris ce qu'on a dit plus haut c'est dans le main, mais apres...

[diogene]

Code :

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

1
2
3
4
5
  int **sierpinsky_a = NULL;
...
  [...] /* Allocation Dynamique du tableau a deux dimensions **sierpinsky_a */
  **sierpinsky_a = create_array(power);
  [...] /* Traitement du tableau retourne puis liberation de la memoire. */

Si create_array crée le tableau, il doit retourner son adresse. Or **sierpinsky_a est un int, pas un pointeur.
On attend plutôt :

Code :

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

sierpinsky_a = create_array(power);

Pour la question de la libération mémoire allouée dans create_array, il faudrait un peu plus de code de create_array pour comprendre le détail des allocations (compliqué par le fait de la récursivité). Ce qui est sûr, c'est que tout ce qui ne peut être libéré par l'intermédiaire de sierpinsky_a dans le main doit l'être directement dans create_array

[milouz123]

Si je dois desallouer un a un les blocs, je le fais dans le main ou dans la fonction ?
Si j'ai bien compris ce qu'on a dit plus haut c'est dans le main, mais apres...

La désallocation peut se faire à n'importe quel endroit du code, mais je vais prendre un exemple pour être plus clair.

Admettons un pointeur de structure que nous appelerons pstruct. Dans le cas d'un malloc, pstruct va pointer sur un bloc mémoire :

Code :

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

 pstruct -> bloc1

Mais dans pstruct, certains champs peuvent eux mêmes être des pointeurs et on pourrait donc avoir un truc du genre :

Code :

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

1
2
3
 
pstruct -> bloc1 -- champ_truc -> bloc2
               \---- champ bidule -> bloc3

Pour libérer la mémoire, il faut libérer les 3 blocs individuellement, un à un. On ne peut pas juste faire un free(bloc1).
C'est ce que je voulais dire plus haut.

[Emmanuel Delahaye]

Voila des portions de mon code pour etre plus clair :

Ce code ne s'exécute pas (crash). Il doit manquer des choses ([...] ?). On doit deviner ?

[Diacred]

-Ed-, il est dans le message precedent le tien, complet et fonctionnel.

J'avais mis des [...] car je recopiais le programme depuis un autre PC, sans moyen de transfert. Je n'avais donc recopie que les parties qui me semblaient utiles