Типы данных языка Pascal: классификация и описания. Арифметические и порядковые типы данных, действия с ними. Арифметические выражения: функции, операции и порядок действий. Совместимость и преобразования типов данных.
Компиляторы языка Pascal требуют, чтобы сведения об объёме памяти, необходимой для работы программы, были предоставлены до начала её работы. Для этого в разделе описания переменных (var ) нужно перечислить все переменные, используемые в программе. Кроме того, необходимо также сообщить компилятору, сколько памяти каждая из этих переменных будет занимать. А ещё было бы неплохо заранее условиться о различных операциях, применимых к тем или иным переменным...
Всё это можно сообщить программе, просто указав тип будущей переменной. Имея информацию о типе переменной, компилятор «понимает», сколько байт необходимо отвести под неё, какие действия с ней можно производить и в каких конструкциях она может участвовать.
Для удобства программистов в языке Pascal существует множество стандартных типов данных и плюс к тому возможность создавать новые типы.
Конструируя новые типы данных на основе уже имеющихся (стандартных или опять–таки определённых самим программистом), нужно помнить, что любое здание должно строиться на хорошем фундаменте. Поэтому сейчас мы и поговорим об этом «фундаменте».
На основании базовых типов данных строятся все остальные типы языка Pascal, которые так и называются: конструируемые .
Разделение на базовые и конструируемые типы данных в языке Pascal показано в таблице:
Типы данных, конструируемые программистом, описываются в разделе type по следующему шаблону:
type <имя_типа> = <описание_типа>;
Например:
type Lat_Bukvy = "a" .. "z", "A" .. "Z";
Базовые типы данных являются стандартными, поэтому нет нужды описывать их в разделе type . Однако при желании это тоже можно сделать, например, дав длинным определениям короткие имена . Скажем, введя новый тип данных
type Int = Integer;
можно немного сократить текст программы.
Стандартные конструируемые типы также можно не описывать в разделе type . Однако в некоторых случаях это всё равно приходится делать из–за требований синтаксиса. Например, в списке параметров процедур или функций конструкторы типов использовать нельзя (см. лекцию 8 ).
Порядковые типы данных
Среди базовых типов данных особо выделяются порядковые типы . Такое название можно обосновать двояко:
Стандартные подпрограммы, обрабатывающие порядковые типы данных
Только для величин порядковых типов определены следующие функции и процедуры:
- Функция Ord (x) возвращает порядковый номер значения переменной x (относительно того типа, к которому принадлежит переменная х).
- Функция Pred (x) возвращает значение, предшествующее х (к первому элементу типа неприменима).
- Функция Succ (x) возвращает значение, следующее за х (к последнему элементу типа неприменима).
- Процедура Inc (x) возвращает значение, следующее за х (для арифметических типов данных это эквивалентно оператору x:= x + 1).
- Процедура Inc (x, k) возвращает k–е значение, следующее за х (для арифметических типов данных это эквивалентно оператору x:= x + k).
- Процедура Dec (x) возвращает значение, предшествующее х (для арифметических типов данных это эквивалентно оператору x:= x - 1).
- Процедура Dec (x, k) возвращает k–e значение, предшествующее х (для арифметических типов данных это эквивалентно оператору x:= x - k).
На первый взгляд кажется, будто результат применения процедуры Inc (x) полностью совпадает с результатом применения функции Succ (x) . Однако разница между ними проявляется на границах допустимого диапазона. Функция Succ (x) не применима к максимальному элементу типа, а вот процедура Inc (x) не выдаст никакой ошибки, но, действуя по правилам машинного сложения, прибавит очередную единицу к номеру элемента. Номер, конечно же, выйдет за пределы диапазона и за счёт усечения превратится в номер минимального значения диапазона. Получается, что процедуры Inc () и Dec () воспринимают любой порядковый тип словно бы «замкнутым в кольцо»: сразу после последнего вновь идёт первое значение.
Поясним всё сказанное на примере. Для типа данных
type Sixteen = 0 .. 15 ;
попытка прибавить 1 к числу 15 приведёт к следующему результату:
1 1 1 1 1 1 0 0 0 0
Начальная единица будет отсечена, и потому получится, что Inc (15)=0 .
Аналогичная ситуация на нижней границе допустимого диапазона произвольного порядкового типа данных наблюдается для процедуры Dec (x) и функции Pred (x) :
Типы данных, относящиеся к порядковым
Опишем теперь порядковые типы данных более подробно.
- Логический тип Boolean имеет два значения: False и True , и для них выполняются следующие равенства:
- В символьный тип Char входит 256 символов расширенной таблицы ASCII (например, "a", "b", "я", "7", "#"). Номер символа, возвращаемый функцией Ord () , совпадает с номером этого символа в таблице ASCII .
- Целочисленные типы данных сведём в таблицу:
- Перечисляемые
типы данных задаются в разделе type
явным перечислением их элементов. Например:
type Week = (sun, mon, tue, wed, thu, fri, sat); 0 1 2 3 4 5 6
Напомним, что для этого типа данных:
- Интервальные типы данных
задаются только границами своего диапазона. Например:
type Month = 1 .. 12 ;
Budni = Mon .. Fri; - Программист может создавать и собственные типы данных, являющиеся комбинацией нескольких стандартных типов. Например:
type Valid_For_Identifiers = "a" .. "z" , "A" .. "Z" , "_" , "0" .. "9" ;
Этот тип состоит из объединения нескольких интервалов, причём в данном случае изменён порядок латинских букв: если в стандартном типе
Наиболее важными элементами программы являются переменные. Именно они влияют на ход событий в программе во время ее выполнения. Например, если бы мы не указали значение переменной Name в , кому было бы адресовано приветствие, выведенное программой?
Переменные могут содержать совершенно различные данные. Например, в одной переменной может храниться чье-то имя, в другой – год рождения, в – третьей – рост и т.д. Такие разные данные и представляются компьютером по-разному. Имя – это строка символов, год рождения – целое число, рост – вещественное число (например, рост равен 1.72 м).
Способ представления данных компьютером определяется их типом . Кроме того, тип данных определяет, какие действия разрешается выполнять над этими данными.
Ниже перечислены основные стандартные типы данных языка Турбо-Паскаль:
- INTEGER – целочисленные данные в диапазоне от –32768 до 32767, в памяти занимают два байта;
- REAL – вещественные числа в диапазоне от 2.9´10 -39 (2.9E-39) до 1.7´10 38 (1.7E38), занимают шесть байт;
- CHAR – отдельный символ, один байт;
- STRING – строка символов, количество символов в строке (длина строки) ограничивается числом N в квадратных скобках, занимает N+1 байт (если число N не указано, то максимальная длина строки равна 255 символов);
- BOOLEAN – логический тип, имеет два значения: FALSE (ложь) и TRUE (истина), один байт.
Заметим, что типы INTEGER, CHAR, и BOOLEAN относятся к порядковым типам (ordinal types).
Как Вы, наверное, помните, при описании переменной после ее имени ставится двоеточие, а затем указывается тип. Если несколько переменных имеют одинаковый тип, их имена можно перечислить через запятую.
Пример описания переменных различных типов:
Delphi/Pascal
var a, b, c: integer; sum: real; Alpha, Beta: char; S: string; S_1: string; t: boolean;
a , b , c : integer ; sum : real ; Alpha , Beta : char ; S : string [ 25 ] ; S_1 : string ; t : boolean ; |
Заметьте, что переменная S_1 является строкой символов, но при ее описании не указывается длина. В таком случае компилятор сам устанавливает максимально возможную длину – 255 символов.
Для хранения целых и вещественных чисел существуют и другие предопределенные типы данных. Их характеристики приведены в таблицах ниже. Сравните эти типы с типами INTEGER и REAL, также приведенными в таблицах.
|
Диапазон |
Размер в байтах |
|
| SHORTINT | ||
| INTEGER | ||
| LONGINT |
2147483648 .. 2147483647 |
|
| BYTE | ||
| WORD |
Вещественные типы данных
|
Диапазон |
Число значащих цифр |
Размер в байтах |
|
| REAL |
2.9´10 -39 .. 1.7´10 3 8 |
||
| SINGLE |
1.5´10 – 45 .. 3.4´10 3 8 |
||
| DOUBLE |
5.0´10 -3 24 .. 1.7´10 3 08 |
||
| EXTENDED |
3.4´10 -4932 .. 1.1´10 49 32 |
||
| COMP |
2 63 +1 .. 2 63 -1 |
Какой тип данных использовать
Столько разных типов, скажете Вы, и какой же из них использовать?
Это зависит от поставленной перед Вами задачи. Например, Вам нужна переменная, в которой Вы будете хранить рост некоторого человека (вещественное значение): в этом случае достаточно использовать тип SINGLE. Если какая-то переменная используется у Вас для подсчета количества определенных объектов (целое положительное значение), то прикиньте, может ли быть это число больше 255, если нет – используйте BYTE, если же может – Вам не обойтись без WORD, а в некоторых случаях может понадобиться и LONGINT.
Чтобы узнать о различных типах побольше, нажмите Shift+F1 в среде Турбо-Паскаль (появится окно индекса помощи), а затем выбирайте интересующий Вас объект (например, наберите ‘type’ или ‘real’).
К порядковым типам относятся (см. рис.4.1) целые, логический, символьный, перечисляемый и тип-диапазон. К любому из них применима функция ORD(X), которая возвращает порядковый номер значения выражения X. Для целых типов функция ORD(X) возвращает само значение X, т.е. ORD(X) = X для X, принадлежащего любому шелому типу. Применение ORD(X) к логическому, символьному и перечисляемому типам дает положительное целое число в диапазоне от 0 до 1 (логический тип), от 0 до 155 (символьный), от 0 до 65535 (перечисляемый). Тип-диапазон сохраняет все свойства базового порядкового типа, поэтому результат применения к нему функции ORD(X) зависит от свойств этого типа.
К порядковым типам можно также применять функции:
PRED (X) - возвращает предыдущее значение порядкового типа (значение, которое соответствует порядковому номеру ORD(X)- 1), т.е.
ORD(PRED(X)) = ORD(X) - 1;
SUCC (X) - возвращает следующее значение порядкового типа, которое соответствует порядковому номеру ORD(X) +1, т.е.
ORD(SUCC(X)) = ORD(X) + 1.
Например, если в программе определена переменная
то функция PRED(C) вернет значение "4", а функция SUCC(C) - значение "6".
Если представить себе любой порядковый тип как упорядоченное множество значий, возрастающих слева направо и занимающих на числовой оси некоторый отрезок, то функция PRED(X) не определена для левого, a SUCC(X) - для правого конца этого отрезка.
Целые типы. Диапазон возможных значений целых типов зависит от их внутреннего представления, которое может занимать один, два или четыре байта. В табл. 4.1 приводится название целых типов, длина их внутреннего представления в байтах и диапазон возможных значений.
Таблица 4.1
При использовании процедур и функций с целочисленными параметрами следует руководствоваться «вложенностью» типов, т.е. везде, где может использоваться WORD, допускается использование BYTE (но не наоборот), в LONGINT «входит» INTEGER, который, в свою очередь, включает в себя SHORTINT.
Перечень процедур и функций, применимых к целочисленным типам, приведен в табл.4.2. Буквами b, s, w, i, l обозначены выражения соответственно типа BYTE, SHORTINT, WORD, INTEGER и LONGINT, x - выражение любого из этих типов; буквы vb, vs, vw, vi, vl, vx обозначают переменные соответствующих типов. В квадратных скобках указывается необязательный параметр.
Таблица 4.2
| Стандартные процедуры и функции, применимые к целым типам | ||
| Обращение | Тип результата | Действие |
| abs (x) | x | Возвращает модуль х |
| chr(b) | Char | Возвращает символ по его коду |
| dec (vx[, i]) | - | Уменьшает значение vx на i, а при отсутствии i -на 1 |
| inc(vx[, i]) | - | Увеличивает значение vx на i, а при отсутствии i - на 1 |
| Hi(i) | Byte | Возвращает старший байт аргумента |
| Hi(w) | To же | То же |
| Lo(i) | " | Возвращает младший байт аргумента |
| Lo (w) | " | То же |
| odd(l) | Boolean | Возвращает True, если аргумент - нечетное число |
| Random (w) | Как у параметра | Возвращает псевдослучайное число, равномерно распределенное в диапазоне 0...(w-l) |
| sgr (x) | X | Возвращает квадрат аргумента |
| swap (i) | Integer | Меняет местами байты в слове |
| swap (w) | Word |
При действиях с целыми числами тип результата будет соответствовать типу операндов, а если операнды относятся к различным целым типам, - типу того операнда, который имеет максимальную мощность (максимальный диапазон значений). Возможное переполнение результата никак не контролируется, что может привести к недоразумениям, например:
а:= 32767; {Максимально возможное значение типа INTEGER}
х:= а + 2; {Переполнение при вычислении этого выражения!}
у:= LongInt(а)+2; {Переполнения нет после приведения переменной к более мощному типу}
WriteLn(x:10:0, у:10:0)
В результате прогона программы получим
Логический тип . Значениями логического типа может быть одна из предварительно объявленных констант FALSE (ложь) или TRUE (истина). Для них справедливы правила:
False < True;
succ(False)= True;
pred(True) = False.
Поскольку логический тип относится к порядковым типам, его можно использовать в операторе счетного типа, например:
for 1:= False to True do ....
Символьный тип. Значением символьного типа является множество всех символов ПК. Каждому символу приписывается целое число в диапазоне 0...255. Это число служит кодом внутреннего представления символа, его возвращает функция ORD.
Для кодировки используется код ASCII (American Standard Code for Information Interchange - американский стандартный код для обмена информацией). Это 7-битный код, т.е. с его помощью можно закодировать лишь 128 символов в диапазоне от 0 до 127. В то же время в 8-битном байте, отведенном для хранения символа в Турбо Паскале, можно закодировать в два раза больше символов в диапазоне от 0 до 255. Первая половина символов ПК с кодами 0...127 соответствует стандарту ASCII (табл. 4.3). Вторая половина символов с кодами 128...255 не ограничена жесткими рамками стандарта и может меняться на ПК разных типов (в прил.2 приведены некоторые распространенные варианты кодировки этих символов).
Таблица 4.3
| Кодировка символов в соответствии со стандартом ASCII | |||||||
| Код | Символ | Код | Символ | Код | Символ | Код | Символ |
| NUL | BL | ® | " | ||||
| ЗОН | ! | A | a | ||||
| STX | " | В | b | ||||
| ЕТХ | # | С | с | ||||
| EOT | $ | D | d | ||||
| ENQ | % | E | e | ||||
| АСК | & | F | f | ||||
| BEL | " | G | g | ||||
| BS | ( | H | h | ||||
| НТ | ) | I | i | ||||
| LF | * | J | j | ||||
| VT | + | k | k | ||||
| FF | , | L | i | ||||
| CR | - | M | m | ||||
| SO | . | N | n | ||||
| SI | / | О | |||||
| DEL | p | P | |||||
| DC1 | Q | q | |||||
| DC2 | R | r | |||||
| DC3 | S | s | |||||
| DC4 | T | t | |||||
| NAK | U | u | |||||
| SYN | V | V | |||||
| ETB | w | w | |||||
| CAN | X | X | |||||
| EM | У | У | |||||
| SUB | : | z | z | ||||
| ESC | / | [ | { | ||||
| FS | < | \ | l | ||||
| GS | = | ] | } | ||||
| RS | > | ^ | ~ | ||||
| US | ? | - | n |
Символы с кодами 0...31 относятся к служебным кодам. Если эти коды используются в символьном тексте программы, они считаются пробелами. При использовании их в операциях ввода-вывода они могут иметь следующее самостоятельное значение:
| Символ | Код | Значение |
| BEL | Звонок; вывод на экран этого символа сопровождается звуковым сигналом | |
| НТ | Горизонтальная табуляция; при выводе на экран смещает курсор в позицию, кратную 8, плюс 1 (9, 17, 25 и т.д.) | |
| LF | Перевод строки; при выводе его на экран все последующие символы будут выводиться, начиная с той же позиции, но на следующей строке | |
| VT | Вертикальная табуляция; при выводе на экран заменяется специальным знаком | |
| FF | Прогон страницы; при выводе на принтер формирует страницу, при выводе на экран заменяется специальным знаком | |
| CR | Возврат каретки; вводится нажатием на клавишу Enter (при вводе с помощью READ или READLN означает команду «Ввод» и в буфер ввода не помещается; при выводе означает команду «Продолжить вывод с начала текущей строки») | |
| SUB | Конец файла; вводится с клавиатуры нажатием Ctrl-Z; при выводе заменяется специальным знаком | |
| SSC | Конец работы; вводится с клавиатуры нажатием на клавишу ESC; при выводе заменяется специальным знаком |
К типу CHAR применимы операции отношения, а также встроенные функции: СНR(В) - функция типа CHAR; преобразует выражение В типа BYTE в символ и возвращает его своим значением;
UPCASE(CH) - функция типа CHAR; возвращает прописную букву, если СН -строчная латинская буква, в противном случае возвращает сам символ СН, например:
cl:= UpCase("s") ;
c2:= UpCase ("Ф") ;
WriteLn(cl," ",c2)
Так как функция UPCASE не обрабатывает кириллицу, в результате прогона этой
программы на экран будет выдано
Перечисляемый тип . Перечисляемый тип задается перечислением тех значений, которые он может получать. Каждое значение именуется некоторым идентификатором и располагается в списке, обрамленном круглыми скобками, например:
colors =(red, white, blue);
Применение перечисляемых типов делает программы нагляднее. Если, например, в программе используются данные, связанные с месяцами года, то такой фрагмент программы:
ТипМесяц=(янв,фев,мар,апр,май,июн,июл,авг,сен,окт,ноя,дек);
месяц: ТипМесяц;
if месяц = авг then WriteLn("Хорошо бы поехать к морю!");
был бы, согласитесь, очень наглядным. Увы! В Турбо Паскале нельзя использовать кириллицу в идентификаторах, поэтому мы вынуждены писать так:
TypeMonth=(jan,feb,mar,may,jun,jul,aug,sep,oct,nov,dec);
month: TypeMonth;
if month = aug then WriteLn("Хорошо бы поехать к морю!");
Соответствие между значениями перечисляемого типа и порядковыми номерами этих значений устанавливается порядком перечисления: первое значение в списке получает порядковый номер 0, второе - 1 и т.д. Максимальная мощность перечисляемого типа составляет 65536 значений, поэтому фактически перечисляемый тип задает некоторое подмножество целого типа WORD и может рассматриваться как компактное объявление сразу группы целочисленных констант со значениями О, 1 и т.д.
Использование перечисляемых типов повышает надежность программ благодаря возможности контроля тех значений, которые получают соответствующие переменные. Пусть, например, заданы такие перечисляемые типы:
colors = (black, red, white);
ordenal= (one, two, three);
days = (monday, tuesday, Wednesday);
С точки зрения мощности и внутреннего представления все три типа эквивалентны:
ord(black)=0, ..., ord(white)=2,
ord(one)=0, ...ord(three)=2,
ord(monday)=0, ...ord(Wednesday)=2.
Однако, если определены переменные
col:colors; num:ordenal;
то допустимы операторы
num:= succ(two);
day:= pred(tuesday);
но недопустимы
Как уже упоминалось, между значениями перечисляемого типа и множеством целых чисел существует однозначное соответствие, задаваемое функцией ORD(X). В Турбо Паскале допускается и обратное преобразование: любое выражение типа WORD можно преобразовать в значение перечисляемого типа, если только значение целочисленного выражения не превышает мощное1™ перечисляемого типа. Такое преобразование достигается применением автоматически объявляемой функции с именем перечисляемого типа (см. п. 4.4). Например, для рассмотренного выше объявления типов эквивалентны следующие присваивания:
col:= colors(0);
Разумеется, присваивание
будет недопустимым.
Переменные любого перечисляемого типа можно объявлять без предварительного описания этого типа, например:
col: (black, white, green);
Тип-диапазон. Тип-диапазон есть подмножество своего базового типа, в качестве которого может выступать любой порядковый тип, кроме типа-диапазона. Тип-диапазон задается границами своих значений внутри базового типа:
<мин.знач.>..<макс.знач.>
Здесь <мин.знач. > - минимальное значение типа-диапазона;
<макс.знач.> - максимальное его значение.
Например:
digit = "0".."9";
Тип-диапазон необязательно описывать в разделе TYPE, а можно указывать непосредственно при объявлении переменной, например:
Ichr: "A".."Z";.
При определении типа-диапазона нужно руководствоваться следующими правилами:
- два символа «..» рассматриваются как один символ, поэтому между ними недопустимы пробелы;
- левая граница диапазона не должна превышать его правую границу. Тип-диапазон наследует все свойства своего базового типа, но с ограничениями, связанными с его меньшей мощностью. В частности, если определена переменная
days = (mo,tu,we,th,fr,sa,su);
WeekEnd = sa .. su;
то ORD(W) вернет значение 5 , в то время как PRED(W) приведет к ошибке.
В стандартную библиотеку Турбо Паскаля включены две функции, поддерживающие работу с типами-диапазонами:
НIGН(Х) - возвращает максимальное значение типа-диапазона, к которому принадлежит переменная X;
LOW(X) -возвращает минимальное значение типа-диапазона.
Следующая короткая программа выведет на экран строку
WriteLn(Low(k),"..",High(k))
Множество целых чисел бесконечно, но мы всегда можем подобрать такое число бит, чтобы представить любое целое число, возникающее при решении конкретной задачи. Множество действительных чисел не только бесконечно, но еще и непрерывно, поэтому, сколько бы мы не взяли бит, мы неизбежно столкнемся с числами, которые не имеют точного представления. Числа с плавающей запятой - один из возможных способов предсталения действительных чисел, который является компромиссом между точностью и диапазоном принимаемых значений.
Число с плавающей запятой состоит из набора отдельных разрядов, условно разделенных на знак, экспоненту порядок и мантиссу. Порядок и мантисса - целые числа, которые вместе со знаком дают представление числа с плавающей запятой в следующем виде:
Математически это записывается так:
(-1) s × M × B E , где s - знак, B-основание, E - порядок, а M - мантисса.
Основание определяет систему счисления разрядов. Математически доказано, что числа с плавающей запятой с базой B=2 (двоичное представление) наиболее устойчивы к ошибкам округления, поэтому на практике встречаются только базы 2 и, реже, 10. Для дальнейшего изложения будем всегда полагать B=2, и формула числа с плавающей запятой будет иметь вид:
(-1) s × M × 2 E
Что такое мантисса и порядок? Мантисса – это целое число фиксированной длины, которое представляет старшие разряды действительного числа. Допустим наша мантисса состоит из трех бит (|M|=3). Возьмем, например, число «5», которое в двоичной системе будет равно 101 2 . Старший бит соответствует 2 2 =4, средний (который у нас равен нулю) 2 1 =2, а младший 2 0 =1. Порядок – это степень базы (двойки) старшего разряда. В нашем случае E=2. Такие числа удобно записывать в так называемом «научном» стандартном виде, например «1.01e+2». Сразу видно, что мантисса состоит из трех знаков, а порядок равен двум.
Допустим мы хотим получить дробное число, используя те же 3 бита мантиссы. Мы можем это сделать, если возьмем, скажем, E=1. Тогда наше число будет равно
1.01e+1 = 1×2 1 +0×2 0 +1×2 -1 =2+0,5=2,5
Очевидно, что таким образом одно и то же число можно представить по-разному. Рассмотрим пример с длиной мантиссы |M|=4. Число «2» можно представить в следующем виде:
2 = 10 (в двоичной системе) = 1.000e+1 = 0.100e+2 = 0.010e+3.
Поэтому уже в самых первых машинах числа представляли в так называемом нормализованном виде , когда первый бит мантиссы всегда подразумевался равным единице.
Это экономит один бит (так как неявную единицу не нужно хранить в памяти) и обеспечивает уникальность представления числа. В нашем примере «2» имеет единственное представление («1.000e+1»), а мантисса хранится в памяти как «000», т.к. старшая единица подразумевается неявно. Но в нормализованном представлении чисел возникает новая проблема - в такой форме невозможно представить ноль.
Знание и понимание типов данных является неотъемлемой частью в программировании.
В этом уроке мы познакомимся с типами данных в языке программирования Turbo Pascal.
В языке Паскаль любые объекты, т.е. константы, переменные, значения функций или выражения, характеризуются своими типами. Тип определяет множество допустимых значений того или иного объекта, а также множество операций, которые к нему применимы. Кроме того, тип определяет формат внутреннего представления данных в памяти ЭВМ. В отношении типов объектов Паскаль является статическим языком. Это означает, что тип объекта, например, переменной, определяется при ее описании и не может быть изменен в дальнейшем.
Структура типов данных в языке Паскаль:
Простые типы языка
К простым типам относятся порядковые, вещественный, строковый и адресный (указатели) типы. Все они определяют тип только одного отдельного значения.
Порядковые типы характеризуются тем, что каждый из них имеет конечное число возможных значений, среди которых установлен линейный порядок. С каждым из значений можно сопоставить некоторое целое число - его порядковый номер.
Целочисленные типы - обозначают множества целых чисел в различных диапазонах. Имеется пять целочисленных типов, различающихся диапазоном допустимых значений и размером занимаемой оперативной памяти. Целочисленные типы обозначаются идентификаторами: Byte, ShortInt, Word, Integer, LongInt; их характеристики приведены в следующей таблице.
Значения целых типов записываются в программе привычным способом:
123 4 -3 +345 -699
Наличие десятичной точки в записи целого числа недопустимо. Будет ошибкой записать целое число следующим образом:
123.0
Кроме привычной десятичной формы записи допускается запись целых чисел в шестнадцатеричном формате, используя префикс $, например:
$01AF $FF $1A $F0A1B
Регистр букв A,B, ..., F значения не имеет.
Допустимые операции:
- - присваивание;
- - все арифметические: +, - ,*, /, div, mod (при обычном делении [/] результат вещественный!);
- - сравнение <, >, >=, <=, <>, =.
Допустимые операции:
- - присваивание;
- - сравнение: <, >, >=, <=, <>, =;
- - логические операции: NOT, OR, AND, XOR
"ж" "s" "." "*" " "-(пробел)
Для представления самого апострофа его изображение удваивается: """".
Если же символ не имеет графического представления, например, символ табуляции или символ возрата каретки, то можно воспользоваться эквивалентной формой записи символьного значения, состоящего из префикса # и ASCII-кода символа:
#9 #32 #13
Допустимые операции:
- - присваивание;
- - сравнение: <, >, >=, <=, <>, =. Большим считается тот символ, который имеет больший ASCII-номер.
"Это текстовая строка" "This is a string"
"1234" - это тоже строка, не число
"" - пустая строка
Допустимые операции:
- - присваивание;
- - сложение (конкатенация, слияние); например, S:= "Зима"+" "+"пришла!";
- - сравнение: <, >, >=, <=, <>, =. Строки считаются равными, если имеют одинаковую длину и посимвольно эквивалентны.
Тип Comp
хотя и относится к вещественным типам, на самом деле является целочисленным с очень огромным диапазоном значений.
Значения вещественных типов могут записываться в программе несколькими способами:
1.456 0.000134 -120.0 65432
+345 0 -45 127E+12
-1.5E-5 -1.6E+12 5E4 0.002E-6
Будет ошибкой записать вещественное число следующим образом:
.5 (правильно 0.5)
12. (правильно 12.0 или 12)
Вещественное число в форме с плавающей точкой (экспоненциальная форма) записывается как пара
<мантисса> Е <порядок>
Такое обозначение понимается как «мантисса, умноженная на десять в степени, равном порядку». Например,
-1.6E+12 сответствует -1.6·1012
Допустимые операции:
- присваивание;
- все арифметические: +, - ,*, /;
- сравнение: <, >, >=, <=, <>, =.
При сравнении вещественных чисел следует помнить, что в следствие неточности их представления в памяти компьютера (в виду неизбежности округления) стоит избегать попыток определения строгого равенства двух вещественных значений. Есть шанс, что равенство окажется ложным, даже если на самом деле это не так.
Диапазон или (ограниченный тип) не является предопределенным типом языка (таким как, например, Integer или Char) и поэтому ему не соответствует никакой идентификатор. Этот тип является вводимм пользователем. Используя его мы можем определить новый тип, который будет содержать значения только из ограниченного поддиапазона некоего базового типа. Базовым типом может быть только целочисленный тип, тип Char (символьный) и любой из введенных программистом перечислимых типов.
Для введения нового типа - диапазона - нужно в блоке описания типов TYPE указать имя вводимого типа и границы диапазона через специальный символ диапазона ".." (две точки подряд):
TYPE
Century = 1..21; { поддиапазон цилочисленного типа }
CapsLetters = "А".."Я"; { поддиапазон из типа Char }
Структурированные типы языка
К структурированным типам относятся: массив, запись, множество, файл и др. Все они определяют тип (или типы) некоторой структуры данных.
Массив - упорядоченная структура однотипных данных, хранящая их последовательно. Массив обязательно имеет размеры, определяющие сколько элементов хранится в структуре. До любого элемента в массиве можно добраться по его индексу.
Тип массив определяется конструкцией:
Array [диапазон] of ТипЭлементов;
Диапазон в квадратных скобках указывает значения индексов первого и последнего элемента в стурктуре. Примеры объявления типов и переменных:
TYPE
Vector = array of Real;
VAR
V1: Vector;
V2: array of Byte;
Здесь переменная V1 определяется с использованием описанного выше типа Vector; тип переменной V2 конструируется непостредственно на этапе ее описания.
В качетве типа элементов массива можно также указаывать массив, образуя тем самым многомерные структуры. Например, описание двумерной структуры (матрицы) будет выгдядеть следующим образом:
VAR
M1: array of array of Byte;
Это же самое можно записать гораздо компактнее:
VAR
M2: array of Byte;
Зжесь массивы M1 и M2 имеют совершенно одинаковую структуру - квадратной матрицы размером 3x3.
Доступ к элемента массива осуществляется путем указания его индекса, например:
Writeln(V1); {вывод на экран первого элемента массива V1}
readln(M2);{ввод третьего элемента второй строки матрицы М2}
На этом урок по типам данных закончен, текст был почти полностью скопипастен (ссылочка будет ниже), т.к. я не вижу смысла этот материал рассказывать своими словами. Если хоть немного понятна разница между типами данных, то это уже хорошо.
3.2. Простые типы данныхв Turbo Pascal 7
Простой тип определяет упорядоченное множество значений параметра. В Turbo Pascal имеются следующие группы простых типов:
- целые типы;
- логический тип;
- символьный тип;
- перечисляемый тип;
- тип-диапазон;
- вещественные типы.
Все простые типы, за исключением вещественных, называются порядковыми типами. Для величин порядковых типов определены стандартные процедуры и функции: Dec, Inc, Ord, Pred, Succ (см. п. 13.1).
3.2.1. Целые типы
В отличие от языка Паскаль, где определен единственный целый тип Integer, в Turbo Pascal имеется пять стандартных типов целых чисел: Shortint, Integer, Longint, Byte, Word. Характеристики этих типов приведены в табл. 2.
Таблица 2. Целые типы данных
| Тип | Диапазон | Формат | Размер в байтах |
| Shortint | -128 .. 127 | Знаковый | 1 |
| Integer | -32768 .. 32767 | Знаковый | 2 |
| Longint | -2147483648 .. 2147483647 | Знаковый | 4 |
| Byte | 0 .. 255 | Беззнаковый | 1 |
| Word | 0 .. 65535 | Беззнаковый | 2 |
3.2.2. Логический тип
Стандартный логический тип Boolean (размер - 1 байт) представляет собой тип данных, любой элемент которого может принимать лишь два значения: True и False. При этом справедливы следующие условия:
False
Ord (False) = 0
Ord (True) = 1
Succ (False) = True
Pred (True) = False
В Turbo Pascal 7.0 добавлено еще три логических типа ByteBool (размер - 1 байт), WordBool (размер - 2 байта) и LongBool (размер - 4 байта). Они введены для унификации с другими языками программирования и со средой Windows. Отличие их от стандартного типа Boolean заключается в фактической величине параметра этого типа, соответствующей значению True. Для вех логических типов значению False соответствует число 0, записанное в соответствующее количество байтов. Значению же True для типа Boolean соответствует число 1, записанное в его байт, а для других типов значению True соответствует любое число, отличное от нуля (хотя функция Ord в этом случае дает значение 1).
3.2.3. Символьный тип
Стандартный символьный тип Char определяет полный набор ASCII-символов. Функция Ord от величины типа Char дает код соответствующего символа. Сравниваются величины символьного типа по своим кодам.
3.2.4. Перечисляемый тип
Перечисляемый тип не является стандартным и определяется набором идентификаторов, с которыми могут совпадать значения параметра. Список идентификаторов указывается в круглых скобках, идентификаторы разделяются запятыми:
type= ();)
Важно, в каком порядке перечислены идентификаторы при определении типа, т. к. первому идентификатору присваивается порядковый номер 0, второму - 1 и т. д. Один и тот же идентификатор можно использовать в определении только одного перечисляемого типа. Функция Ord от величины перечисляемого типа дает порядковый номер ее значения.
Пример. Перечисляемый тип.
type Operat = (Plus, Minus, Mult, Divide);
Логический тип является частным случаем перечисляемого типа:
type Boolean = (False, True);
3.2.5. Тип-диапазон
В любом порядковом типе можно выделить подмножество значений, определяемое минимальным и максимальным значением, в которое входят все значения исходного типа, находящиеся в этих границах, включая и сами границы. Такое подмножество определяет тип-диапазон. Тип-диапазон задается указанием минимального и максимального значений, разделенных двумя точками:
type = . . ;
Минимальное значение при определении такого типа не должно быть больше максимального.
Пример. Определение типов-диапазонов.
type
Dozen = 1..12; {числа от 1 до 12}
AddSub = Plus..Minus; {операции сложения и вычитания}
3.2.6. Вещественные типы
В отличие от стандарта языка Паскаль, где определен только один вещественный тип Real, в Turbo Pascal имеется пять стандартных вещественных типов: Real, Single, Double, Extended, Соmр. Характеристики этих типов см. в табл. 3. Таблица 3. Вещественные типы данных
| Тип | Диапазон | Число значащих цифр | Размер в байтах |
| Real | 2.9*10-39..1.7*1038 | 11-12 | 6 |
| Single | 1.5*10-45..3.4*1038 | 7-8 | 4 |
| Double | 5.0*10-324.-1.7*10308 | 15-16 | 8 |
| Extended | 3.4*10-4932..1.1*104932 | 19-20 | 10 |
| Comp | -263+1..263-1 | 19-20 | 8 |
Тип Comp фактически является типом целых чисел увеличенного диапазона, однако порядковым не считается.
Типы Single, Double, Extended и Comp можно использовать в программах только при наличии арифметического сопроцессора или при включенном эмуляторе сопроцессора (см. пп. 17.5.8 и 17.7.1).