Общая объектная система Lisp

Чтобы узнать о других значениях, см. Clos (значения) .

Стандартная комбинация методов в ANSI common lisp

Объектная система Common Lisp (CLOS) — это средство объектно-ориентированного программирования на языке ANSI Common Lisp . CLOS — это мощная динамическая объектная система, которая радикально отличается от средств ООП, имеющихся в более статических языках , таких как C++ или Java . CLOS был вдохновлен более ранними объектными системами Lisp, такими как MIT Flavors и CommonLoops , хотя он является более общим, чем любая из них. Первоначально предложенный как дополнение, CLOS был принят как часть стандарта ANSI для Common Lisp и адаптирован для других диалектов Lisp, таких как EuLisp или Emacs Lisp .

Особенности

Основными строительными блоками CLOS являются методы , классы , экземпляры этих классов и общие функции . CLOS предоставляет макросы для их определения: defclass, defmethod, и defgeneric. Экземпляры создаются с помощью метода make-instance.

Классы могут иметь несколько суперклассов , список слотов (переменные-члены на языке C++/Java) и специальный метакласс . Слоты могут быть выделены по классам (все экземпляры класса используют один и тот же слот) или по экземплярам. Каждый слот имеет имя, и доступ к значению слота можно получить по этому имени с помощью функции slot-value. Кроме того, можно определить специальные общие функции для записи или чтения значений слотов. Каждый слот в классе CLOS должен иметь уникальное имя.

CLOS — это система многократной диспетчеризации . Это означает, что методы могут специализироваться на любом или всех своих обязательных аргументах. Большинство объектно-ориентированных языков являются однодиспетчерными, что означает, что методы специализируются только на первом аргументе. Еще одна необычная особенность заключается в том, что методы не «принадлежат» классам; классы не предоставляют пространство имен для общих функций или методов. Методы определяются отдельно от классов и не имеют специального доступа (например, «этот», «самый» или «защищенный») к слотам классов.

Методы в CLOS сгруппированы в общие функции . Универсальная функция — это объект, который можно вызывать как функцию и который связывает набор методов с общим именем и структурой аргументов, каждый из которых специализируется на разных аргументах. Поскольку Common Lisp предоставляет классы, отличные от CLOS, для структур и встроенных типов данных (числа, строки, символы, символы...), диспетчеризация CLOS работает также с этими классами, отличными от CLOS. CLOS также поддерживает диспетчеризацию отдельных объектов (специализаторов eql). CLOS по умолчанию не поддерживает диспетчеризацию для всех типов данных Common Lisp (например, диспетчеризация не работает для полностью специализированных типов массивов или для типов, введенных deftype). Однако большинство реализаций Common Lisp предоставляют протокол метаобъектов , который позволяет универсальным функциям обеспечивать специализацию и правила диспетчеризации для конкретного приложения.

Отправка в CLOS также отличается от большинства объектно-ориентированных языков:

1. Учитывая список аргументов, определяется список применимых методов.
2. Этот список отсортирован в соответствии со спецификой их специализаторов параметров.
3. Выбранные методы из этого списка затем объединяются в эффективный метод с использованием комбинации методов, используемой универсальной функцией.
4. Затем эффективный метод вызывается с исходными аргументами.

Этот механизм отправки работает во время выполнения. Таким образом, добавление или удаление методов может привести к изменению эффективных методов (даже если универсальная функция вызывается с теми же аргументами) во время выполнения. Изменение комбинации методов также может привести к появлению других эффективных методов.

Например,

;   Объявите прототип общей структуры аргументов. 
  (  defgeneric   f   (  x   y  )) 

 ;   Определите реализацию для (f целое число y), где y соответствует всем типам. 
  (  defmethod   f   ((  x   целое число  )   y  ) 
   1  ) 

 (  f   1   2.0  )   =>   1 

 ;   Определите реализацию для (f целочисленное действительное число). 
  (  defmethod   f   ((  x   целое число  )   (  y   real  )) 
   2  ) 

 (  f   1   2.0  )   =>   2    ; Отправка изменена во время выполнения. 

Как и объектно-ориентированные системы в большинстве динамических языков , CLOS не требует инкапсуляции . Доступ к любому слоту можно получить с помощью slot-valueфункцию или через (необязательно автоматически сгенерированные) методы доступа . Чтобы получить к нему доступ через slot-valueвам нужно знать название слота. языка Программисты CL используют возможности пакета , чтобы объявить, какие функции или структуры данных предназначены для экспорта.

Помимо обычных («первичных») методов, существуют еще :before, :after, и :around«вспомогательные» методы. Первые два вызываются до или после основного метода в определенном порядке, основанном на иерархии классов. Ан :aroundМетод может контролировать, выполняется ли вообще основной метод. Кроме того, программист может указать, следует ли вызывать все возможные основные методы в иерархии классов или только тот, который обеспечивает наиболее близкое соответствие.

Стандартная комбинация методов предоставляет основные методы, методы «до», «после» и «поблизости», описанные выше. Существуют и другие комбинации методов с другими типами методов. Могут быть определены новые (как простые, так и сложные) комбинации методов и типы методов.

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

CLOS является динамичным, что означает, что не только содержимое, но и структура его объектов могут быть изменены во время выполнения. CLOS поддерживает изменение определений классов «на лету» (даже если экземпляры рассматриваемого класса уже существуют), а также изменение членства в классе данного экземпляра через change-classоператор. CLOS также позволяет добавлять, переопределять и удалять методы во время выполнения. Проблема круга -эллипса легко решается в CLOS, и большинство шаблонов ООП-проектирования либо исчезают, либо становятся качественно проще.

CLOS не является языком прототипов : классы должны быть определены до того, как объекты могут быть созданы как члены этого класса.

Протокол метаобъекта

Помимо стандарта ANSI Common Lisp, существует широко реализованное расширение CLOS, называемое метаобъектным протоколом (MOP). MOP определяет стандартный интерфейс для основы реализации CLOS, рассматривая классы, описания слотов, общие функции и методы как экземпляры метаклассов , а также позволяет определять новые метаклассы и изменять все поведение CLOS. Гибкость CLOS MOP является прообразом аспектно-ориентированного программирования , которое позже было разработано некоторыми из тех же инженеров, например, Грегором Кицалесом . MOP определяет поведение всей объектной системы с помощью набора протоколов. Они определяются в терминах CLOS. Таким образом, можно создавать новые объектные системы, расширяя или изменяя предоставляемую функциональность CLOS. В книге « Искусство метаобъектного протокола» описывается использование и реализация CLOS MOP.

Различные реализации Common Lisp имеют несколько разную поддержку протокола метаобъектов. Чем ближе Целью проекта является предоставление недостающих функций.

Lisp

Flavors (и ее преемник New Flavors) — объектная система в MIT Lisp Machine . Большие части операционных систем Lisp Machine и многие приложения для нее используют Flavors или New Flavors. Среди других функций во флейворах появилось множественное наследование и миксины . Flavors по большей части устарел, хотя реализации Common Lisp существуют. Flavors использовал парадигму передачи сообщений. В новых версиях представлены общие функции.

CommonLoops был преемником LOOPS (от Xerox Interlisp -D). CommonLoops был реализован для Common Lisp. Портативная реализация под названием Portable CommonLoops (PCL) была первой реализацией CLOS. PCL широко портирован и по-прежнему обеспечивает основу для реализации CLOS в нескольких реализациях Common Lisp . PCL реализован в основном в переносимом Common Lisp, состоящем лишь из нескольких системно-зависимых частей.

CLOS на других языках программирования

Из-за мощи и выразительности CLOS, а также исторической доступности Tiny CLOS (упрощенной переносимой реализации CLOS, написанной Грегором Кичалесом для использования со Scheme), CLOS-подобные объектные системы на основе MOP стали де-факто нормой в большинстве Реализации диалекта Лиспа, а также их применение в ООП- возможностях некоторых других языков:

• COS, объектная система C
• Дилан
• Dynace, (в основном) реализация CLOS на C
• EIEIO для Emacs Lisp
• Гош , Схема с CLOS
• GOOPS в GNU Guile
• ILOS в ISLISP
• Meroon , объектная система в схеме
• Стрелец , Схема с КЛОС
• ScmObj для схемы
• SOS для схемы MIT
• STklos , схема с CLOS
• Мошенничество в рэкете
• COOPS в куриной схеме
• VCLOS для навыков
• Крошечный КЛОС
• Классы S4 на S и R языках программирования

Дальнейшее чтение

• Боброу, Дэниел Г .; Кан, Кеннет; Кичалес, Грегор ; Масинтер, Ларри ; Стефик, Марк; Здыбель, Франк (июнь 1986 г.). «CommonLoops: объединение Lisp и объектно-ориентированного программирования» (PDF) . Материалы конференции «Языки и приложения объектно-ориентированных систем программирования» . УПСЛА '86. стр. 17–29. дои : 10.1145/28697.28700 . ISBN  978-0-89791-204-4 . S2CID   62631315 . Архивировано из оригинала (PDF) 17 августа 2022 г. Проверено 17 марта 2022 г.
• Вейч, Джим (1998). «История и описание CLOS». В Салусе, Питер Х. (ред.). Справочник по языкам программирования, том IV: Языки функционального и логического программирования (1-е изд.). Техническое издательство Macmillan. стр. 107–158. ISBN  1-57870-011-6 .

Литература

• Соня Кин , Объектно-ориентированное программирование на Common Lisp: Руководство программиста по CLOS , 1988, Аддисон-Уэсли. ISBN   0-201-17589-4
• Грегор Кицалес , Джим де Ривьер и Дэниел Г. Боброу , Искусство протокола метаобъектов , 1991, MIT Press. ISBN   0-262-61074-4
• Джо А. Лоулесс и Молли М. Миллер , Понимание CLOS: объектная система Common Lisp , 1991, Digital Press, ISBN   1-55558-064-5
• Андреас Пэпке , Объектно-ориентированное программирование: перспектива CLOS , 1993, MIT Press. ISBN   0-262-16136-2
• Объектная система Common Lisp: обзор Ричарда П. Габриэля и Линды ДеМихил представляет собой хорошее введение в мотивацию определения классов с помощью обобщенных функций.
• «Основы CLOS» Ника Левина представляет собой пошаговое описание реализации объектно-ориентированных концепций в CLOS и способов их использования. Он предназначен для всех, кто имеет базовые знания Lisp или Scheme.
• Common Lisp HyperSpec , Глава 7: Объекты