3.9.4 Типы интерфейсов

Тип интерфейса — это абстрактный помеченный тип, предоставляющий ограниченную форму множественного наследования. Помеченный тип, тип задачи или защищённый тип могут иметь один или несколько типов интерфейса в качестве предков.

Тип интерфейса (также называемый интерфейсом) — это специфический абстрактный помеченный тип, определяемый определением_типа_интерфейса.

Интерфейс с ключевыми словами ограниченный, задачи, защищённый или синхронизированный в его определении называется соответственно ограниченным интерфейсом, интерфейсом задачи, интерфейсом защищённого типа или синхронизированным интерфейсом. Кроме того, все интерфейсы задач и защищённых типов являются синхронизированными интерфейсами, а все синхронизированные интерфейсы являются ограниченными интерфейсами.

Тип задачи или защищённый тип, производный от интерфейса, является помеченным типом. Такой помеченный тип называется синхронизированным помеченным типом, как и синхронизированные интерфейсы и частные расширения, объявление которых включает ключевое слово синхронизированный.

Интерфейс задачи — это абстрактный тип задачи. Интерфейс защищённого типа — это абстрактный защищённый тип.

Тип интерфейса не имеет компонентов.

маркер_подтипа_интерфейсамаркер_подтипа в списке_интерфейсов называет подтип-предок; его тип — тип-предок. Тип интерфейса наследует определенные пользователем примитивные подпрограммы от каждого типа-предка так же, как производный тип наследует определенные пользователем примитивные подпрограммы от своих типов-предков (см. 3.4).

Все определенные пользователем примитивные подпрограммы типа интерфейса должны быть абстрактными подпрограммами или нулевыми процедурами.

Тип подтипа, указанного в списке_интерфейсов, должен быть типом интерфейса.

Тип, производный от неограниченного интерфейса, должен быть неограниченным.

Интерфейс, производный от интерфейса задачи, должен включать ключевое слово задачи в своём определении; любой другой тип, производный от интерфейса задачи, должен быть частным расширением или типом задачи, объявленным с помощью объявления задачи (см. 9.1).

Интерфейс, производный от интерфейса защищённого типа, должен включать ключевое слово защищённый в своём определении; любой другой тип, производный от интерфейса защищённого типа, должен быть частным расширением или типом защищённого типа, объявленным с помощью объявления защищённого типа (см. 9.4).

Интерфейс, производный от синхронизированного интерфейса, должен включать одно из ключевых слов задачи, защищённый или синхронизированный в своём определении; любой другой тип, производный от синхронизированного интерфейса, должен быть частным расширением, типом задачи, объявленным с помощью объявления задачи, или типом защищённого типа, объявленным с помощью объявления защищённого типа.

Ни один тип не должен быть производным от интерфейса задачи и интерфейса защищённого типа одновременно.

Помимо мест, где обычно применяются Правила легальности (см. 12.3), эти правила также применяются в частной части экземпляра обобщённого модуля.

Выполнение определения_типа_интерфейса создаёт тип интерфейса и его первый подтип.

Это определяет интерфейс очереди, определяющий очередь людей. (Аналогичный дизайн возможен для определения любого типа очереди, просто замените Имя_Человека соответствующим типом.) Интерфейс очереди имеет четыре диспетчерские операции: Добавить, Удалить_Первый, Текущий_Счёт и Максимальный_Счёт. Также показан тело операция для всего класса Перенос. Каждое неабстрактное расширение очереди предоставит реализации по крайней мере своих четырёх диспетчерских операций, так как они абстрактны. Любой объект типа, производного от очереди, может быть передан в Перенос в качестве операнда От или К. Два операнда могут быть разных типов в данном вызове.

Интерфейс Синхронизированная_Очередь наследует четыре диспетчерские операции от очереди и добавляет две дополнительные диспетчерские операции, которые ожидают, если необходимо, а не вызывают исключение Ошибка_Очереди. Этот синхронизированный интерфейс может быть реализован только типом задачи или защищённым типом, и таким образом обеспечивает безопасный конкурентный доступ.

Интерфейс, такой как Очередь, может быть использован непосредственно как родитель нового типа (как показано здесь), или может быть использован как предок, когда тип производный. В любом случае, примитивные операции интерфейса наследуются. Для очереди, реализация четырёх унаследованных процедур будет обязательно предоставлена. Внутри вызова Перенос, вызовы будут перенаправлены на реализации Добавить и Удалить_Первый для типа Очередь_Быстрого_Обслуживания.

Интерфейс Устройство_Последовательной_Связи имеет две диспетчерские операции, которые предназначены для реализации входам задачи (см. 9.1).