Priemioop

ак решать задачи проектирования
бъекта - множеству запросов, на которые объект отвечает. У объекта может быть
ного типов, и объекты разных классов могут иметь один и тот же тип.
Разумеется, между классом и типом есть тесная связь. Поскольку класс опреляет,
какие операции может выполнять объект, то заодно он определяет и его
п. Когда мы говорим «объект является экземпляром класса», то подразумеваем,
то он поддерживает интерфейс, определяемый этим классом.
В языках вроде C++ и Eiffel классы используются для специфицирования,
па и реализации объекта. В программах на языке Smalltalk типы переменных не
бъявляются, поэтому компилятор не проверяет, что тип объекта, присваиваемопеременной,
является подтипом типа переменной. При отправке сообщения
еобходимо проверять, что класс получателя реализует реакцию на сообщение,
о проверка того, что получатель является экземпляром определенного класса,
е нужна.
Важно также понимать различие между наследованием класса и наследованиинтерфейса
(или порождением подтипов). В случае наследования класса реазация
объекта определяется в терминах реализации другого объекта. Проще
воря, это механизм разделения кода и представления. Напротив, наследование
нтерфейса (порождение подтипов) описывает, когда один объект можно испольвать
вместо другого.
Две эти концепции легко спутать, поскольку во многих языках явное разлие
отсутствует. В таких языках, как C++ и Eiffel, под наследованием понимается
новременно наследование интерфейса и реализации. Стандартный способ реазации
наследования интерфейса в C++ - это открытое наследование классу,
котором есть исключительно виртуальные функции. Истинное наследование
терфейса можно аппроксимировать в C++ с помощью открытого наследования
страктному классу. Истинное наследование реализации или класса аппроксимиется
с помощью закрытого наследования. В Smalltalk под наследованием пониается
только наследование реализации. Переменной можно присвоить экземплялюбого
класса при условии, что они поддерживают операции, выполняемые над
ачением этой переменной.
Хотя в большинстве языков программирования различие между наследоваием
интерфейса и реализации не поддерживается, на практике оно существует.
рограммисты на Smalltalk обычно предпочитают считать, что подклассы - это
одтипы (хотя имеются и хорошо известные исключения [Соо92]). Программисна
C++ манипулируют объектами через типы, определяемые абстрактными
ассами.
Многие паттерны проектирования зависят от этого различия. Например, объты,
построенные в соответствии с паттерном цепочка обязанностей, должны
еть общий тип, но их реализация обычно различна. В паттерне компоновщик
дельный объект (компонент) определяет общий интерфейс, но реализацию чао
определяет составной объект (композиция). Паттерны команда, наблюдаль,
состояние и стратегия часто реализуются абстрактными классами с исклютельно
виртуальными функциями.