Definizione di una struttura in C con Malloc

Question

Ho chiesto un question earlier alla definizione di una struttura utilizzando malloc. Questa è stata la risposta mi è stata data da parte della maggioranza:

struct retValue* st = malloc(sizeof(*st)); 

stavo mostrando a un amico il mio codice, e c'è venuto a un ostacolo. Qualcuno potrebbe spiegare perché questo codice funziona? Dal mio punto di vista, * st non è stato definito quando lo si sposta, quindi potrebbe esserci qualche tipo di immondizia. Dovrebbe essere malloc(sizeof(struct retValue))

Grazie per qualsiasi aiuto

Answer 1

Sizeof analizza il tipo dell'espressione ad esso assegnata, non valuta l'espressione. Pertanto, è necessario solo accertarsi che le variabili utilizzate nell'espressione siano dichiarate in modo che il compilatore possa dedurne il tipo.

Nell'esempio, st è già dichiarato come pointer-to-struct-retValue. Di conseguenza il compilatore è in grado di dedurre il tipo dell'espressione "* st".

Anche se non sembra che sia già stato dichiarato nel codice, il compilatore si è già preso cura di esso. Tutte le dichiarazioni nel tuo codice vengono spostate all'inizio del blocco in cui si verificano dal compilatore. Supponiamo di scrivere

Un modo per illustrare la conoscenza che è disponibile al compilatore è osservare l'output intermedio che genera. Si consideri questo codice esempio ...

struct retValue {long int a, long int b}; 
... 
printf("Hello World!\n"); 
struct retValue* st = malloc(sizeof(*st)); 

Uso gcc come esempio e teh codice in alto nel principale() funzione test.c, esaminiamo produzione intermedia eseguendo ...

gcc -fdump-tree-cfg test.c 

il compilatore genera il file test.c.022t.cfg - vedere le cose e vedrete

[ ... removed internal stuff ...] 
;; Function main (main) 

Merging blocks 2 and 3 
main (argc, argv) 
{ 
    struct retValue * st; 
    int D.3097; 
    void * D.3096; 

    # BLOCK 2 
    # PRED: ENTRY (fallthru) 
    __builtin_puts (&"Hello World!"[0]); 
    D.3096 = malloc (16); 
    st = (struct retValue *) D.3096; 
    D.3097 = 0; 
    return D.3097; 
    # SUCC: EXIT 

} 

Nota come la dichiarazione è stata spostata all'inizio del blocco e l'argomento su malloc è già stato sostituito con il valore effettivo che indica la dimensione del tipo a cui è stata valutata l'espressione. Come sottolineato nei commenti, il fatto che la dichiarazione sia stata spostata in cima al blocco è un dettaglio di implementazione del compilatore. Tuttavia, il fatto che il compilatore sia in grado di farlo e anche di inserire la dimensione corretta nel malloc mostra che il compilatore è stato in grado di dedurre le informazioni necessarie dall'input.

Personalmente preferisco dare il nome del tipo effettivo come parametro a sizeof, ma probabilmente è una questione di stile di codifica in cui direi che la coerenza supera la preferenza personale.

Answer 2

Il sizeof operatore in realtà non valutare la sua operando - sembra proprio il tipo. Questo viene fatto in fase di compilazione piuttosto che in fase di esecuzione. Quindi può essere tranquillamente eseguito prima che la variabile sia stata assegnata.

Answer 3

Ciò che conta è la dichiarazione/definizione del tipo di struttura e non la definizione di un oggetto di tale classe. Nel momento in cui raggiungi lo malloc, una dichiarazione/definizione sarà stata rilevata dal compilatore, altrimenti avresti riscontrato un errore del compilatore.

Il fatto che sizeof non valuti i suoi operandi è un problema secondario.

A nit minore: ricordiamo che abbiamo bisogno parentesi quando forniamo i nomi dei tipi di sizeof come in:

sizeof(struct retValue); 

e non in caso di oggetti, semplicemente facciamo:

sizeof *st; 

Vedere lo standard:

6.5 .3 operatori unari sintassi

unary-expression: 
[...] 
sizeof unary-expression 
sizeof (type-name) 

Answer 4

In C, sizeof è un operatore, e non valuta la sua tesi. Ciò può portare a effetti "interessanti", che qualcuno di nuovo in C non necessariamente anticipa. L'ho menzionato in modo più dettagliato in my answer nella domanda "Strangest language feature".