11 / 22
ва функции может измениться привязка региона памяти, адрес которой
задает указатель, и его субрегионов.
Если аргумент передается по значению, то правостороннее значе-
ние фактического параметра становится правосторонним значением
формального параметра.
В случае передачи в качестве аргумента структурных типов по
ссылке или указателю правила изменения их полей аналогичны. Так,
при передаче по значению структуры, содержащей ссылку в качестве
поля, такое поле можно полагать передающимся по ссылке. Факти-
чески для структурных типов можно считать, что передается набор
аргументов по их типам с тем отличием, что при потере актуально-
сти их окружающего региона памяти эти поля также могут потерять
актуальность.
Регионы памяти внешней области видимости.
Кроме переда-
ваемых аргументов вызываемая функция может иметь доступ к дру-
гим данным: переменным, имеющим области видимости выше, чем
область видимости функции. К этим регионам относятся глобальные
переменные, члены класса и его предков, если вызываемой функцией
является метод класса. Их изменения и наложения ограничений на них
также необходимо отслеживать.
Регионы глобальных переменных (включая статические) сохраня-
ются неизменными, дополнительные действия по их актуализации
предпринимать не требуется, поскольку регионы глобальных перемен-
ных не зависят от контекста вызова и связаны лишь с объявлением
соответствующих переменных.
Методам класса, включая конструкторы, деструкторы и операто-
ры — члены класса, могут быть доступны для чтения и записи по-
ля как самого класса, так и его предков в иерархии наследования.
При актуализации регионы памяти, относящиеся к статическим по-
лям класса, не изменяются, так как они не относятся к конкретному
объекту поля и, следовательно, их адресация не зависит от контекста
вызова. Нестатические поля в контексте вызываемого метода адресу-
ются относительно условного объекта, связанного с указателем this,
поскольку в контексте вызываемой функции фактическим объектом
будет объект, метод которого вызывается, при актуализации эти по-
ля становятся соответствующими полями вызываемого объекта. Если
определение нестатического поля принадлежит классу, определение
которого находится ниже по иерархии наследования, то поле отобра-
жается в соответствующее поле родительского класса объекта в соот-
ветствии с компоновкой полей дочернего класса.
Актуализация составных и служебных символьных значений.
Актуализация символьных значений, обозначающих бинарные опера-
ции над символами (бинарные символьные значения), выполняется
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 5 85