Что такое таблица символов в процессе компиляции?

Таблица символов в процессе компиляции — это структура данных, используемая транслятором (компилятором или интерпретатором), в которой каждый идентификатор переменной или функции из исходного кода ассоциируется с информацией, связанной с его объявлением или появлением в коде: типом данных, областью видимости и в некоторых случаях местом в памяти (смещением). 2

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

Некоторые этапы компиляции, на которых используется таблица символов:

1. Лексический анализ. 1 Создаёт новые записи таблицы, например, записи о токенах. 1
2. Синтаксический анализ. 1 Добавляет в таблицу информацию о типе атрибута, области применения, измерении, исходной строке, использовании и т.д.. 1
3. Семантический анализ. 1 Использует доступную информацию в таблице для проверки семантики, то есть для проверки семантической корректности выражений и назначений (проверка типа) и соответствующего обновления её. 1
4. Промежуточная генерация кода. 1 Обращается к таблице символов для получения информации о том, сколько и какой тип времени выполнения выделен, а таблица помогает в добавлении информации о временных переменных. 1