Компиляция обычно происходит в несколько этапов: лексический анализ, синтаксический анализ и т. Д. Скажем, на языке C я написал

a=24;

Без объявления a как int. Теперь, на каком этапе компиляции обнаруживается ошибка? На этапе синтаксического анализа? Если это так, то что делает лексический анализатор? Просто токенизация исходного кода?

c compiler-construction compilation compiler-errors
2
AV94 16 Фев 2015 в 16:16

2 ответа

Лучший ответ

Если говорить об общей форме компилятора, очевидно, что ошибка возникнет на этапе синтаксического анализа, когда синтаксический анализатор будет искать символ в записях таблицы символов , и на последующих этапах - только при дальнейшей обработке после восстановления после ошибки .

Книга драконов также ясно говорит об этом. Это указано на странице, где указаны типы ошибок. Тема, которую необходимо тщательно изучить, чтобы понять эту проблему, приведена в разделе 4.1.3 - Обработка синтаксических ошибок .

a = 24;   // without declaring a as an int type variable.

Здесь работа лексической фазы заключается просто в доступе к символам и токенам форм и последующей передаче их на дальнейшие этапы, то есть на синтаксический анализ на этапе синтаксического анализа и т. Д.

3
Am_I_Helpful 16 Фев 2015 в 22:55

Я не знаю вашего компилятора, но в целом это будет этап синтаксического анализа (синтаксический анализ), а не лексический этап (токенизация). Большинство компиляторов C будут написаны с использованием варианта lex / yacc, что делает вышеприведенное предположение более правдоподобным. Если вы хотите узнать подробности, погрузитесь в книгу драконов, отличный ресурс.

Если бы я написал компилятор, я бы лексический анализатор выдавал токены (в данном случае: a, =, 24 и, наконец;). Синтаксический анализатор будет поддерживать таблицу символов и, увидев символ, будет проверять, есть ли этот символ в таблице; если нет (как в вашем примере), это сигнализирует об ошибке.

1
Karel Kubat 16 Фев 2015 в 13:22

Похожие вопросы

32 В чем разница между #include <filename> и #include "filename"?
18 Что делает компилятор JIT?
20 Что означает «статический» в C?
16 Каково влияние extern "C" в C ++?
21 В чем разница между const int *, const int * const и int const *?
17 Что такое двоичный интерфейс приложения (ABI)?
2 Что это ??!??! оператор делать в C?
5 Что такое ":-!!" в коде C?
1 Какие есть инструменты семантического анализа на этапе построения компилятора?
💵 Получи $100 на хостинг на 60 дней.
Регистрируйся!

Новые вопросы

1 C Размер списка макросов разрешается, но не входит в цикл for
1 Как исправить десятичную ошибку после точки на платформе Beecrowd для расчета процентов?
2 Почему не происходит неявное преобразование типов из unsigned short int в signed char?
1 Поддерживает ли неявное приведение типов в C одинаковый ранг для char и коротких переменных?
1 В C printf вывод на стандартный вывод "\0", но не должен
1 Определение: struct termios tty; возвращает SIGSEGV в функции main()
1 Как рассчитать квадрат первых 20 чисел в двух дочерних процессах с использованием POSIX?
1 Как получить топологию конвейера gstreamer (диаграмма)
1 Исключает ли параметр ширины формата с плавающей запятой десятичную точку, когда это последний элемент?
2 Как объединить 3 растровых изображения одинакового размера в одно растровое изображение в C?
Все вопросы по теме c >

c

C - это язык программирования общего назначения, используемый для системного программирования (ОС и встраиваемых), библиотек, игр и кроссплатформенности. Этот тег следует использовать с общими вопросами, касающимися языка C, как это определено в стандарте ISO 9899 (последняя версия 9899: 2018, если не указано иное, а также для запросов, специфичных для версии, с c89, c99, c11 и т. Д.). C отличается от C ++ и не должен сочетаться с тэгом C ++ без разумной причины.

Подробнее про c...