Обнаружение ошибок и сообщение о них

Управление таблицей символов

Фазы компилятора

Концептуально компилятор работает пофазно. В процессе каждой фазы про­исходит преобразование исходной программы из одного представления в другое. Типич­ное разбиение компилятора на фазы показано на рис. 1.

Рис. 1. Фазы компилятора

На практике некоторые фазы могут быть сгруппированы вместе и промежуточные представления программы внутри таких групп могут явно не строиться. Управление таблицей символов и обработка ошибок пока­заны во взаимодействии с шестью фазами: лексическим анализом, синтаксическим ана­лизом, семантическим анализом, генерацией промежуточного кода, оптимизацией кода и генерацией кода. Неформально диспетчер таблицы символов и обработчик ошибок так­же могут считаться "фазами" компилятора.

Одной из важных функций компилятора является запись используемых в исходной программе идентификаторов и сбор информации о различных атрибутах каждого иден­тификатора. Эти атрибуты предоставляют сведения об отведенной идентификатору па­мяти, его типе, области видимости (где в программе он может применяться). При ис­пользовании имен процедур атрибуты говорят о количестве и типе их аргументов, мето­де передачи каждого аргумента (например, по ссылке) и типе возвращаемого значения, если таковое имеется.

Таблица символов представляет собой структуру данных, содержащую записи о каж­дом идентификаторе с полями для его атрибутов. Данная структура позволяет быстро найти информацию о любом идентификаторе и внести необходимые изменения.

Если лексическим анализатором в исходной программе обнаружен идентификатор, он записывается в таблицу символов. Однако атрибуты идентификатора обычно не могут быть определены в процессе лексического анализа. Например, в объявлении переменных на языке Pascal

Var name1, name2, name3: real;

когда лексический анализатор находит идентификаторы name1, name2, name3, их тип real еще неизвестен.

В процессе остальных фаз информация об идентификаторах вносится в таблицу сим­волов и используется различными способами. Например, при семантическом анализе и генерации промежуточного кода необходимо знать типы идентификаторов, чтобы гаран­тировать их корректное использование в исходной программе и сгенерировать правиль­ные операции по работе с ними. Обычно генератор кода вносит в таблицу символов и использует детальную информацию о памяти, назначенной идентификаторам.

В каждой фазе компиляции могут встретиться ошибки. Однако после их обнаружения необходимы определенные действия, чтобы продолжить компиляцию и выявить другие ошибки в исходной программе. Компилятор, который останавливается при обнаружении первой же ошибки, не настолько полезен в работе. В процессе синтаксического и семантического анализа обычно обрабатывается боль­шая часть ошибок, обнаруживаемых компилятором.

При лексическом анализе выявля­ются ошибки, при которых символы из входного потока не формируют ни одну из лексем языка.

При синтаксическом анализе выявля­ются ошибки, при которых поток нарушает структурные правила (синтаксис) языка.

В процессе семантиче­ского анализа компилятор пытается обнаружить конструкции, корректные с точки зре­ния синтаксиса, но не имеющие смысла с точки зрения выполняемых операций, напри­мер попытка сложения двух идентификаторов, один из которых — имя массива, а вто­рой — имя процедуры.

Дата добавления: 2014-12-27