Discussion :

[eric30eric]

Je cherche a comprendre pourquoi cet utilisation de malloc fonctionne, mais ne devrait pourtant pas fonctionner?

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
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
 
 
typedef struct
{
	unsigned int entry_start;
	unsigned int entry_end;
}ENTRY;
 
 
int main(int argc, char *argv[])
{
    ENTRY *file_entry;
    int i;
 
 
    file_entry  = malloc(0);
   for (i=0;i<35;i++)
    {
       file_entry[i].entry_start = i;
       file_entry[i].entry_end = i+1;       
    }  
 
    for (i=0;i<35;i++)
    {
        printf("entry start : %d entry end : %d\n", file_entry[i].entry_start, file_entry[i].entry_end );  
    }    
 
    system("PAUSE");   	
    return 0;
}

Si j'arrête la boucle a 36 ou +, là par contre sa ne fonctionne plus, des explication?

[jeroman]

Salut.

Le comportement est défini par l'implémentation.

La norme C90 n'est pas très loquace à ce sujet :

If the size of the space requested is zero, the behavior is implementation defined; the value returned shall be either a null pointer or a unique pointer.

La norme ne définit pas ce qu'est ce fameux "unique pointer"... ou alors peut-être de manière détournée (?). Les connaisseurs donneront sûrement des précisions.

Par contre C99 précise mieux les choses :

If the size of the space requested is zero, the behavior is implementation-defined: either a null pointer is returned, or the behavior is as if the size were some nonzero value, except that the returned pointer shall not be used to access an object.

Cela veut dire que si la fonction renvoie autre chose que NULL ce pointeur ne devra pas être utilisé pour accéder à l'objet. Mais le "the behavior is as if the size were some nonzero value" laisse supposer qu'il s'agit d'un pointeur valide, dans le sens où on peut ensuite l'utiliser avec free.

Mais dans la pratique je ne vois de toute façon pas l'intérêt d'allouer 0 byte de mémoire.
J'ai une question à mon tour : pourquoi la norme permet-elle ce cas spécial ? Pour laisser un peu de souplesse à l'implémentation ?

[Obsidian]

Bonjour,

J'ai une question à mon tour : pourquoi la norme permet-elle ce cas spécial ? Pour laisser un peu de souplesse à l'implémentation ?

J'imagine que c'est utile lorsque la quantité de mémoire à réserver est déterminé par calcul à l'exécution (du style « malloc(nombredelements * sizeof element) »). Dans le cas d'une liste vide, il est idiot d'allouer de la mémoire pour rien, mais il faut quand même que le pointeur soit valide pour ne pas mettre en échec le programme qui fait cet appel.

Dans ce cas, soit on renvoie effectivement NULL, soit on réserve à l'avance un octet « permanent » à l'aide d'une variable globale ou une locale statique, qui serve de « parking » et dont on renverrait l'adresse — toujours la même — à tous les malloc(0). Je pense que c'est ce qu'ils entendent par « pointeur unique ».

[eric30eric]

En fait, au début je me demandais si j'allouais vraiment le bon espace, je me suis mis a faire des test, et peu importe la valeurs que je lui met, sa semble être faux, même si je met malloc(1)... je peut utiliser 35 éléments, pourtant au deuxième, sa devrait ne pas fonctionner...

[gl]

En fait, au début je me demandais si j'allouais vraiment le bon espace, je me suis mis a faire des test, et peu importe la valeurs que je lui met, sa semble être faux, même si je met malloc(1)... je peut utiliser 35 éléments, pourtant au deuxième, sa devrait ne pas fonctionner...

C'est un comportement indéfini, tout peut arriver y compris un code qui semble marcher (jusqu'au jour où).

[Jean-Marc.Bourguet]

Dans ce cas, soit on renvoie effectivement NULL, soit on réserve à l'avance un octet « permanent » à l'aide d'une variable globale ou une locale statique, qui serve de « parking » et dont on renverrait l'adresse — toujours la même — à tous les malloc(0). Je pense que c'est ce qu'ils entendent par « pointeur unique ».

pointeur unique c'est que chaque malloc(0) en renvoie un différent (jusqu'à ce qu'il soit libéré). Voir la citation de Jeroman.

En fait, au début je me demandais si j'allouais vraiment le bon espace, je me suis mis a faire des test, et peu importe la valeurs que je lui met, sa semble être faux, même si je met malloc(1)... je peut utiliser 35 éléments, pourtant au deuxième, sa devrait ne pas fonctionner...

Formellement, tu fais quelque chose que tu ne dois pas, n'importe quoi peut arriver, y compris fonctionner comme tu penses que ça devrait.

En pratique, tu as vraisemblablement foutu en l'air les structures de données utilisées par malloc, mais ça se verra plus tard quand tu auras fais d'autres allocations/déallocations.

[Obsidian]

même si je met malloc(1)... je peut utiliser 35 éléments, pourtant au deuxième, sa devrait ne pas fonctionner...

Un début d'explication ici : http://www.developpez.net/forums/d88...e/#post5018145

pointeur unique c'est que chaque malloc(0) en renvoie un différent (jusqu'à ce qu'il soit libéré). Voir la citation de Jeroman.

Mouais. Ça ne me convainc pas. Je reste à peu près persuadé que l'auteur du paragraphe de la première norme le voyait à peu près comme je le vois, avant que ce point ambigu ne soit clarifié dans C99 et qu'il y soit décidé de faire en sorte que les pointeurs renvoyés, si non NULL, se comportent de la même façon dans tous les cas…