Writeln ( Char(68) ); { D }
Как видите, число в символ преобразуется через имя типа Char. Это общий прием, волшебная палочка для обращений типов данных. Например, булевых.
Целое и булево
Превратить булево в целое можно все той же функцией Ord.
Writeln ( Ord(False) ); { 0 }
Writeln ( Ord(True) ); { 1 }
А для обратного превращения воспользоваться именем типа Boolean.
Writeln ( Boolean(0) ); { False }
Writeln ( Boolean(1) ); { True }
Целое и перечисление
Вернемся к перечислению месяцев, вымышленному нами в предыдущей главе, где переменная была объявлена так:
var m : (Jan,Feb,Mar,Apr,May,Jun,Jul,Aug,Sep,Oct,Nov,Dec);
Превратить значение такой переменной в число можно функцией Ord. А наоборот? Пока нам этого не удавалось. Но после объявления пользовательского типа данных задача решается очень просто.
Type TMonth = (Jan,Feb,Mar,Apr,May,Jun,Jul,Aug,Sep,Oct,Nov,Dec);
Var m : TMonth;
...
m:= 3; { это ошибка }
m:= TMonth(3); { это равнозначно m:= Apr (счет идет от нуля) }
Здесь объявлен пользовательский перечислимый тип TMonth (Month – «месяц»), далее вы вольны применять его и для объявления переменных, и для преобразования типов. Вот где проявляется сила пользовательского типа!
Вещественное и вещественное
Подобно целому братству, вещественное братство дружно между собой. Переменной одного вещественного типа можно присвоить значение другого типа, при условии, что это значение поместится в новое «жилище», то есть, не приведет к нарушению диапазона.
Целое и вещественное
Вещественным переменным можно присваивать целые значения, не задумываясь о последствиях, – преобразование происходит автоматически. Но обратная операция не так проста, поскольку здесь надо решить судьбу дробной части вещественного числа, которая не попадет в целочисленную переменную. Есть две возможности: либо отбросить дробную часть, либо округлить вещественное число до ближайшего целого. Для этого Паскаль предлагает две функции, возвращающие целочисленные значения: Trunc – усечение, и Round – округление. Вот примеры их вызова.
Writeln ( Trunc(3.75) ); { 3 }
Writeln ( Round(3.75) ); { 4 }
Writeln ( Round(3.25) ); { 3 }
Напоследок рассмотрите рис. 76, где показана общая картина совместимости и преобразования простых типов данных.
Строгий контроль типов в Паскале задуман для пущей надежности программам. В старых языках программирования (Си, Фортран) такого контроля либо не было, либо он был очень слаб. Программист перебрасывал данные как ему вздумается, не слишком заботясь о последствиях. Подобные вольности порождали массу ошибок. Теперь же Паскаль предлагает программисту следующее: пожалуйста, переноси данные, куда угодно, но при этом укажи явным образом, что ты делаешь.
