Добавил:

Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Российский химико-технологический университет им. Д.И. Менделеева

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

Pol_Grem_-_ANSI_Common_Lisp_High_tech_-_2012.pdf

Скачиваний:

Добавлен:

12.03.2016

Размер:

4.85 Mб

Скачать

☆

<<< < Предыдущая 35 36 37 38 39 40 41 42 43 44 45 4647 / 7047 48 49 50 51 52 53 54 55 56 57 58 59 > Следующая >>>

11.7. Вспомогательные методы

195

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

(defmethod combine ((x (eql ’powder)) (y (eql ’spark))) ’kaboom)

мы тем самым переопределим поведение combine для аргументов powder

иspark.

11.7.Вспомогательные методы

Методы могут дополняться вспомогательными методами, включая be fore- (перед), after- (после) и around-методы (вокруг) . Before-методы по зволяют нам сказать: «Прежде чем приступить к выполнению, сделайте это». Они вызываются в порядке убывания специфичности, предваряя вызов основного метода. After-методы позволяют сказать: «P.S. А сде лайте заодно и это». Они вызываются после выполнения основного мето да в порядке увеличения специфичности. То, что выполняется между ними, ранее называлось нами просто методом, но более точно это – пер вичный метод. В результате вызова возвращается именно его значение, даже если после него были вызваны after-методы.

Before- и after-методы позволяют добавлять новое поведение к вызову первичного метода. Around-методы позволяют выполнять то же самое, но более радикальным образом. Если задан around-метод, он будет вы зван вместо первичного. Впрочем, по своему усмотрению он может вы звать первичный метод самостоятельно (с помощью функции call-next- method, которая предназначена именно для этой цели) .

Этот механизм называется стандартной комбинацией методов. Со гласно ему вызов обобщенной функции включает:

1.Вызов наиболее специфичного around-метода, если задан хотя бы один из них.

2.В противном случае по порядку:

(a)Все before-методы в порядке убывания специфичности.

(b)Наиболее специфичный первичный метод.

(c)Все after-методы в порядке возрастания специфичности.

Возвращаемым значением считается значение around-метода (в случае 1) или значение наиболее специфичного первичного метода (в случае 2).

Вспомогательные методы задаются указанием ключа-квалификатора (qualifier) после имени метода в определении defmethod. Если мы опреде лим первичный метод speak для класса speaker следующим образом:

(defclass speaker () ())

(defmethod speak ((s speaker) string)

196	Глава 11. CLOS

(format t "~A" string))

то вызов speak для экземпляра speaker просто напечатает второй аргу мент:

> (speak (make-instance ’speaker) "I’m hungry")

I’m hungry NIL

Определяя подкласс intellectual, оборачивающий before- и after-мето ды вокруг первичного метода speak:

(defclass intellectual (speaker) ())

(defmethod speak :before ((i intellectual) string) (princ "Perhaps "))

(defmethod speak :after ((i intellectual) string) (princ " in some sense"))

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

> (speak (make-instance ’intellectual) "I’m hungry")

Perhaps I’m hungry in some sense NIL

Как было упомянуто выше, вызываются все before- и after-методы. Ес ли мы теперь определим before- и after-методы для суперкласса speaker:

(defmethod speak :before ((s speaker) string) (princ "I think "))

то они будут вызываться из середины нашего «сэндвича»:

> (speak (make-instance ’intellectual) "I’m hungry")

Perhaps I think I’m hungry in some sense NIL

Независимо от того, вызываются ли before- и after-методы, при вызове обобщенной функции всегда возвращается значение первичного мето да. В нашем случае format возвращает nil.

Это утверждение не распространяется на around-методы. Они вызыва ются сами по себе, а все остальные методы вызываются, лишь если им позволит around-метод. Aroundили первичный методы могут вызывать следующий метод с помощью call-next-method. Перед этим уместно про верить наличие такого метода с помощью next-method-p.

С помощью around-методов вы можете определить другой, более преду предительный подкласс speaker:

(defclass courtier (speaker) ())

11.8. Комбинация методов	197
(defmethod speak :around ((c courtier) string)
(format t "Does the King believe that ~A? "	string)
(if (eql (read) ’yes)
(if (next-method-p) (call-next-method))
(format t "Indeed, it is a preposterous	idea.~%"))
’bow)

Когда первым аргументом speak является экземпляр класса courtier (придворный), языком придворного управляет around-метод:

>(speak (make-instance ’courtier) "kings will last") Does the King believe that kings will last? yes

I think kings will last BOW

>(speak (make-instance ’courtier) "the world is round") Does the King believe that the world is round? no Indeed, it is a preposterous idea.

BOW

Еще раз обратите внимание, что, в отличие от before- и after-методов, значением вызова обобщенной функции является возвращаемое значе ние around-метода.

11.8. Комбинация методов

Единственный первичный метод, который будет вызываться в стан дартной комбинации, является наиболее специфичным (при этом он может вызывать другие методы с помощью call-next-method). Но иногда нам хотелось бы иметь возможность комбинировать результаты всех подходящих по правилам выбора первичных методов.

Можно определить другие способы комбинации, например возврат сум мы всех применимых методов. Под операторной комбинацией методов понимается случай, когда вызов завершается вычислением некоторого Лисп-выражения, являющегося применением оператора к результатам вызовов применимых первичных методов в порядке убывания их спе цифичности. Если мы определим обобщенную функцию price, комби нирующую значения с помощью функции +, и при этом для price не су ществует применимых around-методов, то она будет вести себя, как ес ли бы она была определена следующим образом:

(defun price (&rest args)
(+ (apply наиболее специфичный первичный метод	args)
.
.
.
(apply наименее специфичный первичный метод	args)))

Если существуют применимые around-методы, то они вызываются в по рядке очередности, как в стандартной комбинации. В операторной ком бинации around-метод по-прежнему может использовать call-next-me thod, но уже не может вызывать первичные методы.

198	Глава 11. CLOS

Используемый способ комбинации методов может быть задан в момент явного создания обобщенной функции через defgeneric:

(defgeneric price (x) (:method-combination +))

Теперь метод price будет использовать + для комбинации методов; вто рой аргумент defmethod-определения должен содержать +. Определим некоторые классы с ценами:

(defclass jacket () ()) (defclass trousers () ())

(defclass suit (jacket trousers) ())

(defmethod price + ((jk jacket)) 350) (defmethod price + ((tr trousers)) 200)

Теперь если мы запросим цену костюма (suit), то получим сумму приме нимых методов price:

> (price (make-instance ’suit)) 550

Параметр :method-combination, передаваемый вторым аргументом defge neric (а также вторым аргументом defmethod), может быть одним из сле дующих символов:

and

append list

max

min

nconc

or progn

Также можно использовать символ standard, который явным образом задает использование стандартной комбинации методов.

Определив единожды способ комбинации для обобщенной функции, вы вынуждены использовать этот способ для всех методов, имеющих то же имя. Попытка использовать другие символы (а также :before и :after) приведет к возникновению ошибки. Чтобы изменить способ комбина ции price, вам придется удалить саму обобщенную функцию с помо щью fmakunbound.

11.9. Инкапсуляция

Объектно-ориентированные языки часто дают возможность отличить внутреннее представление объекта от интерфейса, который они пред ставляют внешнему миру. Сокрытие деталей реализации несет в себе двойную выгоду: вы можете модифицировать реализацию объекта, не затрагивая интерфейс доступа к нему извне, а также предотвращаете потенциально опасные изменения объектов. Такое сокрытие деталей иногда называют инкапсуляцией.

Несмотря на то, что инкапсуляцию часто считают свойством объектно- ориентированного программирования, эти две идеи в действительно сти существуют независимо друг от друга. Мы уже знакомились с ин

<<< < Предыдущая 35 36 37 38 39 40 41 42 43 44 45 4647 / 7047 48 49 50 51 52 53 54 55 56 57 58 59 > Следующая >>>

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

#
13.02.20152.93 Mб749PC1E2010.rtf
#
13.02.2015284.44 Кб26PC1E2010.RTF
#
01.11.20181.28 Mб18philosophy_answers_asp_RAN.doc
#
13.02.20156.13 Mб10pod_red_muhlenova_i_p_tehnologija_katalizator.doc
#
27.09.2019177.55 Кб5politologia_otvety.docx
#
12.03.20164.85 Mб28Pol_Grem_-_ANSI_Common_Lisp_High_tech_-_2012.pdf
#
13.02.201550.18 Кб10Ponso_4R.doc
#
13.02.201511.94 Mб237Posobie_Fedorova.pdf
#
13.02.20152.26 Mб92powder.pdf
#
31.08.20191.65 Mб27Praktikum_Teor_Electrochem (ver.2).doc
#
18.09.2019208.9 Кб2praktik_progr.doc