Классы. Наследование
Не редактировать. Статья в работе
В VIP: 1. Правила видимости существуют, но нет ни одного ключевого слова для их обозначения, то есть и ключевое слово protected тоже исчезло. В VIP все правила видимости определяются местом декларации сущности.
2. Понятие АBSTACT CLASS не используется, его заменила более гибкая конструкция Interface
3. Ключевое слово STATIC не используется, его аналогом являются конструкции class predicates и class facts.
4. Имя интерфейса является также и именем домена, что дает возможность взаимных преобразований интерфейсов по общим правилам преобразования доменов (семантически допустимым, естественно).
Сразу подчеркну, что факты подчиняются только правилу видимости private. Это сделано намеренно.
а вот пример действия правила protected
Код
class parent:parent
end class
interface parent predicates
helloWorldFromParent:(string Text).
end interface parent
implement parent
clauses helloWorldFromParent(Text):- write(Text).
end implement parent
class child:child
end class
interface child
helloWorldFromChild:(string Text).
end interface child
implement child
inherits parent
clauses helloWorldFromChild(Text):- write(Text).
end implement child
Здесь
helloWorldFromChild(...) - подчиняется правилу public а на helloWorldFromParent(...) - действует правило protected.
У объекта класса child можно вызвать только предикат helloWorldFromChild(...), а из объекта класса child можно обратиться как к предикату helloWorldFromChild(...), так и к предикату helloWorldFromParent(...).
Цитата
А что вы имели ввиду под словосочетанием "более гибкая". Вы имели ввиду это? :
Цитата Имя интерфейса является также и именем домена
Да, операции преобразования интерфейсов являются одной из составляющих гибкости.
объединение предикатов нескольких интерфейсов или подмена одного интерфейса другим легко делается с помощью объявления supports, например,
Код
interface myInterface
supports myInterface1 supports myInterface2
end interface myInterface
Если у Вас есть интерфейсы myInterface1 и myInterface2, то через myInterface можно оперировать предикатами из myInterface1 и myInterface2 как предикатами одного интерфейса. В добавок myInterface тоже может иметь свой список объявлений предикатов.
Кроме того есть такие возможности, как delegate interface - когда можно передать исполнение предикатов интерфейса объекту, хранящемуся в факте-переменной.
Возможно перекрывать имплементацию предиката(ов) родительского класса имплементацией предиката(ов) дочернего класса, например, родителький класс содержит имплементацию "по умолчанию", а ряд конкретных классов должен реагировать на вызов предикатов особенным образом.
Клаузы для предикаты одного интерфейса могут содержаться в имлементациях разных классов путем использования конструкции predicates from ...
То есть интерфейс есть фасадная часть класса (динамического), а механизмы имплементации могут быть самыми разными.
Я думаю здесь та же история, что и с типизацией в Turbo, PDC и Visual Прологах: технически оправдано и практически ведет к повышению надежности программ.
1. Ни классы, ни интерфейсы не имеют никаких предопределенных предикатов (кроме конструкторов, относящихся только к декларации класса), а видимость фактов предполагает операции над ними и, cоответственно, наличие предопределенных предикатов. 2. Причина дисциплинарного характера - выполнять операции над фактами только через соответствующие предикаты. Глобальные данные должны храниться в объекте, о котором должны знать те, кому положено.
Учитывая 2, не стали бороться с 1.
Цитата
В обьявлении класса указываются ТОЛЬКО интерфейс (притом один)
да, один. Если интерфейс не указывается, то класс является статическим, то есть не способен порождать объекты.
Цитата
а вот наследование методов происходит только в имплементах. Или я не угадал?
Может и угадали, если понимаете глубже. В имплементации происходит наследование классов (точнее - объектов-экземпляров этих классов), а вот наследуются методы или нет - это определяется интерфейсами, которые эти классы поддерживают. Кроме того, предикаты, объявленные внутри имплементации видны только изнутри только этой имплементации.
Ниже я переименовал классы и интерфейсы, чтобы было яснее где что.
Код
class parentClass:parentInterface
end class parentClass
interface parentInterface
predicates publicPredicate:().
end interface parentInterface
implement parentClass
clauses publicPredicate():- write(""). predicates privatePredicate:(). clauses privatePredicate():- write("TTT").
end implement parentClass
class childClass:childInterface end class childClass
implement childClass
inherits parentClass
end implement childClass
interface childInterface end interface childInterface
publicPredicate() доступен из класса childClass,а
privatePredicate недоступен для использования нигде,
кроме как в самом классе parentClass.
Цитата
Коль, обьявления класса основывается на интерфейсах и описывается в декларативной части, а реализация наследуется и описывается в имплементной, то можно предположить, что можно, в принципе, заинтерфейснить от одного, а заинхеритить от другого, никак (даже далеко) не связанного с данным интерфейсом класса, лиш бы в итоге все методы с полями интерфейса были реализованны. Или не так?
Выражение "...'заинтерфейсить' от одного, а 'заинхеритить' от другого..." - без указания сущности использует не рядоположенные понятия, в первом случае - интерфейс, во втором-класс.
Лучше смотреть с такой позиции: a) Интерфейс никак не зависит от класса - это именованный набор предикатов и/или доменов и/или констант.
B) Класс поддерживает некоторый интерфейс (своей имплементацией), если этот интерйес указан в декларации класса.
c) Имплементация всегда соответствует классу и имеет с ним одно имя.
d) Если класс поддерживает интерфейс, то имплементация должна тем или иным образом привести к клаузу для каждого предиката интерфейса.
Поэтому может быть много разных классов , поддерживающих один и тот же интерфейс.