Was macht ((struct name *) 0) -> member) in C?

Question

Was macht ((struct name *) 0) -> member) in C?

Die eigentliche C-Anweisung ich dies über gekommen war:

(char *) &((struct name *)0)->member) 

Answer 1

Dies ist ein Trick, um den Offset von struct Mitglied member genannt zu bekommen. Die Idee hinter diesem Ansatz besteht darin, dass der Compiler die Adresse member berechnet, wobei angenommen wird, dass sich die Struktur selbst an der Adresse Null befindet.

offsetof Verwendung bietet eine besser lesbare Alternative zu dieser Syntax:

size_t offset = offsetof(struct name, member); 

Answer 2

(struct name *)00 wirft auf struct name auf Zeiger.
&((struct name *)0)->member) erhält die Adresse des Mitglieds member.
(char *) &((struct name *)0)->member) überträgt diese Adresse an char *.

Falls jemand denkt, dass der obige Ausdruck einen NULL Zeiger dereferenziert, dann beachten Sie, dass es hier keine Dereferenzierung gibt. Es ist alles für die Adresse des Mitglieds number.

Answer 3

(struct name*)0 gibt Ihnen eine Struktur Zeiger.

((struct name*)0)->member gibt Ihnen das Mitglied der Struktur, auf die der Zeiger zeigt.

Hinzufügen & gibt Ihnen die Adresse des Mitglieds, und schließlich

(char *) ist die erhaltene Adresse an einen char Zeiger zu werfen.

Answer 4

Auf vielen Compilern, wird der obige Ausdruck einen char* ergeben, das, während es kein gültiger Zeiger ist, eine eine oder beide der folgenden Eigenschaften:

1. Casting den Zeiger direkt auf eine ganze Zahl Typ wird die Verschiebung des angegebenen Elements innerhalb der Struktur ergeben.

2. Die Subtraktion (char*)0 vom Zeiger ergibt die Verschiebung des angegebenen Elements innerhalb der Struktur.

Beachten Sie, dass die C-Norm keine Anforderungen hinsichtlich erlegt, was geschehen kann, wenn Code einen ungültigen Zeigerwert über die obigen Mittel oder jede andere Form, auch wenn der Code nicht versucht, auf den Zeiger dereferenzieren. Während viele Compiler Zeiger mit den angegebenen Eigenschaften erzeugen, ist ein solches Verhalten nicht universell. Sogar auf Plattformen, auf denen eine klare natürliche Beziehung zwischen Zeigern und ganzen Zahlen besteht, könnten manche Compiler-Hersteller entscheiden, dass sich Programme so verhalten, wie dies durch eine solche Beziehung impliziert ist. Stattdessen wäre es effizienter, den Compiler davon auszugehen, dass ein Programm niemals funktioniert Empfangen von Eingängen, die die Erzeugung von ungültigen Zeigern verursachen würden, und folglich würde jeder Code, der nur relevant wäre, wenn solche Eingaben empfangen würden, weggelassen werden.