Типы Данных в Паскале


Лекция №2.3: Типы данных и операции
Май 26, 2016 – 14:02
2 Типы

Здесь эквивалентными будут Т1 и Т2; Т1 и Т3; Т1 и Т4; Т1 и Т5; Т4 и Т5. А вот Т2 и Т3 — не эквивалентны!

Совместимость

Совместимость типов требуется при конструировании выражений, а также при вызовах подпрограмм (для параметров–значений). Совместимость означает, что для переменных этих типов возможна операция присваивания — хотя во время этой операции присваиваемое значение может измениться: произойдёт неявное приведение типов данных (см. п. «» ниже).

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

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

В отличие от простой совместимости, совместимость по присваиванию гарантирует, что в тех случаях, когда производится какое–либо присваивание (используется запись вида a := b; или происходит передача значений в подпрограмму или из неё и т. п.), не произойдёт никаких изменений присваиваемого значения.

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

  • Т1 и Т2 эквивалентны, но не ;
  • Т1 и Т2 совместимы, причём, Т2 — некоторое подмножество в Т1;
  • Т1 — тип, а Т2 — .
Неявное приведение типов данных

Как мы упомянули в п. «» выше, тип результата арифметических операций (а следовательно, и выражений) может отличаться от типов исходных операндов. Например, при «дробном» делении ( / ) одного целого числа на другое целое в ответе всё равно получается вещественное. Такое изменение типа данных называется неявным приведением типов.

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

a := 10; {a : Byte}
a := -a;
WriteLn(a);

то на экране мы увидим не -10, а 246 (246 = 256 - 10).

Неявным образом осуществляется и приведение при несоответствии типов переменной–счётчика и границ в циклах (см. ).

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

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

Source: pascal.net.ru
Похожие публикации