Next:2.Словарь понятий, используемых в заданиях
Up:1 Язык программирования Zonnon
Previous:1.10 Отражение

1.11 Терминология

1.11.1. Числовые типы

• Целые типы                         integer или integer{ширина}
• Кардинальные типы           cardinal или cardinal{ширина}
• Вещественные типы           real или real{ширина}

1.11.2. Совпадающие типы

Две переменные a и b с типами Ta и Tb являются одного и того же типа, если

• Ta и Tb оба обозначаются одним и тем же идентификатором, или
• Ta объявлен равным Tb в объявлении типа вида Ta = Tb, или
• a и b появляются в одном и том же списке идентификаторов в объявлении переменной, поля объекта или формального параметра и не являются открытыми массивами.

1.11.3. Равные типы

Два типа Ta и Tb являются равными если

•  Ta и Tb являются одним и тем же типом, или
•  Ta и Tb являются типами открытых массивов с равными типами элементов, или
•  Ta и Tb являются типами процедур, чьи списки формальных параметров соответствуют.

1.11.4. Совместимость по присваиванию

Выражение e типа Te является совместимым по присваиванию с переменной v типа Tv, если выполнено одно из следующих свойств:

• Te и Tv имеют один и тот же тип;
• Внутри каждого из типовых семейств char, set, integer, cardinal выражение типа Te может быть присвоено переменной v, чей тип Tv является достаточно большим (определенным посредством своей ширины) для охвата множества значений типа Te;
• Tv является типом процедур и e является nil;
• Tv является типом процедур и e является именем процедуры, чей список формальных параметров соответствует списку Tv

1.11.5. Совместимые как массивы

Фактический параметр типа Ta является совместимым как массив с формальным параметром f типа Tf если

• Tf и Ta являются одним и тем же типом, или
• Tf является открытым массивом, Ta является массивом, и типы их элементов совместимы как массивы.

1.11.6. Совместимые в выражении

Для данной операции типы операндов считаются совместимыми в выражении, если они соответствуют следующей таблице (которая также показывает тип результата), например: op1 > op2. Таблица также неявно демонстрирует комбинации операндов, которые поддерживаются для перегрузки операций.

Операция              Первый операнд (op1)         Второй операнд (op2)          Тип результата
+ - *                       integer{m}                              integer{n}                               max of integer{m} and integer{n}
+ - *                       cardinal{m}                            cardinal{n}                             max of cardinal{m} and cardinal{n}
+ - *                       real{m}                                   real{n}                                    max of real{m} and real{n}
/                             real{m}                                   real{n}                                    max of real{m} and real{n}
                                                                                                                              предусловие: op2 # 0
+ - *                       set{m}                                     set{n}                                     max of set{m} and set{n}
div mod                 integer{m}                               integer{n}                               max of integer{m} and integer{n}
                                                                                                                              предусловие: op2 # 0
or & ~                   boolean                                    boolean                                    boolean
= # < <= > >=       integer{m}                               integer{n}                                boolean
= # < <= > >=       cardinal{m}                             cardinal{n}                              boolean
= # < <= > >=       real{m}                                    real{n}                                    boolean
= # < <= > >=       enumeration T                          enumeration T                          boolean
= # < <= > >=       char                                          char                                          boolean
= # < <= > >=       character array,                        character array                         boolean
= # < <= > >=       string                                        string                                        boolean
= #                        boolean                                     boolean                                    boolean
= #                        set                                             set                                             boolean
= #                        procedure type T                      procedure type T                       boolean
= #                       nil                                            nil                                              boolean
in                          integer                                       set                                             boolean
implements           object                                        definition                                  boolean
is                          object                                        object type                                boolean
 
 

1.11.7. Согласованные списки формальных параметров

Два списка формальных параметров согласуются, если справедливы следующие свойства:

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