Cтраница 1
Операция именования играет для создаваемых переменных примерно ту же роль, что и кавычки для обычных переменных. Далее, операция именования, примененная к обычной переменной, ведет себя так же, как и кавычки. [1]
Если операндом операции именования служит обычная переменная, в качестве результата выдается цепочка - явное имя этой переменной. Если операнд - создаваемая переменная, то результатом будет создаваемое имя. Если же операнд не является переменной, возникает ошибка. [2]
Операции активирования и деактивирования ассоциаций идентификаторов часто путают с операциями именования и разыменования. Чтобы ассоциация могла использоваться в ссылках, она должна существовать ( как результат операции именования) и быть активной. Неактивные ассоциации - это те, которые существуют, но временно не могут использоваться в ссылках. Блочная структура Алгола дает типичный пример. [3]
При входе в первый блок-создаются данные - це лые переменные и вещественный массив. Выполняются операции именования данных: идентификаторы х, у ассоциируются с целыми переменными, идентификатор А ассоциируется с вещественным массивом. Эти ассоциации делаются активными. Затем последовательно выполняются операторы блока: операторы присваивания, первый вложенный блок, оператор печати, второй вложенный блок. [4]
Операция именования играет для создаваемых переменных примерно ту же роль, что и кавычки для обычных переменных. Далее, операция именования, примененная к обычной переменной, ведет себя так же, как и кавычки. [5]
Чтобы ассоциировать идентификатор с элементом данных или элементом программы, необходимо выполнить операцию, называемую именованием. Именование должно предшествовать ссылке, так как операция именования создает ассоциацию для идентификатора, тогда как операция обработки ссылки использует эту ассоциацию для поиска объекта, связанного с конкретным идентификатором. [6]
Операции активирования и деактивирования ассоциаций идентификаторов часто путают с операциями именования и разыменования. Чтобы ассоциация могла использоваться в ссылках, она должна существовать ( как результат операции именования) и быть активной. Неактивные ассоциации - это те, которые существуют, но временно не могут использоваться в ссылках. Блочная структура Алгола дает типичный пример. [7]
Отображение множества идентификаторов программы на множество элементов программы первоначально задается в тексте программы, а затем изменяется в процессе выполнения программы. Пару, состоящую из идентификатора и связанного с ним элемента, называют ассоциацией. Ассоциирование идентификатора с элементом данных или элементом программы называется операцией именования. Уничтожение ассоциации для идентификатора называют операцией разыменования. [8]
В каждый момент выполнения программы имеется множество активных ассоциаций. Это множество называют средой ссылок в данной точке программы. Среда ссылок определяет для каждой встретившейся ссылки на идентификатор соответствующую ассоциацию. Кроме операций именования и разыменования на среду ссылок влияют операции активации и деактивации ассоциаций. Операция активации делает имеющуюся ассоциацию между идентификатором и объектом программы или данных пригодной для использования в ссылках. [9]
Области действия принято разделять на динамические и статические. Динамическая область действия определяется с учетом процесса выполнения программы. Статическая область действия определяется во время трансляции с учетом структуры текста программы. Например, в Алголе среда ссылок в любой момент выполнения определяется не операциями именования во время выполнения, а декларациями в блоках, включающих то место исходной программы, которое в данный момент выполняется. В следующих разделах детально изучаются различные статические и динамические правила для области действия. Вообще говоря, динамические правила относительно легко реализуются, но статические правила, хотя их и труднее реализовать, позволяют получать значительно более эффективную выполняемую программу. Обычно статические правила характерны для таких языков, как Фортран, Алгол и ПЛ. [10]
При изучении управления данными оказывается полезным понятие среды ссылок. В любой момент выполнения программы имеется определенное множество активных ассоциаций идентификаторов. Это множество активных ассоциаций и называется средой ссылок в данной точке программы. Именно среда ссылок определяет для каждой встретившейся ссылки соответствующую ей ассоциацию. Операции именования, разыменования, активирования и деактивирования изменяют среду ссылок. [11]