Множественное наследование
Если один класс наследуется от другого класса, первый класс называется подклассом класса, а второй класс — суперклассом первого. Каждый определенный пользователем класс должен иметь хотя бы один прямой суперкласс, т. е. по крайней мере один класс должен появиться в части is-a конструктора defclass.
Множественное наследование происходит, когда класс имеет более одного суперкласса. В этом случае COOL проверяет список прямых суперклассов для нового класса и устанавливает некоторый линейный порядок, называемый списком предшествования классов. Новый класс наследует слоты и обработчики сообщений каждого класса в списке предшествования классов.
Слоты и обработчики сообщений класса, стоящего в начале списка предшествования, переопределяют конфликтующие определения из других классов, ранее найденных в списке предшествования. Класс, стоящий перед другим классом в списке предшествования, называется более определенным. Все списки предшествования классов оканчиваются системным классом object, и большинство (если не все) списков предшествования классов для определенных пользователем классов заканчиваются парой системных классов — user и object. Вывести на экран список предшествования можно с помощью функции describe-class (см. гл. 15).
Для определения списка предшествования классов нового класса COOL использует иерархию наследования от непосредственного суперкласса. COOL рекурсивно применяет следующие два правила к непосредственным суперклассам класса, список предшествования которого необходимо определить:
1. Класс имеет более высокий приоритет, чем любой из его суперклассов.
2. Определение класса задает приоритет между его непосредственными суперклассами.
В случае если, воспользовавшись приведенными выше правилами, можно построить более одного списка предшествования, то COOL построит наиболее простой список, получаемый с помощью обхода дерева наследования класса в глубину. Эта эвристика максимально долго сохраняет родственное дерево класса. Например, если ребенок наследует основные черты от матери и отца, а мать и отец в свою очередь наследуют черты от своих родителей, список предшествования классов для ребенка будет следующим: ребенок, мать, мать матери, отец матери, отец, мать отца, отец отца. Возможны и другие варианты создания списка предшествования, удовлетворяющие правилам, например: ребенок, мать, отец, отец отца, мать матери, мать отца, отец матери. Однако COOL воспользуется первым вариантом, т. к. он сохраняет фамильное дерево класса настолько долго, насколько это возможно.
Приведем несколько примеров, иллюстрирующих построение списка предшествования класса.
Дата добавления: 2021-12-14; просмотров: 290;