Лекция 01. Тема Общая характеристика языков программирования высокого уровня

Динамический обзор данных.
При динамическом обзоре данных видимость переменных определяется 
последовательностью вызовов подпрограмм, а не их структурной 
вложенностью. Определяющим фактором для реализации механизмов 
видимости здесь является иерархия активаций подпрограмм. Это означает, 
что все объявления переменных инициируются не при компиляции, а в 
динамике. Поэтому динамический обзор всегда реализуется только при 
выполнении программы.
Например: 
Procedure big;
var x: integer;
Procedure sub1;
begin ...x… end {sub1};
Procedure sub2;
var x: real;
begin … end {sub2};
Begin …….. end {big};
Тип переменной x здесь определяется последовательностью активаций 
процедур. При ссылке на переменную x во время выполнения программы 
начинается поиск среди локальных переменных процедуры. Если такого 
объявления не находится, то для определения типа переменной х обращение 
идет не к структурной иерархии, породившей процедуру, а к иерархии 
активаций процедур, вызванных ранее (динамическим родителям), и 
используются их объявления, начиная с нижнего уровня.
Рассмотрим две последовательности вызовов для вышеописанного 

---

примера:
1) big 

sub2 

sub1
2) big 

sub1 

sub2.
При динамическом обзоре в цепочке 1) для переменной x процедуры sub1 
будет действовать объявление в процедуре sub2 и она, естественно, окажется 
типа real; в цепочке 2) будет использоваться объявление из процедуры big. 
При статическом же обзоре в обоих случаях используется описание из 
процедуры big.
Средой ссылок оператора называется совокупность всех имен, видимых 
в операторе. Среда ссылок при статическом обзоре состоит из:

области видимости его локальных переменных,

совокупности областей видимости статических предков.