Discussion :

[Stupendous Man]

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]

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]

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]

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]

on peut directement faire

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

[Stupendous Man]

OK, merci.

[souviron34]

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...