Jak może działać program ze zmienną globalną o nazwie main zamiast funkcji main?

Z 3.6.1/1:

Program zawiera funkcję globalną o nazwie main, która jest wyznaczony początek programu. Jest to implementacja zdefiniowana, czy program w środowisku wolnostojącym jest wymagany do zdefiniowania głównego funkcja.

Z tego wynika, że g++ dopuszcza program (prawdopodobnie jako klauzulę "wolnostojącą") bez głównej funkcji.

Następnie z 3.6.1/3:

Nie stosuje się funkcji main (3.2) w ramach programu. Na linkage (3.5) main jest implementacja zdefiniowana. Program, który deklaruje, że main jest inline lub static jest źle ukształtowany. Nazwa główna to Nie zastrzeżone inaczej.

Więc tutaj dowiadujemy się, że w porządku jest mieć zmienną całkowitą o nazwie main.

Wreszcie, jeśli zastanawiasz się, dlaczego wyjście jest drukowane, inicjalizacja int main używa operatora przecinka do wykonania cout w statycznym init, a następnie podać rzeczywistą wartość całkową, aby wykonać inicjalizacja.

Gcc 4.8.1 generuje następujący zestaw x86:

.LC0:
    .string "C++ is excellent!\n"
    subq    $8, %rsp    #,
    movl    std::__ioinit, %edi #,
    call    std::ios_base::Init::Init() #
    movl    $__dso_handle, %edx #,
    movl    std::__ioinit, %esi #,
    movl    std::ios_base::Init::~Init(), %edi  #,
    call    __cxa_atexit    #
    movl    $.LC0, %esi #,
    movl    std::cout, %edi #,
    call    std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)   #
    movl    $195, main(%rip)    #, main
    addq    $8, %rsp    #,
    ret
main:
    .zero   4

Zauważ, że {[1] } jest wywoływana podczas inicjalizacji, a nie w funkcji main!

.zero 4 deklaruje 4 (0-inicjalizowane) bajty rozpoczynające się w miejscu main, gdzie main jest nazwą zmiennej [!].

Symbol main jest interpretowany jako początek programu. Zachowanie zależy od platformy.

To jest źle uformowany program. Wywala się na moim środowisku testowym, cygwin64 / g++ 4.9.3.

Ze standardu:

3.6.1 Main function [basic.zaczynaj.main]

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

Powodem, dla którego uważam, że to działa, jest to, że kompilator nie wie, że kompiluje funkcję main(), więc kompiluje globalną liczbę całkowitą z efektami ubocznymi przypisania.

Format obiektu , do którego kompilowana jest jednostka translacji , nie jest w stanie odróżnić symbolu funkcji od symbolu zmiennej .

Więc linker szczęśliwie łączy się z (zmienną) main i traktuje go jak funkcję sprawdzam. Ale dopiero gdy runtime system uruchomi globalny kod inicjalizacji zmiennej.

Kiedy testowałem próbkę, wydrukowałem ją, ale potem wywołało to seg-fault . Zakładam, że to wtedy system uruchomieniowy próbował wykonać zmienną int tak, jakby była to funkcja .

Próbowałem tego na Win7 64bit OS używając VS2013 i kompiluje się poprawnie, ale kiedy próbuję zbudować aplikację dostaję ten komunikat z okna wyjścia.

1>------ Build started: Project: tempTest, Configuration: Debug Win32 ------
1>LINK : fatal error LNK1561: entry point must be defined
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

Wykonujesz tu trudną pracę. Jako main (jakoś) może być zadeklarowana jako liczba całkowita. Do wydruku wiadomości użyłeś operatora list, a następnie przypisz do niego 195. Jak powiedział ktoś poniżej, że z C++ nie jest komfortowo, to prawda. Ale ponieważ kompilator nie znalazł żadnej nazwy zdefiniowanej przez użytkownika, main, nie narzekał. Pamiętaj, że main nie jest funkcją zdefiniowaną przez system, jej funkcją zdefiniowaną przez użytkownika i rzeczą, od której program zaczyna wykonywać, jest Main Module, a nie main (). Ponownie main () jest wywoływany przez startup funkcja, która jest wykonywana przez loader celowo. Następnie wszystkie Twoje zmienne są inicjalizowane, & podczas inicjalizacji to wyjście w ten sposób. To wszystko. Program bez main() jest ok, ale nie Standardowy.