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

Чтобы стать клиентом класса S , простейший и наиболее общий путь - объявить сущность типа S .

Определение: клиент, поставщик

Пусть S некоторый класс. Класс C называется клиентом (client) S, если содержит объявление сущности a: S. Класс S называется поставщиком (supplier) C.

В этом определении a может быть атрибутом или функцией класса C , или локальной сущностью, или аргументом подпрограммы в классе C .

Например, наличие в классе POINT объявлений x , y , rho , theta и distance делает этот класс клиентом класса REAL . Напротив, другие классы могут стать клиентами POINT . Например:

class GRAPHICS feature

p1: POINT

...

some_routine is

-- Выполнение неких действий с p1.

do

... Создание экземпляра POINT и присоединение его к p1 ...

p1.translate (4.0, -1.5) --**

...

end

...

end

Перед выполнением инструкции помеченной "--**" атрибут p1 принимает значение, соответствующее конкретному экземпляру класса POINT . Предположим, что этот объект представляет точку, совпадающую с началом координат x = 0 , y = 0 :

Рис. 7.6. Начало координат

В таких случаях говорят, что сущность p1 присоединена (attached)к данному объекту (объект связан с сущностью). На данном этапе можно не беспокоиться о том, как был создан и инициализирован объект (строка "... Создание экземпляра POINT ..." до конца не раскрыта). В следующей лекции эти вопросы будут подробно обсуждаться как часть объектной модели. Пока достаточно знать, что объект существует и связан с сущностью p1 (она присоединена к объекту).

Отмеченная звездочками инструкция

p1.translate (4.0, -1.5)

заслуживает внимательного изучения, поскольку представляет собой первый пример использования базового механизма ОО-вычислений (basic mechanism of object-oriented computation). Это обращение к компоненту или вызов компонента (feature call). В процессе выполнения кода ОО-системы все вычисления реализуются путем вызова соответствующих компонентов определенных объектов.

Приведенный конкретный пример означает вызов компонента translate класса POINT применительно к объекту p1 с аргументами 4.0 и -1.5 , соответствующими a и b в объявлении translate в указанном классе. В общем случае допустимы две основные формы записи вызова компонента.

x.f

x.f (u, v, ...)

Здесь x называется целью (target)вызова и может быть сущностью или выражением, которые во время выполнения присоединены к конкретному объекту. Цель x , как любая сущность или выражение, имеет определенный тип, заданный классом C , следовательно, f должен быть одним из компонентов класса C. Точнее говоря, в первом случае f должен быть атрибутом или подпрограммой без аргументов, а во втором - подпрограммой с аргументами. Значения u , v , ... называются фактическими аргументами (actual arguments)вызова и они должны быть выражениями, число и тип которых должны в точности соответствовать числу и типу формальных аргументов (formal arguments)объявленных для f в классе C .

Кроме того, компонент f должен быть доступен (экспортирован) клиенту, содержащему данный вызов. Ограничению прав доступа посвящен следующий раздел (см. лекция 7), пока по умолчанию все компоненты доступны всем клиентам.

Результат рассмотренного выше вызова во время выполнения определяется следующим образом:

Эффект вызова компонента f для цели x

Применить компонент f к объекту, присоединенному к x, после инициализации всех формальных аргументов f (если таковые предусмотрены) значениями соответствующих фактических аргументов.

Чем так замечателен вызов компонента? В конце концов, каждый программист знает, как написать процедуру translate , которая перемещает точку на заданное расстояние. Традиционная форма вызова, доступная с незначительными вариациями во всех языках программирования, будет выглядеть следующим образом:

translate (p1, 4.0, -1.5)

В отличие от ОО-стиля в данном вызове все аргументы равноправны. Объектно-ориентированная форма не столь симметрична, определенный объект (в данном случае точка p1 ) выбирается в качестве цели, другим аргументам (действительные числа 4.0 и -1.5 ) отводится вспомогательная роль. Выбор единственного объекта в качестве цели для каждого вызова занимает центральное место в ОО-методе вычислений.