Бертран Мейер - Основы объектно-ориентированного программирования

p1.translate (u, v)

Однако возникает следующий вопрос: что в действительности обозначает p1? Ответ опять относителен. Предположим, приведенный вызов присутствует в тексте некоторого класса GRAPHICS , а p1 это атрибут GRAPHICS . Тогда очевидно, что в этом случае p1 фактически означает Current.p1 . Но это не ответ на поставленный вопрос, так как неизвестно, что представляет собой объект Current в момент вызова! Другими словами, теперь необходимо установить клиента, вызывающего подпрограмму класса GRAPHICS , в которой используется наш вызов.

Рассмотрим произвольный вызов. Понимание смысла, происходящего в процессе произвольного вызова, позволит полностью разобраться в механизме ОО-вычислений. Используем сформулированный ранее принцип вызова компонентов:

[x].(F1) Любой элемент программы может выполняться только как часть вызова подпрограммы.

[x].(F2) Каждый вызов имеет цель.

Любой вызов может принимать одну из следующих форм:

[x].неквалифицированная: f (a, b, ...) ;

[x].квалифицированная: x.g (u, v, ...) .

Аргументы в обоих случаях могут отсутствовать. Вызов размещен в теле подпрограммы r и может выполняться только как часть вызова r . Предположим, что известна цель этого вызова - некий объект OBJ. Тогда можно легко установить цель этого вызова - t . Возможны четыре варианта, первый из которых относится к неквалифицированному вызову, а остальные - к квалифицированному:

[x].(T1) Для неквалифицированного вызова t это просто OBJ.

[x].(T2) Если x это атрибут, то x - поле объекта OBJ-имеет значение, которое, в свою очередь, присоединено к некоторому объекту - он и есть t .

[x].(T3) Если x - функция, то необходимо сначала осуществить ее вызов (неквалифицированный), результат которого и дает t .

[x].(T4) Если x - локальная сущность r , то к моменту вызова предыдущие инструкции вычислят значение x , присоединенное к определенному объекту, который и является объектом t .

Проблема в том, что все четыре ответа опять относительны и могут помочь только в том случае, если известно, чем является текущий экземпляр OBJ. Очевидно, что OBJ это цель текущего вызова! Ситуация как в песенке о том, как у попа была собака (в оригинале: котенок съел козленка, котенка укусил щенок, щенка ударила палка ...) - бесконечная цепь.

Для приведения относительных ответов к абсолютным необходимо выяснить, что происходит тогда, когда все только начинается - в момент Большого Взрыва. Итак, определение:

Определение: выполнение системы

Выполнение ОО-программной системы состоит из следующих двух шагов:

[x].Создание определенного объекта, называемого корневым объектомвыполнения.

[x].Применение определенной процедуры, называемой процедурой создания, к данному объекту.

В момент Большого Взрыва создается объект и начинается выполнение процедуры создания. Корневой объект является экземпляром корневого классасистемы, а процедура создания - одной из процедур этого класса. Выполнение системы в целом сводится к успешному развертыванию отдельных частей (прямо или косвенно зажженных от начальной искры) в гигантский комплексный фейерверк.

Зная, где все началось, несложно проследить судьбу Current в процессе этой цепной реакции. Первым текущим объектом, созданным в момент Большого Взрыва, является корневой объект. Рассмотрим далее некоторый этап выполнения системы. Пусть r -последняя вызванная подпрограмма, а текущим на момент вызова r был объект OBJ. Тогда во время выполнения r объект Current определяется следующим образом:

[x].(C1) Если в r выполняется инструкция, не являющаяся вызовом подпрограммы (например, присваивание), то текущим остается прежний объект.

[x].(C2) Неквалифицированный вызов также оставляет тот же объект текущим.

[x].(C3) Запуск квалифицированного вызова x.f ... делает текущим объект, присоединенный к x . Зная объект OBJ, можно идентифицировать x , используя сформулированные ранее правила T1-T4. После завершения вызова роль текущего возвращается к объекту OBJ.