(Re)Allocation dynamique de mémoire dans une fonction

**Stupendous Man** · 15/06/2011, 15h43

Bonjour,

après recherche et lecture d'informations, j'effectue quelques tests sur un cas "simple" afin de bien comprendre l'allocation et la libération de mémoire avec fonction

Je cherche juste à modifier la taille d'un tableau d'entiers dans 4 codes différents comme ceci :

realloc-1.c : realloc dans la fonction principale + variable locale
realloc-2.c : realloc dans la fonction principale + variable globale
realloc-3.c : realloc dans une sous-fonction + variable globale
realloc-4.c : realloc dans une sous-fonction + passage par adresse

Tous les codes semblent tourner sans erreur mais je voulais avoir confirmation auprès de membres plus expérimentés. Ces codes sont-ils propres ?

Le but final étant bien entendu d'utiliser la dernière méthode, donc si vous pouviez au moins me donner votre avis sur cette version...

PS : ne vous attardez pas trop sur les fonctions disp et setvalk (sauf erreur flagrante).

Merci
Stupendous Man (autodidacte)

realloc-1.c :

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
#include "rea.h"
 
int disp(int *, size_t);
int setvalk(int *, size_t);
 
int main(void) {
 
    int chk;
    int *M = NULL, *temp = NULL;
    size_t n[4], i;
 
    n[0] = (size_t)N0;
    n[1] = n[0]*800;
    n[2] = n[1]/400;
    n[3] = n[2]*1000;
 
    printf("\nDebut\n\n");
 
    for(i=0;i<4;i++) {
 
        temp = realloc(M, n[i]*sizeof(M));
        if(temp==NULL) {
            fprintf(stderr, " Pb Realloc (%s - %u)", __FILE__, __LINE__);
            if(i>0)
                FREE(M);
            return -1;
        }
        else {
            M = temp;
            temp = NULL;
            printf(" Realloc OK (Taille: % 8u, Adr: %p); ", n[i]*sizeof(M),M);
        }
 
        chk = setvalk(M, n[i]); 
        printf("%s",(chk==0) ? "Setvalk OK;\n" : "Pb Setvalk;\n");
        if(chk==-1)
            break;
 
        chk = disp(M, n[i]);
        printf("%s",(chk==0) ? "Affiche OK; " : "Pb Affiche;");
        if(chk==-1)
            break;
 
        printf("\n\n");   
 
    }
 
    if(M!=NULL)
        FREE(M);
 
    if(temp!=NULL)
        FREE(temp);
 
    printf("\nFin\n");
 
    return 0;
 
}
 
int disp(int * ptr, size_t n) {
 
    size_t i;
 
    printf(" M (Adr: %p) = [ ", ptr);
 
    if(n>AFFMAX) {
        for(i=0;i<AFFMAX;i++)
            printf("%d ", ptr[i]);
        printf("...]; ");
    }
    else {
        for(i=0;i<n;i++)
            printf("%d ", ptr[i]);
        printf("];");
        for(i=0;i<2*(AFFMAX-n+2);i++)
            printf(" ");
    }
 
    return 0;
 
}
 
int setvalk(int * ptr, size_t n) {
 
    size_t i;
 
    for(i=0;i<n;i++)
        ptr[i] = k;
 
    k++;
 
    return 0;
 
}

realloc-2.c :

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
#include "rea.h"
 
int disp(size_t);
int setvalk(size_t);
 
int *M = NULL;
 
int main(void) {
 
    int chk;
    int *temp = NULL;
    size_t n[4], i;
 
    n[0] = (size_t)N0;
    n[1] = n[0]*800;
    n[2] = n[1]/400;
    n[3] = n[2]*1000;
 
    printf("\nDebut\n\n");
 
    for(i=0;i<4;i++) {
 
        temp = realloc(M, n[i]*sizeof(M));
        if(temp==NULL) {
            fprintf(stderr, " Pb Realloc (%s - %u)", __FILE__, __LINE__);
            if(i>0)
                FREE(M);
            return -1;
        }
        else {
            M = temp;
            temp = NULL;
            printf(" Realloc OK (Taille: % 8u, Adr: %p); ", n[i]*sizeof(M),M);
        }
 
        chk = setvalk(n[i]); 
        printf("%s",(chk==0) ? "Setvalk OK;\n" : "Pb Setvalk;\n");
        if(chk==-1)
            break;
 
        chk = disp(n[i]);
        printf("%s",(chk==0) ? "Affiche OK; " : "Pb Affiche;");
        if(chk==-1)
            break;
 
        printf("\n\n");   
 
    }
 
    if(M!=NULL)
        FREE(M);
 
    if(temp!=NULL)
        FREE(temp);
 
    printf("\nFin\n");
 
    return 0;
 
}
 
int disp(size_t n) {
 
    size_t i;
 
    printf(" M (Adr: %p) = [ ", M);
 
    if(n>AFFMAX) {
        for(i=0;i<AFFMAX;i++)
            printf("%d ", M[i]);
        printf("...]; ");
    }
    else {
        for(i=0;i<n;i++)
            printf("%d ", M[i]);
        printf("];");
        for(i=0;i<2*(AFFMAX-n+2);i++)
            printf(" ");
    }
 
    return 0;
 
}
 
int setvalk(size_t n) {
 
    size_t i;
 
    for(i=0;i<n;i++)
        M[i] = k;
 
    k++;
 
    return 0;
 
}

realloc-3.c :

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
#include "rea.h"
 
int disp(size_t);
int setvalk(size_t);
int reallocM(size_t);
 
int *M = NULL;
 
int main(void) {
 
    int chk;
    size_t n[4], i;
 
    n[0] = N0;
    n[1] = n[0]*800;
    n[2] = n[1]/400;
    n[3] = n[2]*1000;
 
    printf("\nDebut\n\n");
 
    for(i=0;i<4;i++) {
 
        chk = reallocM(n[i]);
        if(chk==0)
            printf(" Realloc OK (Taille: % 8u, Adr: %p); ", n[i]*sizeof(M),M);
        else {
            fprintf(stderr, " Pb Realloc (%s - %u)", __FILE__, __LINE__);
            if(i>0)
                FREE(M);
            return -1;
        }
 
        chk = setvalk(n[i]); 
        printf("%s",(chk==0) ? "Setvalk OK;\n" : "Pb Setvalk;\n");
        if(chk==-1)
            break;
 
        chk = disp(n[i]);
        printf("%s",(chk==0) ? "Affiche OK; " : "Pb Affiche;");
        if(chk==-1)
            break;
 
        printf("\n\n");   
 
    }
 
    if(M!=NULL)
        FREE(M);
 
    printf("\nFin\n");
 
    return 0;
 
}
 
int disp(size_t n) {
 
    size_t i;
 
    printf(" M (Adr: %p) = [ ", M);
 
    if(n>AFFMAX) {
        for(i=0;i<AFFMAX;i++)
            printf("%d ", M[i]);
        printf("...]; ");
    }
    else {
        for(i=0;i<n;i++)
            printf("%d ", M[i]);
        printf("];");
        for(i=0;i<2*(AFFMAX-n+2);i++)
            printf(" ");
    }
 
    return 0;
 
}
 
int setvalk(size_t n) {
 
    size_t i;
 
    for(i=0;i<n;i++)
        M[i] = k;
 
    k++;
 
    return 0;
 
}
 
int reallocM(size_t n) {
 
    int *temp=NULL;
 
    temp = realloc(M,n*sizeof(*M));
    if(temp==NULL) {
        if(M!=NULL)
            FREE(M);
        return -1;
    }
    else {
        M = temp;
        temp = NULL;
    }
 
    return 0;
 
}

realloc-4.c :

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
#include "rea.h"
 
int disp(int *, size_t);
int setvalk(int *, size_t);
int reallocM(int **, size_t);
 
int main(void) {
 
    int *M = NULL;
    int chk;
    size_t n[4], i;
 
    n[0] = N0;
    n[1] = n[0]*800;
    n[2] = n[1]/400;
    n[3] = n[2]*1000;
 
    printf("\nDebut\n\n");
 
    for(i=0;i<4;i++) {
 
        chk = reallocM(&M, n[i]);
        if(chk==0)
            printf(" Realloc OK (Taille: % 8u, Adr: %p); ", n[i]*sizeof(M),M);
        else {
            fprintf(stderr, " Pb Realloc (%s - %u)", __FILE__, __LINE__);
            if(i>0)
                FREE(M);
            return -1;
        }
 
        chk = setvalk(M, n[i]); 
        printf("%s",(chk==0) ? "Setvalk OK;\n" : "Pb Setvalk;\n");
        if(chk==-1)
            break;
 
        chk = disp(M, n[i]);
        printf("%s",(chk==0) ? "Affiche OK; " : "Pb Affiche;");
        if(chk==-1)
            break;
 
        printf("\n\n");   
 
    }
 
    if(M!=NULL)
        FREE(M);
 
    printf("\nFin\n");
 
    return 0;
 
}
 
int disp(int * ptr, size_t n) {
 
    size_t i;
 
    printf(" M (Adr: %p) = [ ", ptr);
 
    if(n>AFFMAX) {
        for(i=0;i<AFFMAX;i++)
            printf("%d ", ptr[i]);
        printf("...]; ");
    }
    else {
        for(i=0;i<n;i++)
            printf("%d ", ptr[i]);
        printf("];");
        for(i=0;i<2*(AFFMAX-n+2);i++)
            printf(" ");
    }
 
    return 0;
 
}
 
int setvalk(int * ptr, size_t n) {
 
    size_t i;
 
    for(i=0;i<n;i++)
        ptr[i] = k;
 
    k++;
 
    return 0;
 
}
 
int reallocM(int ** ptr, size_t n) {
 
    int *temp=NULL;
 
    temp = realloc(*ptr,n*sizeof(**ptr));
    if(temp==NULL) {
        return -1;
    }
    else {
        *ptr = temp;
        temp = NULL;
    }
 
    return 0;
 
}

rea.h :

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
#ifndef H_REA
#define H_REA
 
#include <stdio.h>
#include <stdlib.h>
 
#define N0 200
 
#define AFFMAX 9
 
#define FREE(p) free(p);\
                p = NULL;
 
int k = 0;
 
#endif

**Obsidian** · 15/06/2011, 16h30

Bonjour et bienvenue,

À vue de nez (je n'ai que survolé), ton code a l'air syntaxiquement propre.

Sur le fond, à présent, on utilise free() et pas FREE() (le C est case-sensitive) et d'une manière générale, essaie d'éviter le recours aux variables globales chaque fois que tu le peux (voir ici pourquoi).

Enfin, méfie-toi lorsque tu fais des free() successifs sur M et temp. Si tu essaies de libérer une zone qui a déjà été libérée auparavant (mais dont l'adresse est restée intacte dans un pointeur qui la contient), free() va se plaindre et ton programme va planter.

**diogene** · 16/06/2011, 11h15

1- Une variante pour le cas realloc-4.c :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
void * reallocM(int ** ptr, size_t n) {
    int *temp = realloc(*ptr,n*sizeof **ptr); 
    if(temp!=NULL) *ptr = temp;
    return temp;   
} 
// Note :  sizeof est un opérateur, pas une fonction : les () sont inutiles
// l'opérande est une expression ou un type spécifié avec la même syntaxe que celle utilisée pour un cast (type entre ())
 
int main(void) {
....
        if(reallocM(&M, n[i])!=NULL)
            printf(" Realloc OK (Taille: % 8u, Adr: %p); ", n[i]*sizeof(M),M);
        else {...

2- Une critique sur la macro

Code :

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

1
2
#define FREE(p) free(p);\
                p = NULL;

Ici, tout se passe bien, mais cette macro dépend de son environnement d'utilisation ce qui est source de problèmes si on l'utilise dans un autre contexte. Par exemple :

Code :

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

1
2
if(...) FREE(p);
else ....   // erreur de compilation.

qui va donner

Code :

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

1
2
3
if(...)free(p);
p=NULL;;    // deux ';' ce qui n'est pas bien grave
else ....   // mais pas de if pour cet else : erreur de compilation.

Il faut préférer, par exemple, la forme :

Code :

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

#define FREE(p) free(p), p = NULL

**Stupendous Man** · 16/06/2011, 13h49

Merci pour vos retours.

J'ai bien noté la subtilité sur la macro FREE(p)

Sinon une dernière petite chose. Si je ne me trompe pas, les test sur les pointeurs avant libération sont inutiles :

Code :

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

1
2
3
4
5
    if(M!=NULL)
        FREE(M);
 
    if(temp!=NULL)
        FREE(temp);

on peut directement faire

Code :

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

1
2
3
 
        FREE(M);
        FREE(temp);

Non ?

**jeroman** · 16/06/2011, 14h39

on peut directement faire

Tout à fait. En C, il est permis de faire un free sur NULL.

**Stupendous Man** · 16/06/2011, 15h06

OK, merci.

**gangsoleil** · 16/06/2011, 15h20

Bonjour,

Une derniere remarque sur la macro : si tu veux vraiment en ecrire une, tu peux utiliser l'ecriture suivante (pour les memes raisons que precisees plus haut), ce qui te permet d'ecrire une macro sur plusieurs lignes sans soucis :

Code :

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

1
2
3
4
5
 
#define FREE(p) do { /* ici le corps de ta macro
                      * sur plusieurs lignes
                      */
                   } while (0)

**Stupendous Man** · 16/06/2011, 17h01

Je comprends, merci.

**souviron34** · 17/06/2011, 13h23

Envoyé par jeroman

Tout à fait. En C, il est permis de faire un free sur NULL.

attention, ceci n'est pas valable partout .... (certaines plateforme, certaines versions)...

HPUX 10.2 et Linux Redhat 6.3 crashaient...

De plus, de façon à être plus lisible et cohérent en général moi je conseille néanmoins de le mettre :

de la même manière qu'on fait

Code :

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

if ( (fich = fopen....) != NULL )

ou

Code :

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

if ( fgets(...) != NULL )

ou

Code :

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

if ( (x = malloc (...)) != NULL )

je conseillerais plutôt de mettre :

Code :

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

if ( pointeur != NULL )

qui de plus est cohérent avec la libération de tableaux à N dimensions dans lequel on a pas (pu) par exemple tout allouer...

**diogene** · 17/06/2011, 16h13

Envoyé par jeroman
Tout à fait. En C, il est permis de faire un free sur NULL.

attention, ceci n'est pas valable partout .... (certaines plateforme, certaines versions)...

Si le compilateur respecte la norme, c'est valable.

n1256 :

7.20.3.2 The free function
Synopsis
1 #include <stdlib.h>
void free(void *ptr);
Description
2 The free function causes the space pointed to by ptr to be deallocated, that is, made available for further allocation. If ptr is a null pointer, no action occurs....

**jeroman** · 17/06/2011, 16h16

Envoyé par souviron34

attention, ceci n'est pas valable partout .... (certaines plateforme, certaines versions)...

Les normes C90 & C99 sont pourtant précises à ce sujet :

7.10.3.2 The free function

Synopsis

Code :

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

1
2
#include        <stdlib.h> 
void      free(void  *ptr);

Description

The free function causes the space pointed to by ptr to be deallocated, that is, made
available for further allocation. If ptr is a null pointer, no action occurs. Otherwise, if the
argument does not match a pointer earlier returned by the calloc, malloc, or realloc
function, or if the space has been deallocated by a call to free or reallot, the behavior is
undefined.