Тождественность и совместимость типов

Структурированные типы данных

Тип дата-время

Ограниченные типы

Стандартные скалярные типы, о которых только что шла речь, являются предопределенными в языке Turbo Pascal, т.е. их смысл в языке фиксирован. На основе стандартных скалярных типов программист может определить новые, собственные скалярные типы, используя несколько простых правил.

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

1.. 10 –100.. 100 'a'.. 'z'

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

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

Тип дата-время определен в Delphi и предназначен для одновременного хранения даты и времени. Он определяется при помощи стандартного идентификатора …..

Структурированные типы данных определяют упорядоченную совокупность скалярных переменных и характеризуются типом своих компонентов.

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

Для написания правильных выражений необходимо рассмотреть понятия тождественности и совместимости типов.

Два типа Т1 и Т2 являются тождественными, если выполняется одно из двух условий:

1. Т1 и Т2 представляют собой один и тот же идентификатор типа;

2. Тип Т2 описан с использованием типа Т1 с помощью непосредственного равенства вида:

Type

T2 = T1;

или посредством цепочки таких равенств.

Пример.

Type

T1 = integer;

T2 = T1;

T3 = T2;

Типы Т1 и Т2 являются тождественными, т.к. Т2 описан непосредственно через Т1; тип Т3 тождественен Т1, т.к. он описан через Т1 посредством цепочки равенств.

Данное определение налагает достаточно жесткие ограничения.

Пример.

Type

F1: real;

F2: real;

Типы F1 и F2 не являются тождественными, т.к. они не удовлетворяют определению тождественных типов (один тип не описан через другой).

Пример.

Var

V1, V2: integer;

Переменные V1 и V2 тождественны, т.к. их описания нераздельны.

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

Совместимость типов играет важнейшую роль в выражениях и операциях сравнения и в операциях присваивания.

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

· два типа тождественны;

· оба типа являются либо целыми, либо оба типа являются вещественными;

· один тип является поддиапазоном другого;

· оба типа являются поддиапазонами одного и того же основного типа;

· оба типа являются множественными типами с совместимыми базовыми типами.

Дата добавления: 2014-01-05