Почему auto a=1; компилировать на С?

auto — это старое ключевое слово C, означающее «локальная область». auto a совпадает с auto int a, а поскольку локальная область действия является значением по умолчанию для переменной, объявленной внутри функции, она также совпадает с int a в этом примере.

Это ключевое слово на самом деле осталось от предшественника C B, где не было базовых типов: все было int, указатель на int, массив int.(*) Объявления были либо auto, либо extrn [так в оригинале]. C унаследовал «все равно int» как правило по умолчанию, поэтому вы можете объявлять целые числа с помощью

auto a;
extern b;
static c;

ISO C избавился от этого, но многие компиляторы все еще принимают его для обратной совместимости. Если это кажется незнакомым, то вы должны понимать, что связанное правило работает в

unsigned d;  // actually unsigned int

который все еще распространен в современном коде.

C++11 повторно использовал ключевое слово, которое мало кто из программистов C++ использовал с исходным значением, для вывода типа. Это в основном безопасно, потому что правило «все равно int» из C уже было удалено в C++98; ломается только auto T a, которым все равно никто не пользовался. (Где-то в своих статьях по истории языка Страуструп комментирует это, но сейчас я не могу найти точную ссылку .)

(*) Обработка строк в B была интересной: вы использовали массивы int и упаковывали несколько символов в каждый элемент. На самом деле B был BCPL с другим синтаксисом.

Это и ответ, и расширенный комментарий к Нет, это недопустимо для C с 1999 года. Ни один приличный современный компилятор C не допускает этого.

Да, auto a=1; является незаконным в C1999 (а также C2011). Тот факт, что теперь это незаконно, не означает, что современный компилятор C должен отвергать код, содержащий такие конструкции. Я бы сказал как раз наоборот, что достойный современный компилятор C должен все же допускать это.

И clang, и gcc делают именно это при компиляции примера кода в вопросе по версиям стандарта 1999 или 2011 года. Оба компилятора выдают диагностику, а затем продолжают работу, как если бы нежелательным утверждением было auto int a=1;.

На мой взгляд, это то, что должен делать приличный компилятор. Выдавая диагностику, clang и gcc полностью соответствуют стандарту. Стандарт не говорит, что компилятор должен отвергать недопустимый код. Стандарт просто говорит, что соответствующая реализация должна выдавать по крайней мере одно диагностическое сообщение, если единица перевода содержит нарушение какого-либо синтаксического правила или ограничения (5.1.1.3).

Имея код, содержащий недопустимые конструкции, любой приличный компилятор попытается разобраться в недопустимом коде, чтобы компилятор мог найти следующую ошибку в коде. Компилятор, который останавливается при первой ошибке, не очень хороший компилятор. Есть способ разобраться в auto a=1, а именно применить правило «неявного int». Это правило заставляет компилятор интерпретировать auto a=1 как auto int a=1, когда компилятор используется в режиме C90 или K&R.

Большинство компиляторов обычно отклоняют код (отклонение: отказ в создании объектного файла или исполняемого файла), который содержит недопустимый синтаксис. Это тот случай, когда авторы компилятора решили, что неудачная компиляция — не лучший вариант. Лучше всего сделать диагностику, исправить код и продолжить. Слишком много устаревшего кода, приправленного такими конструкциями, как register a=1;. Компилятор должен уметь компилировать этот код в режиме C99 или C11 (конечно, с диагностикой).

auto имел значение в C и C++ до Стандарта 2011 года. Это означает, что переменная имеет автоматическое время жизни, то есть время жизни, определяемое областью действия. Это противоположно, например, static времени жизни, когда переменная существует «вечно», независимо от области действия. auto — это время жизни по умолчанию, и оно почти никогда не указывается явно. Вот почему было безопасно изменить значение C++.

В C и исторических диалектах C++ auto — это ключевое слово, означающее, что a имеет автоматическое хранение. Поскольку его можно применять только к локальным переменным, которые по умолчанию являются автоматическими, его никто не использует; Вот почему C++ изменил назначение этого ключевого слова.

Исторически C допускал объявления переменных без спецификатора типа; тип по умолчанию int. Таким образом, это объявление эквивалентно

int a=1;

Я думаю, что это устарело (и, возможно, запрещено) в современном C; но некоторые популярные компиляторы по умолчанию используют C90 (что, я думаю, разрешает это) и, что раздражает, включают предупреждения только в том случае, если вы специально попросите их. Компиляция с помощью GCC и указание C99 с помощью -std=c99 или включение предупреждения с помощью -Wall или -Wimplicit-int дает предупреждение:

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

В C auto означает то же самое, что register в C++11: это означает, что переменная имеет автоматический срок хранения.

А в C до C99 (а компилятор Microsoft не поддерживает ни C99, ни C11, хотя может поддерживать их части) во многих случаях этот тип можно опустить, где по умолчанию он будет равен int.

Он вообще не берет тип от инициализатора. Вы случайно выбрали совместимый инициализатор.

Тип компиляции Visual Studio доступен по адресу right click on file -> Properties -> C/C++ -> Advanced -> Compile As. Чтобы убедиться, что он скомпилирован как C, используйте опцию /TC. Тогда в этом случае это то, что сказал larsmans (старое ключевое слово C auto). Он может быть скомпилирован как C++ без вашего ведома.

Класс хранения определяет область действия (видимость) и время жизни переменных и/или функций в программе на языке C.

Существуют следующие классы хранения, которые можно использовать в программе C.

auto
register
static
extern

auto — это класс хранения по умолчанию для всех локальных переменных.

{
        int Count;
        auto int Month;
}

В приведенном выше примере определены две переменные с одним и тем же классом хранения. auto можно использовать только внутри функций, то есть локальных переменных.

int является типом по умолчанию для auto в приведенном ниже коде:

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

Код ниже также является законным:

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