Dlaczego nie mogę zainicjować zmiennej statycznej z wartością inną niż literalna?

Question

miałem ten kod:

int foo(void){ 
    return 1; 
} 

int main(void){ 
    static const int x = foo(); 

    //do stuff 
    return 0; 
} 

Ale mam błąd o inicjowanie zmienną statyczną o wartości const. Myślałem, że to ma coś wspólnego ze specyfikatorem const, ale tak się nie stało. Skończyło upuszczenie słowa kluczowego const i robi to:

int foo(void){ 
    return 1; 
} 

int main(void){ 
    static int x = 0; 
    if (x == 0) x = foo(); 

    //do stuff 
    return 0; 
} 

Teraz, dlaczego nie można kompilator tylko opóźnić inicjalizacji zmiennej static int x dopóki nie jest używany, a co ważniejsze, dlaczego nie można po prostu umieścić go w sekcja do odczytu i zapisu, i po prostu wymusić, że nie jest ona zapisana podczas kompilacji? Chciałbym użyć słowa kluczowego const i static dla poprawy semantyki w moim kodzie, ale nie bardzo zależy mi na tym, jak kompilator sobie z tym poradzi, niech to zadziała.

Czy moje rozumienie standardu C jest nieprawidłowe? Czy mój kompilator może ssać? To jest MSVC 9.0.

Answer 1

C wymaga tego.

Z C Standard:

(C99, 6.7.8p4) „Wszystkie wyrażenia do inicjowania dla obiektu, który ma statyczny czas przechowywania powinna być stała lub wyrażenia literały ciągów znaków.”

Pamiętaj, że kwalifikator const nie oznacza wartości stałej, ale raczej tylko do odczytu. const obiekt nie jest stała w C.

Powodem statyczny obiekt nie może być inicjowane przez nie wartości stałych jest związana z faktem, że inicjalizacja statycznego obiektu odbywa „przed program startowy” (C99, 6.2.4p3).

Answer 2

Wartość inicjalizacji musi być określona podczas kompilacji lub czasu połączenia. C nie ma pojęcia konstruktorów, które mogłyby zostać uruchomione podczas uruchamiania programu.

Answer 3

To ograniczenie wynika z C Standard w sekcji 6.7.8/4, więc to nie tylko kompilator:

Wszystkie wyrażenia do inicjowania dla obiektu, który ma statyczny czas przechowywania powinna być stała wyrażeń lub łańcuch literały.

Powodem tego jest to, że w przeciwieństwie do standardowych C++ sdoes C nie wymagają środowiska wykonawcze, aby zapewnić punkt wejścia inicjalizacji wstępnego uruchomienia (przy pewnością nie zakazujące to, sposób i czas inicjacji statycznej (5,1 .2) jest nieokreślony).