Inicjalizacja danych kołowych w C. Czy ten prawidłowy kod C jest zgodny z jakimkolwiek standardem?

Question

Chciałem zobaczyć, czy mogę zainicjować zmienną globalną zwrócić na siebie:

#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; 
} 

Ten kod kompiluje i działa zgodnie z oczekiwaniami gcc (wszystkie trzy wskaźniki druku identycznie).

chcę wiedzieć:

1. Czy to wiarygodne?
2. Czy to standard?
3. Czy to jest przenośne?

EDIT: Właśnie w celu wyjaśnienia, mam wątpliwość dostępności adresu x we własnym inicjatora.

Answer 1

to standardowy kod C

Ten punkt mocną standardu pozwala to (kopalni nacisk)..

(C99, 6.2. 1p7) "Znaczniki struktury, zjednoczenia i wyliczenia mają zasięg t kapelusz zaczyna się zaraz po pojawieniu się znacznika w specyfikatorze typu, który deklaruje tag. Każda stała wyliczeniowa ma zasięg, który zaczyna się zaraz po pojawieniu się jej modułu wyliczającego w liście wyliczeniowej. Każdy inny identyfikator ma zasięg, który rozpoczyna się tuż po zakończeniu deklaracji. "

Aby uzyskać więcej informacji, należy pamiętać, że w celu zilustrowania ostatnie zdanie 6.2.1p7, książka "The New C Standard" Derek M. Jones wykorzystuje przykład podobny do Ciebie:

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

Answer 2

Tak dla wszystkich powyższych. Masz kilka wskazówek, które uruchamiasz z tym samym adresem, więc mają ten sam adres i to samo, co adres, na który je zainicjowałeś.

Co może być ciekawsze, x.a jest również gwarantowane wskazywanie samego siebie (tzn. Pierwszy element w strukturze jest gwarantowany na samym początku struktury, czyli wskaźnik do struktury, przekonwertowany na typ pierwszy element, jest zagwarantowane, aby wskazywał, że pierwszy element