a zero dimensioni malloc

Question

domanda molto semplice, ho fatto il seguente programma:

#include <stdlib.h> 
int main(int argc, char ** argv) 
{ 
    void * ptr; 
    ptr = malloc(0); 
    free(ptr); 
} 

E non segfault sulla mia macchina. È un comportamento portatile di stdlib malloc e gratuito, o sto cercando problemi?

Modifica: Ciò che sembra non portabile è il valore restituito da malloc. La domanda riguarda la combinazione malloc (0) + libera, non il valore di ptr.

Answer 1

Il comportamento è definito dall'implementazione, riceverai un puntatore NULL o un indirizzo. Chiamare gratis per il puntatore ricevuto non dovrebbe tuttavia causare un problema dato:

• gratuito (NULL) è ok, non vengono effettuate operazioni
• gratuito (indirizzo) è ok, se l'indirizzo è stato ricevuto da malloc (o altri come calloc ecc.

Answer 2

È possibile restituire NULL e è consentito restituire un puntatore non NULL non è possibile effettuare il dereference. Entrambi i modi sono sanzionate dallo standard (7.20.3):

Se la dimensione dello spazio richiesto è nullo, il comportamento è implementazione definita: o un puntatore nullo viene restituito, o il comportamento è se la dimensione era un valore diverso da zero, ad eccezione del fatto che il puntatore restituito non deve essere utilizzato per accedere a un oggetto.

Answer 3

scusiamo per il disturbo, ho dovuto leggere le pagine man:

malloc() alloca byte di dimensione e restituisce un puntatore alla memoria allocata. La memoria non è cancellata. Se la dimensione è 0, malloc() restituisce NULL o un valore di puntatore univoco che può essere successivamente passato correttamente a free().

libero() libera lo spazio di memoria indicato da ptr, che deve essere stato restituito da una precedente chiamata a malloc(), calloc() o realloc(). In caso contrario, o se libero (ptr) è già stato chiamato prima, si verifica un comportamento non definito. Se ptr è NULL, non viene eseguita alcuna operazione.

Sembra è vero almeno per il GNU libc

Answer 4

aggiornati per tener conto LIBT & commenti di Pax:

Il comportamento di chiamare malloc (0) è a carico di attuazione o in altre parole non portabile e indefinito.

Link a CFaq domanda per maggiori dettagli.

Answer 5

Secondo la norma c

7.20.3 Se la dimensione dello spazio richiesto è nullo, il comportamento è definito attuazione: o un puntatore nullo viene restituito, o il comportamento è come se fosse una dimensione valore diverso da zero, tranne per il fatto che il puntatore restituito non deve essere utilizzato per accedere a un oggetto.

Answer 6

Anche se potrebbe essere legale C/C++, è indicativo un problema più grande. Generalmente lo chiamo 'pointer slopiness'.

Vedere "Non fare assunzioni sul risultato di malloc (0) o calloc (0)", https://www.securecoding.cert.org/confluence/display/seccode/VOID+MEMxx-A.+Do+not+make+assumptions+about+the+result+of+malloc%280%29+or+calloc%280%29.

Answer 7

Nella mia esperienza, ho visto che malloc (0) restituisce un puntatore che può essere liberato. Ma questo causa SIGSEGV nelle successive istruzioni di malloc(). E questo era altamente casuale.

Quando ho aggiunto un assegno, per non chiamare malloc se la dimensione da assegnare è zero, mi sono liberato di questo.

Quindi, vorrei suggerire di non allocare memoria per dimensione 0.

-Ashutosh