Comportamento di realloc quando la nuova dimensione è uguale a quella precedente

Question

Sto provando a rendere un codice più efficiente. Ho qualcosa di simile:

typedef struct{ 
    ... 
    }MAP; 



    MAP* pPtr=NULL; 
    MAP* pTemp=NULL; 
    int iCount=0; 
    while (!boolean){ 
    pTemp=(MAP*)realloc(pPtr,(iCount+1)*sizeof(MAP)); 
    if (pTemp==NULL){ 
    ... 
    } 
    pPtr=pTemp; 
    ... 
    iCount++; 
    } 

La memoria viene allocata dinamicamente. Vorrei ridurre le chiamate realloc per rendere il codice più efficiente. Mi piacerebbe sapere come si comporterebbe realloc se la nuova dimensione è uguale a quella vecchia. La chiamata sarà semplicemente ignorata?

Answer 1

Non è specificato nella norma C. Tutto di serie C garantito è : il contenuto del nuovo oggetto deve essere uguale a quello del vecchio oggetto prima della deallocazione, fino al minore tra le nuove e le vecchie dimensioni.

Tuttavia, se si utilizza GNU libc, si dice esplicitamente di restituire lo stesso indirizzo, vedere here per i dettagli.

Se la nuova dimensione specificata è la stessa della vecchia dimensione, realloc è garantito per non modificare nulla e restituire lo stesso indirizzo che hai dato.

Answer 2

Non vorrei contare su realloc che si comporta come un no-op se la dimensione non cambia (anche se sembra una cosa ragionevole da fare), ma poi non è necessario: se il valore di iCount non è cambiato, non effettuare la chiamata a realloc.

Answer 3

Lo standard C non specifica cosa accadrà, quindi sei in balia dell'implementazione. Non riesco a immaginare un'implementazione semi-decente che non restituisca il puntatore passato, ma l'opzione sicura è quella di verificare se la dimensione dell'allocazione è cambiata nel proprio codice. Ciò salterà sicuramente anche una chiamata di funzione.

(a proposito, si prega di non cast del valore restituito da realloc. Non è necessario e potrebbe nascondere un comportamento indefinito se si dimentica di #include <stdlib.h>.)