| BEGIN
| A:= 55000;
| B:= A-256;
| Write(A+B);
| END.
Эта программа должна вычислить значение A+B и вывести его на экран. Но она этого не сделает. В режиме компиляции {$R+} запуск программы даст ошибку 201, поскольку общий для A и B тип Word не вмещает их сумму (его «потолок» равен 65535). В режиме {$R-} программа напечатает заведомую ложь.
Выход из подобных ситуаций прост. Надо объявлять хотя бы одного участника выражения более длинным (емким) типом. Так, если описать A как LongInt, то общим для A и B типом станет LongInt, и в нем уместится достаточно большое значение суммы. Можно даже просто, не изменяя объявления переменной, переписать последний оператор в виде
Write(LongInt(A) + B);
используя описываемое ниже приведение типа значения.
5.4. Изменение (приведение) типов и значений
В Турбо Паскале имеется очень мощное средство, позволяющее обойти всевозможные ограничения на совместимость типов или значений: определена операция приведения типа. Она применима только к переменным и значениям. Суть этой операции в следующем. Определяя тип, мы определяем форму хранения информации в ОЗУ, и переменная данного типа будет представлена в памяти заранее известной структурой. Но если «взглянуть» на ее образ в памяти с точки зрения машинного представления другого типа, то можно будет трактовать то же самое значение как принадлежащее другому типу. Для этого достаточно использовать конструкцию
ИмяТипа( ПеременнаяИлиЗначение )
Задаваемое имя типа, в который происходит преобразование, должно быть известно в программе. Примеры приведения типов:
- 90 -
| TYPE
| Arr4Byte = Array[1..4] of Byte; { массив из 4-х байтов }
| Arr2Word = Array[1..2] of Word; { массив из двух слов }
| RecType = RECORD
| Word1, Word2 : Word { запись из двух слов }
| END;
| VAR
| L : LongInt; { четырехбайтовое целое со знаком }
| S : ShortInt; { однобайтовое целое со знаком }
| В : Byte; { однобайтовое целое без знака }
| W : Word; { двухбайтовое целое без знака }
| a4 : Arr4Byte; { массив из четырех байтов }
| a2 : Arr2Word; { массив из двух слов по два байта }
| Rec : RecType; { запись из двух слов по два байта }
| BEGIN
| L := 123456; { некое значение переменной L }
| S := -2; { некое значение переменной S }
| a2 := arr2Word( L ); { два слова L перешли в массив a2 }
| a4 := arr4Byte( L ); {четыре байта L перешли в a4 }
| W := RecType( L ).Word1; { доступ к L по частям
| W := arr2Word( L )[ 1 ];
| RecType(L).Word1 := 0; { обнуление первого слова в L }
| B := Byte( S ); { если S=-2, то B станет 254 }
| B := Arr4Byte( a2 )[1]; { запись в B значения первого }