Ада-95. Компилятор GNAT


Лимитированные приватные типы (limited private types) - часть 2


Примечательно, что при совмещении знака операции равенства "=" автоматически производится неявное совмещение знака операции неравенства "/=".

При этом следует учесть, что если функция реализующая действие знака операции равенства "="

возвращает значение тип которого отличается от предопределенного логического типа Boolean

(полное имя - Standard.Boolean), то совмещение знака операции неравенства "/="

необходимо описать явно.

Следует заметить, что Ада разрешает переопределять знак операции равенства для всех типов.

Для лимитированного приватного типа можно также создать процедуру для выполнения присваивания (или инициализации).

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

. . . procedure Init (T : in out Our_Text; S : in String); . . .

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




- Начало -  - Назад -  - Вперед -



Книжный магазин