Состав цепи доступа

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

Отношение, устанавливающее соответствие между именем объекта и представлением объекта, будем называть отношением обозначения. Совершенно необязательно, чтобы объект, находящийся в отношении обозначения, был конечным звеном в цепи доступа. Он может быть, в свою очередь, интерпретирован как имя, обозначающее другой объект. Цепь доступа может представлять, таким образом, композицию некоторого числа отношений обозначения (рис. 5.1). Объект, который играет роль звена в цепи доступа, называется также меткой. Примерами меток являются указатели в языке Паскаль или дескрипторы.

Композиция нескольких отношений обозначения снова является отношением обозначения. Отсюда можно вывести два следствия:

· имя цепи доступа обозначает не только конечный член этой цепи (представление), но и все промежуточные члены (метки);

· если некоторая цепь доступа образована, можно получить доступ к представлению, начиная с имени любой из промежуточных меток.

Рис. 5.1. Пример цепи доступа

Дата добавления: 2014-01-20