Билет 4. Концепция переменной языка паскаль.

Императивные я.п. поддерживают вычисления посредством выполнения команд. Целью выполнения которых является изменение состояния компа. Состояние компа определяется, кроме прочего, содержимым ячеек памяти. Переменная- центральное понятие ИЯП(т.к. моделирует ячейку памяти). Переменная характеризуется ее атрибутами, которые обычно включают: имя, место расположение,значение, тип и как следствие множество операций допустимых над данной переменной, время связывания, область связывания (область видимости),время жизни. Значение переменной определяется и может измениться в процессе выполнения проги(до выполнения проги значение переменной считается неопределенным). В зависимости от контекста значением переменной может являться или ее величина, или ее адрес. Значение переменной встречающееся слева от знака присваивания это величина переменной, то есть велечина хранящаяся по адресу x. Адрес глобальной переменной определяется во время загрузки, а адреса локальных при входе в процедуру. СВЯЗЫВАНИЕ-это ассоциирование какого-либо атрибута и имени. Примеры, когда связывание может произойти:

-при проектировании языка, например true связывается со своим булевским (логическим значением;

- при реализации языка, когда пишется компилятор или интерпритатор, например различные типы связываются с их внутреннем представлением;

-во время компиляции, когда программа транслируется в машинный язык, например тип переменной в статически типизированных языках определяется в это время;

- во время загрузки, когда выполняемый образ проги загружается в память для выполнения, например, адреса глобальных переменных определяются в это время;

-во время вызова процедур и функкций, во время выполнения проги, например действительные параметры привязываются к формальным, а также определяются адреса локальных переменных;

- во время выполнения проги, например новое значение привязанное к переменной.

В языках с динамичной типизацией тип переменной может определятся во время выполнения проги.

ОБЛАСТЬ СВЯЗЫВАНИЯ(видимости) - это место или раздел в проге в котором данное конкретное связывание имеет место. Методы и правила которые определяют действующие области связывания,

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