Czy main () naprawdę uruchamia program C++?

Czytasz zdanie niepoprawnie.

Program zawiera globalną funkcję o nazwie main, , która jest wyznaczonym startem programu.

Standard definiuje słowo "start" na potrzeby pozostałej części standardu. Nie mówi, że żaden kod nie jest wykonywany przed wywołaniem main. Mówi, że początek programu jest uważany za funkcję main.

Twój program jest zgodny. Twój program nie "started" dopóki main nie zostanie uruchomiony. Konstruktor jest wywoływany przed "uruchomieniem" programu zgodnie z definicją "start" w standardzie, ale to nie ma znaczenia. Wiele kodu jest wykonywanych zanim main zostaniekiedykolwiek wywołane w każdym programie, nie tylko w tym przykładzie.

Dla celów dyskusji, Twój kod konstruktora jest wykonywany przed "startem" programu, co jest w pełni zgodne ze standardem.

Twój program nie połączy się, a tym samym nie uruchomi się, chyba że istnieje main. Jednak main() nie powoduje rozpoczęcia wykonywania programu, ponieważ obiekty na poziomie Pliku mają konstruktory, które uruchamiają się wcześniej i możliwe byłoby napisanie całego programu, który uruchamia swój czas życia przed osiągnięciem main (), a sam main ma puste ciało.

W rzeczywistości, aby to wymusić, musisz mieć jeden obiekt, który jest zbudowany przed main i jego konstruktorem, aby wywołać wszystkie przepływ programu.

class Foo
{
public:
   Foo();

 // other stuff
};

Foo foo;

int main()
{
}

Przepływ Twojego programu będzie skutecznie wynikał z Foo::Foo()

Również otagowałeś pytanie jako "C", więc mówiąc ściśle O C, twoja inicjalizacja powinna się nie udać zgodnie z sekcją 6.7.8 "Inicjalizacja" standardu ISO C99.

Najbardziej istotne w tym przypadku wydaje się ograniczenie # 4, które mówi:

Wszystkie wyrażenia w inicjalizatorze dla obiektu, który ma statyczny czas przechowywania to wyrażenia stałe lub literały łańcuchowe.

Odpowiedź na twoje pytanie brzmi: kod nie jest zgodny z C standard.

Prawdopodobnie chciałbyś usunąć znacznik "C", jeśli interesuje Cię tylko standard C++.

Sekcja 3.6 jako całość jest bardzo jasna na temat interakcji main i dynamicznych inicjalizacji. "Wyznaczony start programu" nie jest używany nigdzie indziej i jest tylko opisem ogólnego zamiaru main(). Nie ma sensu interpretować tego wyrażenia w sposób normatywny, który jest sprzeczny z bardziej szczegółowymi i jasnymi wymaganiami normy.

Kompilator często musi dodać kod przed main () do be zgodnego ze standardem. Ponieważ standard określa, że initalizacja globali/statyki musi być wykonana zanim program zostanie uruchomiony. I jak wspomniano, to samo dotyczy konstruktorów obiektów umieszczonych w zakresie plików (globals).

Zatem pierwotne pytanie jest istotne również dla C, ponieważ w programie C nadal będziesz miał globalną / statyczną inicjalizację do zrobienia, zanim program będzie mógł być zaczęło się.

Standardy zakładają, że te zmienne są inicjowane przez "magic", ponieważ nie mówią Jak powinny być ustawione przed inicjalizacją programu. Myślę, że uważali to za coś poza zakresem standardu języka programowania.

Edit: patrz na przykład ISO 9899: 1999 5.1.2:

Wszystkie obiekty ze statycznym magazynem czas trwania zostanie zainicjowany (ustawiony na ich wartości początkowe) przed programem startup. Sposób i termin takie inicjalizacja to inaczej nieokreślone.

Teoria, w jaki sposób ta "magia" miała być wykonana, sięga czasów narodzin C, kiedy był to język programowania przeznaczony do użycia tylko w systemie UNIX, na komputerach opartych na PAMIĘCI RAM. Teoretycznie program byłby w stanie załadować wszystkie wstępnie zainicjowane dane z pliku wykonywalnego DO PAMIĘCI RAM, w tym samym czasie, gdy sam program został przesłany do pamięci RAM.

Od tego czasu Komputery i OS ewoluowały, A C jest używany w znacznie szerszym obszar niż pierwotnie przewidywano. Nowoczesny system operacyjny PC ma wirtualne adresy itp., a wszystkie systemy wbudowane wykonują kod z ROM, nie RAM. Istnieje więc wiele sytuacji, w których pamięci RAM nie można ustawić "automagicznie".

Ponadto standard jest zbyt abstrakcyjny, aby cokolwiek wiedzieć o stosach, pamięci procesów itp. Te rzeczy muszą być również zrobione, zanim program zostanie uruchomiony.

Dlatego prawie każdy program C / C++ ma jakiś kod init/"copy-down", który jest wykonywany przed wywołaniem main, w porządek zgodny z zasadami inicjalizacji norm.

Jako przykład, systemy wbudowane zazwyczaj mają opcję o nazwie "uruchamianie niezgodne z ISO", gdzie cała Faza inicjalizacji jest pomijana ze względu na wydajność, a następnie kod zaczyna się bezpośrednio z main. Ale takie systemy nie są zgodne ze standardami, ponieważ nie można polegać na wartościach init globalnych / statycznych zmiennych.

Twój "program" po prostu zwraca wartość ze zmiennej globalnej. Wszystko inne to kod inicjujący. Tak więc standard trzyma - po prostu masz bardzo trywialny program i bardziej złożoną inicjalizację.

Main () jest funkcją użytkownika wywoływaną przez Bibliotekę uruchomieniową C.

Zobacz też: unikanie głównego (punktu wejścia) w programie C

Wydaje się, że angielska semantyka jest sprzeczna. OP odnosi się do jego bloku kodu najpierw jako "kod", a później jako " program."Użytkownik pisze kod, a następnie kompilator pisze program.

Main jest wywoływany po zainicjalizowaniu wszystkich zmiennych globalnych.

To, czego standard nie określa, to kolejność inicjalizacji wszystkich globalnych zmiennych wszystkich modułów i statycznie powiązanych bibliotek.

Tak, main jest "punktem wejścia" każdego programu C++, z wyjątkiem rozszerzeń specyficznych dla implementacji. Mimo to niektóre rzeczy dzieją się przed main, zwłaszcza globalna inicjalizacja, taka jak dla main_ret.