Пример 40

Память для значений атрибутов во время компиляции

Замена наследуемых атрибутов синтезируемыми

Иногда можно избежать использования наследуемых атрибутов путем изменения грамматики.

Например, объявление в PASCAL может состоять из списка идентификаторов, за которым следует тип: m, n: integer;

Грамматика такого объявления может включать продукции вида:

D –> L: T

T –> integer / char

L -> L, id / id

Поскольку идентификаторы порождаются L, но тип в поддереве L не содержится, нельзя связать тип с идентификатором с помощью только синтезируемых атрибутов. Если нетерминал L наследует тип от Т, то получается СУ-определение не являющееся L-атрибутным, так что трансляция на его основе не может быть выполнена в процессе синтаксического анализа.

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

D –> id L

L ->, id L /: T

T –> integer / char

Теперь тип может рассматриваться как синтезируемый атрибут L.type, и в таблицу символов можно внести тип каждого идентификатора, порождаемого L.

При заданном порядке вычисления атрибутов время жиз­ни атрибута начинается, когда атрибут впервые вычисляется, и заканчивается, когда вычислены все атрибуты, зависящие от него. Можно сэкономить память, со­храняя значения атрибутов только на протяжении их времени жизни.

Рассмотрим не являющееся L-атрибутным синтаксически управляемое определение, предназначенное для передачи информации о типе иденти­фикаторам в объявлении.

Синтаксически управляемое определение на рис. 63 представляет собой объявления вида

real с[12] [31]; (а)

int х[3], у[5]; (б)

Дерево разбора для (б) показано на рис. 64(а) пунктирными линиями. Тип, полученный из Т, наследуется L и передается вниз идентификаторам в объявлении. Дуга от T.type к L.in показывает, что L.in зависит от Т.type. Синтаксически управляемое определение на рис. 63 не является L-атрибутным, поскольку I ₁ .in зависит от num. val, а num распола­гается справа от I ₁, в I → I ₁, [ num ].

Продукция	Правила
D →TL	L.in:= T.type
T → int	T.type:= integer
Т → real	T.type:= real
L → L 1 ,I	L 1 .in:= L.in
	l.in:= L.in
L → I	l.in:= L.in
I → I1 [num]	I 1 .in:= array( num .val, l.in)
I → id	addtype{ id .entry, I.in)

Рис. 63. Передача типа идентификаторам в объявлении

а) Граф зависимости для дерева разбора

б) Узлы в порядке вычисления (а)

Рис. 64. Определение времени жизни значений атрибутов

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