Wie ist es vorgekommen, dass eine Variable verwendet wurde, bevor sie deklariert wurde?

Question

Ich bin verwirrt über eine Funktion dictCreate() in Datei dict.c von redis Implementierung. Ich werde den Code hier einfügen:

/* Create a new hash table 
* T = O(1) 
*/ 
dict *dictCreate(dictType *type, void *privDataPtr) { 
    dict *d = zmalloc(sizeof(*d)); 
    _dictInit(d, type, privDataPtr); 
    return d; 
} 

Variable d in zmalloc(sizeof(*d)) verwendet wird, aber theoretisch wird es existieren, wenn diese Zeile ausgeführt wurde. Also meine Frage ist, wie es möglich ist, Variable d zu verwenden, bevor es erklärt wird?

Answer 1

sizeof ist keine Funktion, es ist ein Operator. Es ist ausgeführt (ausgewertet, um genau zu sein) zur Kompilierzeit, so die Bereich oder Lebensdauer Sie denken über d, gilt hier nicht. Alles, was es wissen muss, ist der Typ von *d und das ist zur Kompilierzeit bekannt. Ausreichend.

Answer 2

Die Aussage

dict *d = zmalloc(sizeof(*d)); 

entspricht

dict *d; 
d = zmalloc(sizeof(*d)); 

So dict *d erklärt d als Zeiger auf dict Art und = zmalloc(sizeof(*d)); zur Initialisierung verwendet. dict *d = zmalloc(sizeof(*d)); deklariert d als dict * und initialisiert es dann in einer einzigen Zeile.

Answer 3

Ihre Annahme ist falsch, das Objekt existiert ab dem = Zeichen, das die Initialisierung startet. ZB in einem Initialisierer dürfen Sie die Adresse des Objekts, das Sie initialisieren, verwenden.

Hier wird zusätzlich kein Zugriff auf das Objekt benötigt, sizeof verwendet in diesem Fall nur den Typ.