Как изменить тип переменной паскаль

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

“Type
mismatch”
(несоответствие типов)

Var
k:byte;

x:integer;

y:real;

ch:char;

Правила работы с типами данных

1. y:=x,
   x:=k
   – повышение типов (разрешено в Паскале)

x:=10/k
— – понижение типов (запрещено)

x:=10+’5’
– понижение типов (запрещено)

1. x:=round
   (y);
   x:=trunc
   (y);
   {вещественное в целое (целая часть /
   округление}

2. k:=ord(ch);
   ch:=chr(k);
   {символ в код(число) и наоборот}

3. val
   (str:string,
   var
   number,
   var
   code:byte)
   {Текстовые строки, представляющие
   запись числовых констант – в числа}

В ряде
случаев в Pascal происходит автоматический
переход от одного типа данных к другому
(от целого к действительному, от
символьного к строковому и т.д.). Существует
также ряд функций, осуществляющих
преобразование типов (ord, chr, trunc, round).
Наряду с этим в Паскаль возможно явное
преобразование типов (ретипизация
данных). Для того, чтобы осуществить
явное преобразование типа, необходимо
использовать имя типа аналогично тому,
как используется имя функции. В качестве
параметра в этом случае указывается
имя преобразуемой переменной.

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

Пример задачи, где используется явное преобразование типов

Вычислить
значение функции sign(x) = 1 при x>0; 0 при
x=0; -1 при x<0.

var

x:
real;

sign:
integer;

begin

readln(x);

sign:=
byte(x>0)-byte(x<0);

writeln(sign);

end.

В
программе при положительном значении
x выражение x>0 принимает значение true,
а выражение x<0 — false. В результате
получается, что byte(x>0) = 1, byte(x<0)=0, а
sign=1. При отрицательном значении x
byte(x>0)=0, byte(x<0)=1, sign=-1. При нулевом
значении x sign=0.

21. Тип множество (Set).

В
языке программирования Pascal существует
понятие множества, имеющее смысл
некоторого собрания элементов, одно и
того же базового типа. Базовый тип
определяет перечень всех элементов,
которые вообще могут содержаться в
данном множестве. В качестве базового
типа может выступать любой простой
порядковый тип. Но вещественные числа
(realне порядковый тип) и строки (не
простой и не порядковый тип) не могут
быть элементами множества.

Отрицательные
элементы множеств в Turbo Pascal не допускаются.
Поэтому базовыми типами не могут быть
типы shortint, integer, longint. Если же необходимо
множество целочисленных объектов, то
базовый тип должен объявлен как диапазон
типаbyte.

Порядок
элементов во множестве не имеет значения.
Так, записав [3, 6, 9] или [9, 3, 6], мы будем
иметь дело с одним и тем же множеством.
Более того, многократное повторение
одного и того же элемента не меняет
множество. Например, [4, 7, 3] и [3, 7, 4, 4] –
это одно и то же множество.

По
форме записи объявление переменной
типа множество сходно с объявлением
одномерного массива:

var

имя:
set
of
тип;

Например,
объявление переменной ch,
рассматриваемой как множество с базовым
типомchar, имеет вид:

var

ch:
set
of
char;

В
отличие от элементов массива, элементы
множества не упорядочены и не имеют
индексов.

Довольно
часто в качестве базового типа множества
используется тип перечисления или
некоторый его диапазон:

type

week_days
=
(Mon,
Tue,
Wed,
Thu,
Fri);

var

work_days:
set
of
week_days;

lett:
set
of
‘A’..’Z’;

Объявление
переменной-множества не дает ей
определенного значения.

Построение
множества

Чтобы
во множестве появились элементы,
необходимо выполнить оператор
присваивания, в левой части которого
стоит имя переменной-множества, а в
правой — конструктор множества или
некоторое выражение над множествами.

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

type

week_days
=
(Mon,
Tue,
Wed,
Thu,
Fri);

var

work_days:
set
of
week_days;

lett:
set
of
‘A’..’Z’;

begin

work_days
:=
[Mon,
Wed,
Thu];

lett
:=
[‘C’,
‘E’..’M’,
‘Z’]

end.

Следует
помнить, что при задании множества
порядок его элементов безразличен, но
при задании диапазона такой порядок
важен.

Множество,
в котором нет элементов, называется
пустым (или нуль-множеством). В языке
программирования Паскаль обозначается
квадратными скобками, между которыми
нет элементов:

work_days
:=
[
];

Элементы
множества нельзя вводить и выводить.
Для организации ввода-вывода элементов
множества следует использовать
вспомогательные переменные. В то же
время можно использовать множества как
элементы типизированных файлов.

Операции,
применимые к множественному типу:

1. Объединение

[1,3,4]+[1,2,4,6]=[1…4,6]

1. Пересечение

[1,3,4]*[1,2,6]=[1]

1. Вычитание
   (элементы первого множества, не вошедшие
   во второе)

[1,3,4]-[1,2,4,6]=[3]

1. Проверка
   эквивалентности

P:=([1,2,5]=[1..5]);
{p=false}

1. Проверка
   неэквивалентности

P:=([1,2,3]<>[1..5]);
{p=true}

1. Проверка
   на принадлежность элементов множеству

2
in
[1,2,4,6] – true

1. Включение
   подмножества в множество

[1,5]<=[1,3,5,6]
– true

[1,5]>=[1,3,5]
– false

Манипулируя
операциями над множествами, можно
добавлять элементы к множествам или
удалять их.

Для
вставки и удаления элементов при работе
с множествами в Pascal введены две процедуры:

include
(имя_множества, элемент)

exclude
(имя_множества, элемент)

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

include
(chs1,
‘g’);
{
аналогично
chs1 + [‘g’] }

exclude
(chs2,
‘a’); {
аналогично
chs2 — [‘a’] }

Другие
операции над множествами

Над
множествами можно выполнять четыре
операции сравнения: =, <>, >=, <=.

Два
множества A и B равны (A = B), если каждый
элемент множества A является элементом
множества B и наоборот.

Два
множества A и B не равны (A <> B), если
они отличаются хотя бы одним элементом.

Множество
A является подмножеством множества B (A
<= B, или B >= A), если каждый элемент из
A присутствует в B.

Имеется
также возможность выяснить, принадлежит
ли данный элемент некоторому множеству.
Для этого служит операция in. ПустьA– множество элементов некоторого
базового типа, аx– переменная (константа, выражение)
этого типа. Тогда выражениеx
in
Aистинно, если значениеxявляется элементом множестваA.

Все
операции сравнения множеств, а также
операция inвозвращают логическое
значениеtrueилиfalse.

В
сложных выражениях над множествами
операции имеют следующие приоритеты:

1. *

2. +,
   —

3. =,
   <>, <=, >=, in

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

• #
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #

│




Deutsch (de) │
English (en) │




français (fr) │










русский (ru) │

Typecasting(приведение типов) — это концепция, позволяющая присваивать значения переменных или выражений, которые не соответствуют типу данных, переменной, фактически перекрывая систему строгой типизации Pascal.

Определение

Различают два варианта приведения типов:

Неявное приведение типов

Если полный диапазон значений, которые может иметь источник, может быть сохранен целевым операндом, происходит автоматическая — то есть «неявная» — передача типа. Например, все значения типа byte могут быть сохранены в int64. Присвоение значения типа byte для int64 работает без проблем, поскольку пропущенные нулевые биты заполняются автоматически, то есть неявно.
Программист не должен вставлять дополнительный код.

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

Явное приведение типов

Если диапазон значений источника не вписывается в диапазон целевого операнда, компилятор не скомпилирует программу, если ему не дано [указаний явно] игнорировать это.

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

Существует два разных варианта явного приведения типа:

Value typecasts (приведение типа для значения)

Преобразование типов осуществляется путем добавления идентификатора типа данных и заключения выражения для преобразования типов в круглые скобки, например: dataType(expression).
Лишние биты просто отбрасываются.
Этот подход обычно используется, если есть абсолютная уверенность, что фактическое значение expression будет соответствовать ожидаемому.
Иногда этот эффект также используется вместо применения оператора Mod.

Variable typecasts (приведение типа для переменной)

Такое приведение типа обрабатывает переменную, как если бы это был другой тип.
Извлечение и сохранение переменной выполняется, как если бы это был указанный тип данных.
Так же, как и в случае приведения типа для значения, перед типом данных добавляется идентификатор типа, а в этом случае круглые скобки окружают идентификатор переменной:
dataTypeIdentifier(variableIdentifier).
В отличие от приведения типа для значения, приведения типа для переменной может происходить с обеих сторон присваивания.

Преобразование в сравнении с приведением типов

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

В некоторых случаях вы можете конвертировать значения:

В других случаях вы должны вручную выполнить явное приведение типов:

Предостережение

• Явное приведение типов отключает проверку диапазона в полной строке кода.

См.также

• «Кастинг типов (компьютерное программирование)» в русской Википедии
• § “value typecasts” в справочном руководстве FreePascal
• § “variable typecasts” в справочном руководстве FreePascal
• § “unaligned typecasts” в справочном руководстве FreePascal
• Перегрузка операторов (особая группа операторов присваивания и § «маршрутизация»)

В Паскале оператор присваивания не всегда работает, даже если он написан синтаксически верно. Когда мы производим вычисления с известными числами, результат известен и проблем не возникает. С переменными же все проходит не всегда так гладко, поскольку переменные типов Integer и Real хранятся по-разному (занимают разный объем памяти). Компьютер устроен так, что выполнять действия он может только с одинаковыми объектами. Возьмем следующую программу: program wrong; var a :Integer; b :Real; begin b : =2; a : =2. 9; {Здесь содержится ошибка!} end.

Если набрать эту программу и попробовать ее оттранслировать, получим сообщение об ошибке Нарушение соответствия типов. Курсор при этом укажет на ту строку, у которой в комментарии сказано, что здесь содержится ошибка. Давайте разберемся в причинах появления данного сообщения. В первом операторе переменной вещественного типа присваивается целое число 2. Ошибки здесь нет, поскольку произойдет так называемое преобразование типа, при котором число 2 будет представлено в виде десятичной дроби 2. 0 и записано в b. А наоборот нельзя — в целую переменную a дробное число 2. 9 не запишется, и транслятор выдаст ошибку. Такие ситуации возникают очень часто, и сложнее всего бывает разобраться со случаем, когда используется операция деления «/» (например, что будет с результатом f / 2, где f — целое число?). Существует несколько правил, два из которых уже были описаны ранее (в переменную вещественного типа можно записать целое число, а наоборот — нельзя). Остальные правила, касающиеся выполнения арифметических операций, представлены в следующей таблице.

Операция Тип операнда Тип результата Пример Результат первый второй

+,*, — Integer Integer Integer 2 + 27 29

+,*, — Integer Real Real 2 -3. 5 -1. 5

+,*, — Real Integer Real 3. 0 — 27 -24. 0

+,*, — Real Real Real 2. 5 * 2. 5 6. 25

/ любой любой Real 8/2 4. 0

Что делать, если надо получить в результате целое число, пусть даже округленное? В этом случае можно воспользоваться одной из двух встроенных функций Паскаля: Trunc(a) или Round (а). Встроенные функции пока можно считать обычными операторами языка Паскаль. Здесь Тrunс отбрасывает дробную часть аргумента, a Round округляет его по правилам математики до ближайшего целого. Примеры:

Trunc(2. 73) = 2;

Trunc(-3. 4) = -3;

Trunc(1. 9) = 1;

Round (2. 5) = 3;

Round(-3. 7) = -4. 0.

Оптимизация программы. И еще одно замечание. Основной результат работы программиста — правильно работающая программа. Это самое главное. Однако иногда имеет значение и скорость выполнения программы, в том числе скорость проведения математических вычислений. В этом случае надо писать программы так, чтобы желаемый результат достигался за возможно меньшее число шагов (такая программа называется оптимизированной). Рассмотрим еще один пример. Пусть требуется вычислить значение выражения

Программа для вычисления этого выражения пишется очень просто — в две строчки. В первой вводим значение х, а во второй выводим результат: program polynomial; var х :Real; begin

Write(‘Введите x:’);

Readln(x);

Write(x*x*x*x*x+7*x*x*x*x-18*x*x*x+9*x*x-x+8); end.

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

= х (х (х (х (х+7)- 18) + 9) — 1) + 8.

После преобразования количество операций уменьшилось до 9, то есть тот же результат мы получим быстрее: program polynomial_fast; var х :Real; begin

Write(‘Введите х:’);

ReadLn(x);

Write(x * (x *(х * (х *(х + 7) — 18) + 9) — 1) + 8); end.

Этот метод вычисления значения многочлена называется схемой Горнера.

Встроенные функции. Кроме упомянутых функций Round и Trunc в Паскале существует целый ряд других встроенных функций. Далее приводятся наиболее распространенные из них.

Функция Тип аргумента х Результат

Sqrt(x) Real или Integer корень квадратный из х

Abs(x) Real или Integer модуль х

Sin(x) Real или Integer синус х

Cos(x) Real или Integer косинус х

Pred(x) Integer следующее целое после х

Succ(x) Integer предыдущее целое до х

Sqr(x) Real или Integer квадрат х

Следует особо отметить, что каждая функция возвращает значение определенного типа:

+ Sin(x), Cos(x), Sqrt(x) —вещественного;

+ Pred(x), Succ(x) — целого;

+ Sqr(x), Abs(x) — того же типа, что и аргумент.

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

Мы теоретически подкованы. Теперь можно перейти к практической части.

изменить тип переменной

Модератор: Модераторы

Вернуться в Free Pascal Compiler

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 7