Dlaczego auto a = 1; skompilować w C?

Kod:

int main(void)
{
    auto a=1;
    return 0;
}

jest kompilowany bez błędów przez kompilator MS Visual Studio 2012, gdy plik ma rozszerzenie .c. Zawsze uważałem, że kiedy używasz rozszerzenia .c, kompilacja powinna być zgodna ze składnią C, a nie C ++. Ponadto, o ile wiem, auto bez typu jest dozwolone tylko w C ++ od C ++ 11, gdzie oznacza to, że typ jest wywnioskowany z inicjatora.

Czy to oznacza, że ​​mój kompilator nie trzyma się języka C, czy też kod faktycznie jest poprawny w języku C?

autoto stare słowo kluczowe C, które oznacza „zasięg lokalny”. auto ajest tym samym co auto int a, a ponieważ zasięg lokalny jest domyślny dla zmiennej zadeklarowanej wewnątrz funkcji, jest również taki sam jak int aw tym przykładzie.

To słowo kluczowe jest właściwie pozostałością po poprzedniku B C, gdzie nie było typów podstawowych: wszystko było int, wskaźnik do int, tablica int. (*) Deklaracje byłyby albo autoalbo extrn[sic]. C odziedziczył „wszystko jest int” jako domyślną regułę, więc możesz deklarować liczby całkowite za pomocą

auto a;
extern b;
static c;

ISO C pozbyło się tego, ale wiele kompilatorów nadal akceptuje to ze względu na kompatybilność wsteczną. Jeśli wydaje ci się to nieznane, powinieneś zdać sobie sprawę, że działa powiązana reguła

unsigned d;  // actually unsigned int

co jest nadal powszechne we współczesnym kodzie.

C ++ 11 ponownie użyło słowa kluczowego, którego niewielu programistów C ++ używało w oryginalnym znaczeniu do wnioskowania o typie. Jest to w większości bezpieczne, ponieważ intreguła „wszystko jest ” z C została już usunięta w C ++ 98; jedyną rzeczą, która się psuje, jest to auto T a, czego i tak nikt nie używał. (Gdzieś w swoich artykułach na temat historii języka Stroustrup komentuje to, ale nie mogę teraz znaleźć dokładnego odniesienia.)

(*) Obsługa łańcuchów w B była interesująca: używałbyś tablic składających się z intwielu znaków i pakował je w każdy element członkowski. B był faktycznie BCPL z inną składnią.

To jest zarówno odpowiedź, jak i rozszerzony komentarz do Nie, to nie jest legalne od 1999 roku. Żaden przyzwoity nowoczesny kompilator C na to nie pozwala.

Tak, auto a=1;jest nielegalne w C1999 (a także w C2011). To, że jest to teraz nielegalne, nie oznacza, że ​​nowoczesny kompilator C powinien odrzucać kod zawierający takie konstrukcje. Twierdziłbym dokładnie odwrotnie, że przyzwoity, nowoczesny kompilator C musi na to nadal pozwalać.

Zarówno clang, jak i gcc robią to właśnie podczas kompilowania przykładowego kodu w pytaniu względem wersji standardu z 1999 lub 2011 roku. Obaj kompilatorzy wydają diagnostykę, a następnie kontynuują tak, jakby było to stwierdzenie budzące zastrzeżenia auto int a=1;.

Moim zdaniem to właśnie powinien robić porządny kompilator. Wydając diagnostykę, clang i gcc są w pełni zgodne ze standardem. Standard nie mówi, że kompilator musi odrzucać nielegalny kod. Norma mówi jedynie, że zgodna implementacja musi generować co najmniej jeden komunikat diagnostyczny, jeśli jednostka tłumacząca zawiera naruszenie jakiejkolwiek reguły składniowej lub ograniczenia (5.1.1.3).

Biorąc pod uwagę kod, który zawiera niedozwolone konstrukcje, każdy przyzwoity kompilator spróbuje zrozumieć niedozwolony kod, aby kompilator mógł znaleźć następny błąd w kodzie. Kompilator, który zatrzymuje się przy pierwszym błędzie, nie jest zbyt dobrym kompilatorem. Istnieje sposób, aby wyciągnąć z tego sens auto a=1, który polega na zastosowaniu reguły „implicit int”. Ta reguła wymusza na kompilatorze interpretację auto a=1tak, jakby miała miejsce, auto int a=1gdy kompilator jest używany w trybie C90 lub K&R.

Większość kompilatorów zazwyczaj odrzuca kod (odrzucenie: odmowa wygenerowania pliku obiektowego lub pliku wykonywalnego), który zawiera niedozwoloną składnię. Jest to przypadek, w którym autorzy kompilatora zdecydowali, że niepowodzenie kompilacji nie jest najlepszą opcją. Najlepiej przeprowadzić diagnostykę, naprawić kod i kontynuować. Jest po prostu zbyt wiele starszego kodu, który jest usiany konstrukcjami takimi jak register a=1;. Kompilator powinien móc skompilować ten kod w trybie C99 lub C11 (oczywiście z diagnostyką).

automa znaczenie zawarte w standardzie z 2011 r. Ci C++przed nim. Oznacza to, że zmienna ma automatyczny czas życia, czyli czas życia określony przez zakres . Jest to przeciwieństwo np. staticCzasu życia, w którym zmienna trwa „wiecznie”, niezależnie od zakresu. autojest domyślnym okresem życia i prawie nigdy nie jest wyraźnie podawany. Dlatego zmiana znaczenia w C++.

Teraz C, przed standardem 99, jeśli nie określisz typu zmiennej, domyślnie jest to int.

Więc razem z auto a = 1;tobą deklarujesz (i definiujesz) intzmienną, której czas życia jest określony przez zakres.

(„żywotność” jest bardziej poprawnie nazywana „czasem przechowywania”, ale myślę, że jest to mniej jasne).

W C i historycznych dialektach C ++ autojest słowem kluczowym oznaczającym aautomatyczne przechowywanie. Ponieważ można go zastosować tylko do zmiennych lokalnych, które są domyślnie automatyczne, nikt go nie używa; dlatego C ++ zmienił teraz przeznaczenie słowa kluczowego.

Historycznie rzecz biorąc, C dopuszczał deklaracje zmiennych bez specyfikatora typu; domyślny typ to int. Więc ta deklaracja jest równoważna

int a=1;

Myślę, że jest to przestarzałe (i prawdopodobnie zabronione) w nowoczesnym C; ale niektóre popularne kompilatory domyślnie używają C90 (co, jak sądzę, na to zezwala) i, irytująco, włączają ostrzeżenia tylko wtedy, gdy specjalnie o nie poprosisz. Kompilacja z GCC i podanie C99 za pomocą -std=c99lub włączenie ostrzeżenia za pomocą -Walllub -Wimplicit-intdaje ostrzeżenie:

warning: type defaults to ‘int’ in declaration of ‘a’

W C autooznacza to samo, co registerw C ++ 11: oznacza, że ​​zmienna ma automatyczny czas trwania.

A w C przed C99 (a kompilator Microsoftu nie obsługuje ani C99, ani C11, chociaż może obsługiwać ich części), typ można pominąć w wielu przypadkach, w których będzie domyślnie int.

W ogóle nie pobiera typu z inicjatora. Po prostu przypadkiem wybrałeś kompatybilny inicjator.

Typ kompilacji programu Visual Studio jest dostępny pod adresem right click on file -> Properties -> C/C++ -> Advanced -> Compile As. Aby upewnić się, że jest skompilowana jako /TCopcja wymuszona w C, w tym przypadku tak właśnie powiedział larsmans (stare autosłowo kluczowe C ). Może zostać skompilowany jako C ++ bez Twojej wiedzy.

Klasa pamięci definiuje zakres (widoczność) i czas życia zmiennych i / lub funkcji w programie w C.

Istnieją następujące klasy pamięci, których można używać w programie C.

auto
register
static
extern

auto to domyślna klasa pamięci dla wszystkich zmiennych lokalnych.

{
        int Count;
        auto int Month;
}

Powyższy przykład definiuje dwie zmienne z tą samą klasą pamięci. auto może być używane tylko w funkcjach, tj. zmiennych lokalnych.

intjest domyślnym typem autow poniższym kodzie:

auto Month;
/* Equals to */
int Month;

Poniższy kod jest również legalny:

/* Default-int */
main()
{
    reurn 0;
}