Initialisieren von zirkulären Daten in C. Ist dieser gültige C-Code gemäß einem Standard?

Question

Ich wollte sehen, ob ich eine globale Variable initialisieren könnte sich Punkt:

#include <stdio.h> 
struct foo { struct foo *a, *b; } x = { &x, &x }; 
int main() 
{ 
    printf("&x = %p, x.a = %p, x.b = %p\n", &x, x.a, x.b); 
    return 0; 
} 

Dieser Code kompiliert und ausgeführt wie bei gcc (alle drei Zeiger Druck identisch) erwartet.

Ich möchte wissen:

1. Ist das zuverlässig?
2. Ist dieser Standard?
3. Ist das tragbar?

EDIT: Nur um zu klären, ich bin die Verfügbarkeit der Adresse x in seinem eigenen initializer in Frage stellt.

Answer 1

Dies ist Standard-C-Code

Dieser Absatz des mächtigen Standard gestattet es (Hervorhebung von mir):..

(C99, 6.2. 1p7) "Struktur-, Union- und Enumeration-Tags haben den Umfang t Hat beginnt unmittelbar nach dem Erscheinen des Tags in einem Typspezifizierer, der das Tag deklariert. Jede Enumerationskonstante hat einen Gültigkeitsbereich, der unmittelbar nach dem Erscheinen des definierenden Enumerators in einer Enumeratorliste beginnt. Jeder andere Bezeichner hat einen Gültigkeitsbereich, der unmittelbar nach dem Abschluss seines Deklarators beginnt. "

Informationen, dass beachten Sie den letzten Satz von 6.2.1p7 zu veranschaulichen, das Buch‚verwendet der neue C Standard‘von Derek M. Jones ein Beispiel ähnlich wie bei Ihnen:

struct T {struct T *m;} x = /* declarator complete here. */ {&x}; 

Answer 2

Ja zu allen oben genannten. Sie haben ein paar Zeiger, die Sie mit der gleichen Adresse initialisieren, also haben sie die gleiche Adresse und das ist die gleiche Adresse, mit der Sie sie initialisierten.

Interessanterweise ist x.a auch garantiert auf sich selbst zu zeigen (dh, das erste Element in einer Struktur ist garantiert am Anfang der Struktur, also ein Zeiger auf die Struktur, umgewandelt in den Typ der erste Element, ist garantiert, dass das erste Element Punkt