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

Version imprimable

1 pièce(s) jointe(s)

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:

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:

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:

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:

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:

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

15/06/2011, 16h30
Obsidian

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.

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

Code:

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:

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:

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

qui va donner

Code:

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:

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

16/06/2011, 13h49
Stupendous Man
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:

1 2 3 4 5 if(M!=NULL) FREE(M); if(temp!=NULL) FREE(temp);
on peut directement faire
Code:

1 2 3 FREE(M); FREE(temp);
Non ?
16/06/2011, 14h39
jeroman

Citation:

on peut directement faire

Tout à fait. En C, il est permis de faire un free sur NULL.
16/06/2011, 15h06
Stupendous Man

OK, merci.
16/06/2011, 15h20
gangsoleil
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:

1 2 3 4 5 #define FREE(p) do { /* ici le corps de ta macro * sur plusieurs lignes */ } while (0)
16/06/2011, 17h01
Stupendous Man

Je comprends, merci.
17/06/2011, 13h23
souviron34

Citation:

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:

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

ou

Code:

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

ou

Code:

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

je conseillerais plutôt de mettre :

Code:

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...
17/06/2011, 16h13
diogene

Citation:

Citation:

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 :

Citation:

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....
17/06/2011, 16h16
jeroman
Citation:

Envoyé par souviron34

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

Les normes C90 & C99 sont pourtant précises à ce sujet :
Citation:
7.10.3.2 The free function

Synopsis

Code:

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.
17/06/2011, 16h46
souviron34

Citation:

Envoyé par diogene

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

Citation:

Envoyé par jeroman

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

les normes et la pratique.... vaste sujet...