Знание и понимание типов данных является неотъемлемой частью в программировании.
В этом уроке мы познакомимся с типами данных в языке программирования Turbo Pascal.
В языке Паскаль любые объекты, т.е. константы, переменные, значения функций или выражения, характеризуются своими типами. Тип определяет множество допустимых значений того или иного объекта, а также множество операций, которые к нему применимы. Кроме того, тип определяет формат внутреннего представления данных в памяти ЭВМ. В отношении типов объектов Паскаль является статическим языком. Это означает, что тип объекта, например, переменной, определяется при ее описании и не может быть изменен в дальнейшем.
Структура типов данных в языке Паскаль:
Простые типы языка
К простым типам относятся порядковые, вещественный, строковый и адресный (указатели) типы. Все они определяют тип только одного отдельного значения.
Порядковые типы характеризуются тем, что каждый из них имеет конечное число возможных значений, среди которых установлен линейный порядок. С каждым из значений можно сопоставить некоторое целое число - его порядковый номер.
Целочисленные типы - обозначают множества целых чисел в различных диапазонах. Имеется пять целочисленных типов, различающихся диапазоном допустимых значений и размером занимаемой оперативной памяти. Целочисленные типы обозначаются идентификаторами: Byte, ShortInt, Word, Integer, LongInt; их характеристики приведены в следующей таблице.
Значения целых типов записываются в программе привычным способом:
123 4 -3 +345 -699
Наличие десятичной точки в записи целого числа недопустимо. Будет ошибкой записать целое число следующим образом:
123.0
Кроме привычной десятичной формы записи допускается запись целых чисел в шестнадцатеричном формате, используя префикс $, например:
$01AF $FF $1A $F0A1B
Регистр букв A,B, ..., F значения не имеет.
Допустимые операции:
Тип 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}
На этом урок по типам данных закончен, текст был почти полностью скопипастен (ссылочка будет ниже), т.к. я не вижу смысла этот материал рассказывать своими словами. Если хоть немного понятна разница между типами данных, то это уже хорошо.
Простой тип определяет упорядоченное множество значений параметра. В Turbo Pascal имеются следующие группы простых типов:
Все простые типы, за исключением вещественных, называются порядковыми типами. Для величин порядковых типов определены стандартные процедуры и функции: Dec, Inc, Ord, Pred, Succ (см. п. 13.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 |
Стандартный логический тип 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).
Стандартный символьный тип Char определяет полный набор ASCII-символов. Функция Ord от величины типа Char дает код соответствующего символа. Сравниваются величины символьного типа по своим кодам.
Перечисляемый тип не является стандартным и определяется набором идентификаторов, с которыми могут совпадать значения параметра. Список идентификаторов указывается в круглых скобках, идентификаторы разделяются запятыми:
typeВажно, в каком порядке перечислены идентификаторы при определении типа, т. к. первому идентификатору присваивается порядковый номер 0, второму - 1 и т. д. Один и тот же идентификатор можно использовать в определении только одного перечисляемого типа. Функция Ord от величины перечисляемого типа дает порядковый номер ее значения.
Пример. Перечисляемый тип.
type Operat = (Plus, Minus, Mult, Divide);
Логический тип является частным случаем перечисляемого типа:
type Boolean = (False, True);
В любом порядковом типе можно выделить подмножество значений, определяемое минимальным и максимальным значением, в которое входят все значения исходного типа, находящиеся в этих границах, включая и сами границы. Такое подмножество определяет тип-диапазон. Тип-диапазон задается указанием минимального и максимального значений, разделенных двумя точками:
type = . . ;
Минимальное значение при определении такого типа не должно быть больше максимального.
Пример. Определение типов-диапазонов.
type
Dozen = 1..12; {числа от 1 до 12}
AddSub = Plus..Minus; {операции сложения и вычитания}
В отличие от стандарта языка Паскаль, где определен только один вещественный тип 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).
Наиболее распространенные в математике числовые типы – это целые числа, которые представляют бесконечное множество дискретных значений, и действительные числа, которые представляют неограниченный континуум значений.
В пределах одного языка могут быть реализованы различные подмножества множества целых чисел. Диапазон возможных значений целых числовых типов зависит от их внутреннего представления, которое может занимать один, два или четыре байта. Так, в Паскале 7.0 используются следующие целые числовые типы данных:
С целыми числовыми типами данных Паскаля можно выполнять следующие операции:
При действиях с целыми числовыми типами данных тип результата будет соответствовать типу операндов, а если операнды относятся к различным целым типам, - типу того операнда, который имеет максимальную мощность (максимальный диапазон значений). Возможное переполнение результата никак не контролируется (это важно!) , что может привести к ошибкам.
Особое внимание следует уделить операции деления целых числовых типов данных. В Паскале допускается две операции деления, которые соответственно обозначаются "/" и div . Нужно знать, что результатом деления "/" является не целое, а вещественное число (это справедливо, даже если вы делите 8 на 2, т.е. 8/2=4.0). Деление div – это целочисленное деление , т.е. тип результата целый.
К вещественному числовому типу данных относится подмножество вещественных чисел, которые могут быть представлены в так называемом формате с плавающей запятой и фиксированным числом цифр. С плавающей точкой каждый числовой тип данных представляется в виде двух групп цифр. Первая группа цифр называется мантиссой, вторая – порядком. В общем виде числовой тип данных в форме с плавающей точкой может быть представлено так: X= {+|-}MP {+ | -} r , где M – мантисса числа; r – порядок числа (r – целое число); P – основание системы счисления. Например, для десятичного основания представление 2Е-1 (здесь Е – основание десятичной системы счисления) будет иметь вид: 2*10 -1 =0.2, а представление 1.234Е5 будет соответствовать: 1.234*10 5 =123400.0.
В Паскале используются следующие типы вещественных чисел, которые определяют произвольное число лишь с некоторой конечной точностью, зависящей от внутреннего формата вещественного числа:
При описании вещественной переменной типа real в памяти компьютера будет создана переменная размерностью 4 байта. При этом 3 байта будут отданы под мантиссу, а один – под порядок.
Над действительными числовыми типами данных можно выполнять следующие операции:
Как видим, Паскаль характеризуется богатой гаммой вещественных типов, однако доступ к числовым типам данных single , double и extended возможен только при особых режимах компиляции. Эти числовые типы данных рассчитаны на аппаратную поддержку арифметики с плавающей точкой и для их эффективного использования в состав ПК должен входить математический сопроцессор.
Особое положение в Паскале занимает числовой тип данных comp , который трактуется как вещественное число без экспоненциальной и дробной частей. Фактически, comp – это «большое» целое число со знаком, сохраняющее 19..20 значащих десятичных цифр. В то же время числовой тип данных comp в выражениях полностью совместим с другими вещественными типами: над ним определены все вещественные операции, он может использоваться как аргумент математических функций и т.д.
В Паскале почти невозможны неявные (автоматические) преобразования числовых типов данных. Исключение сделано только для типа integer , который разрешается использовать в выражениях типа real . Например, если переменные описаны следующим образом:
Var X: integer; Y: real;
То оператор
будет синтаксически правильным, хотя справа от знака присваивания стоит целочисленное выражение, а слева – вещественная переменная, компилятор сделает преобразование числовых типов данных автоматически. Обратное же преобразование автоматически типа real в тип integer в Паскале невозможно. Вспомним, какое количество байт выделяется под переменные типа integer и real : под целочисленный тип данных integer выделяется 2 байта памяти, а под real – 6 байта. Для преобразования real в integer имеются две встроенные функции: round (x) округляет вещественное x до ближайшего целого, trunc (x) усекает вещественное число путем отбрасывания дробной части.
Любые данные (константы, переменные, значения функций или выражения) в Турбо Паскале характеризуются своими типами. Тип определяет множество допустимых значений, которые может иметь тот или иной объект, а также множество допустимых операций, которые применимы к нему. Тип также определяет формат внутреннего представления данных в памяти компьютера.
Существуют следующие типы данных в Турбо-Паскале.
1) Простые типы:
– вещественные;
– символьные;
– булевские (логические);
– перечисляемые;
– ограниченные (диапазонные).
2) Составные (структурированные) типы:
– регулярные (массивы);
– комбинированные (записи);
– файловые;
– множественные;
– строковые;
– объекты.
3) Ссылочные типы (типизированные и нетипизированные указатели).
4) Процедурные типы.
В Турбо Паскале предусмотрен механизм создания новых типов данных, благодаря чему общее количество типов, используемых в программе может быть сколь угодно большим.
Целый тип . Значениями целого типа являются элементы подмножества целых чисел. В Турбо-Паскале существует пять целых типов. Их названия, диапазон значений, длина представления в байтах приведены в табл. 6.
Таблица 6
Целые типы данных
Целые переменные описываются с использованием указанных выше зарезервированных слов:
i, j, k: integer;
Данные целого типа хранятся в памяти точно. Например, переменные типа integer занимают в памяти 2 байта (16 бит), которые распределяются следующим образом: 1 бит отводится для хранения знака числа (0, если число положительное, и 1, если число отрицательное) и 15 бит для хранения числа в двоичной системе счисления. Максимальное десятичное число, которое можно записать как двоичное в 15 бит – это 32767.
При использовании процедур и функций с целочисленными параметрами следует руководствоваться «вложенностью» типов, т.е. везде где используется word, допускается использование byte (но не наоборот), в longint «входит» integer, который, в свою очередь, включает в себя shortint.
Для целого типа определены пять основных операций, результатом которых также является целое число: +, -,*, div, mod (сложение, вычитание, умножение, целочисленное деление и остаток от целочисленного деления). В арифметических выражениях операции *, div, mod имеют более высокий приоритет по сравнению с операциями +, -. Примеры записи выражений:
Перечень процедур и функций, применимых к целочисленным типам, приведен в табл. 7. Буквами b, s, w, i, l обозначены выражения соответственно типа byte, shortint, word, integer, и longint; x – выражение любого из этих типов; идентификаторы vb, vs, vw, vi, vl, vx обозначают переменные соответствующих типов. В квадратных скобках указывается необязательный параметр.
Таблица 7
Стандартные процедуры и функции, применимые к целым типам
| Обращение | Тип результата | Действие |
| Abs (x) | x | Возвращает модуль x |
| Chr (b) | Char | Возвращает символ по его коду |
| Dec (vx [, i]) | - | Уменьшает значение vx на i, а при отсутствии i – на 1 |
| Inc (vx [, i]) | - | Увеличивает значение vx на i, а при отсутствии i – на 1 |
| Hi (i) | Byte | Возвращает старший байт аргумента |
| Hi (i) | Byte | То же |
| Lo (i) | Byte | Возвращает младший байт аргумента |
| Lo (w) | Byte | То же |
| Odd (l) | Byte | Возвращает true, если аргумент – нечетное число |
| Random (w) | Как у параметра | Возвращает псевдослучайное число, равномерно распределенное в диапазоне 0…(w-1) |
| Sqr (x) | x | Возвращает квадрат аргумента |
| Swap (i) | Integer | |
| Swap (w) | Word | Меняет местами байты в слове |
| Succ(x) | Как у параметра | Возвращает следующее целое значение, т.е. x+1 |
| Pred(x) | Как у параметра | Возвращает предшествующее целое значение, т.е. x-1 |
При действиях с целыми числами тип результата будет соответствовать типу операнда, а если операнды относятся к различным целым типам, - типу того операнда, который имеет максимальный диапазон значений. Возможное переполнение результата не контролируется, что может привести к ошибкам в программе.
Вещественный тип. Значения вещественных типов определяют произвольное число с некоторой конечной точностью, зависящей от внутреннего формата вещественного числа. В Турбо-Паскале существуют пять вещественных типов (табл. 8).
Таблица 8
Вещественные типы данных
Вещественные переменные описываются с использованием указанных выше зарезервированных слов:
Вещественное число в памяти компьютера состоит из 3-х частей:
Знаковый разряд числа;
Экспоненциальная часть;
Мантисса числа.
Мантисса имеет длину от 23 (Single) до 63 (Extended) двоичных разрядов, что и обеспечивает точность 7-8 для Single и 19-20 для Extended десятичных цифр. Десятичная точка (запятая) подразумевается перед левым (старшим) разрядом мантиссы, но при действиях с числом ее положение сдвигается влево или вправо в соответствии с двоичным порядком числа, хранящимся в экспоненциальной части, поэтому действия над вещественными числами называют арифметикой с плавающей точкой (запятой).
Доступ к типам Single, Double и Extended осуществляется только при особых режимах компиляции. Для включения данных режимов следует выбрать пункт меню Options , Compiler… и включить опцию 8087/80287 в группе Numeric processing .
Особое положение в Турбо Паскаль занимает тип Comp, который трактуется как вещественное число без экспоненциальной и дробной частей. Фактически, Comp – Это большое целое число со знаком, сохраняющее 19…20 значащих десятичных цифр. В то же время в выражениях Comp полностью совместим с любыми другими вещественными типами: над ним определены все вещественные операции, он может использоваться как аргумент математических операций и т.д.
Вещественные числа задаются в десятичной системе счисления в одной из двух форм .
В форме с фиксированной точкой запись состоит из целой и дробной частей, отделенных друг от друга точкой, например:
0.087 4.0 23.5 0.6
В форме с плавающей точкой запись содержит букву Е, которая означает «умножить на десять в степени», причем степень является целым числом, например:
7Е3 6.9Е-8 0.98Е-02 45Е+04
Над объектами вещественного типа определены следующие операции: +, -, *, /.
Операции «*» и «/» имеют более высокий приоритет по сравнению с операциями «+» и «-».
Если хотя бы один операнд вещественный, то операции +, -, *, / приводят к вещественному результату. Операция деления / приводит к вещественному результату и в случае двух целых операндов, например: 9/3 = 3.0.
Для работы с вещественными данными могут использоваться стандартные математические функции, представленные в табл. 9. Результат работы этих функций также является вещественным.
Таблица 9
Математические функции, работающие с вещественными данными
Переменные и константы типа REAL запрещается использовать:
– в функциях pred(x), succ(x), ord(x);
– в качестве индексов массивов;
– в качестве меток в операторах передачи управления;
– в качестве управляющих переменных (параметров цикла).
Для перевода вещественного числа в целое можно воспользоваться функциями:
trunc(x) – целая часть х (х – вещественное);
round(x) – округление до ближайшего целого (х- вещественное).
Символьный тип. Символьные переменные описываются с помощью зарезервированного слова char:
Значения этого типа выбираются из упорядоченного множества символов (из множества ASCII), состоящего из 256 символов. Каждому символу приписывается целое число из диапазона 0..255. Например, прописные буквы латинского алфавита A..Z имеют коды 65..90, а строчные буквы – коды 97..122.
Значением переменной символьного типа является один символ, заключенный в апострофы, например:
‘F’ ‘8’ ‘*’
Символьные переменные можно сравнивать между собой, при этом сравниваются коды символов.
Существуют функции, которые устанавливают соответствие между символом и его кодом:
ord(с) – выдает номер символа с;
chr(i) – выдает символ с номером i.
Эти функции являются обратными по отношению друг к другу.
Логический тип . Логические переменные описываются с помощью зарезервированного слова boolean:
p1, p2: boolean;
Переменные логического типа принимают два значения: true (истина), false (ложь).
Эти величины упорядочены следующим образом: false < true. false имеет порядковый номер 0, true имеет порядковый номер 1.
Переменным логического типа можно либо присвоить значение непосредственно, либо использовать логическое выражение. Например,
a, d, g, b: boolean;
Операции отношения (<, <=, >, >=, =, <>), применяемые к целым, вещественным и символьным переменным, дают логический результат.
Логические операции над операндами логического типа также дают логический результат (операции приведены в порядке убывания приоритета) (подробнее см. табл. 3 и 5):
not – отрицание (операция НЕ);
and – логическое умножение (операция И);
or – логическое сложение (операция ИЛИ);
xor – исключающее ИЛИ.
Выражение (not a) имеет значение, противоположное значению а.
Выражение (a and b) дает значение true, если только и а и b имеют значение true, в остальных случаях значение этого выражения есть false.
Выражение (a or b) дает значение false, если только и а и b имеют значение false, во всех остальных случаях результат true.
Перечисляемый тип . Нестандартный перечисляемый тип задается перечислением в виде имен значений, которые может принимать переменная. Каждое значение именуется некоторым идентификатором и располагается в списке, обрамленном круглыми скобками. Общий вид описания перечисляемого типа:
x = (w1, w2, …, wn);
где х – имя типа, w1, w2,…, wn – значения, которые может принимать переменная типа х.
Эти значения являются упорядоченными w1 К аргументу w перечисляемого типа применимы следующие стандартные функции: succ(w), pred(w), ord(w). color=(red, black, yellow, green) ww=(left, up, right, down); f: array of ww; succ(d) = yellow; Переменные а и в имеют тип w. они могут принимать одно из трех значений, причем on К величинам перечисляемого типа применимы операции отношения: =, <>, <=, >=, <, >. Допускается указывать константы перечисляемого типа непосредственно в разделе var
без использования раздела type
, например c,d: (red, black, yellow, green); Диапазонный (ограниченный) тип
. При определении ограниченного типа указывают начальное и конечное значения, которые может принимать переменная диапазонного типа. Значения разделяют двумя точками. Описание ограниченного типа имеет вид Здесь а – имя типа, min, max – константы. При задании ограниченного типа должны выполняться следующие правила: – обе граничные константы min и max должны быть одинакового типа; – ограниченный тип создается из данных базового типа, в качестве которого можно выбрать целый, символьный или перечисляемый типы. Например: col = red.. yellow; letter = ‘a’..’f’; – переменные ограниченного типа можно описать в разделе var, не обращаясь к разделу type: – ограниченный тип наследует все свойства базового типа, из которого он создается; – граница min всегда должна быть меньше границы max. Массивы
. Массив – это сложный тип, представляющий собой структуру, состоящую из фиксированного числа компонент одного типа. Тип компонента называется базовым типом. Все компоненты массива можно легко упорядочить и обеспечить доступ к любому из них простым указанием его порядкового номера. Описание массива в разделе var
имеет вид: a: array
of
t2; где а – имя массива, array
, of
– служебные слова (означают «массив из…»), t1 – тип индексов; t2 – тип компонент (базовый тип). Количество индексов определяет размерность массива. Индексы могут быть целого (кроме longint), символьного, логического, перечисляемого и диапазонного типов. Индексы разделяются запятыми и заключаются в квадратные скобки. Компоненты массива могут быть любого типа, кроме файлового. Пример 1.
Рассмотрим одномерный массив С, значениями которого являются пять вещественных чисел: 4.6 6.23 12 -4.8 0.7 Описание этого массива выглядит следующим образом: c: array of real; По конкретному значению индекса можно выбрать определенную компоненту массива (например, C означает третий элемент массива С, т.е. число 12). Пример 2.
Рассмотрим двумерный массив В (матрицу В), значением которого является таблица из целых чисел: Описание данного массива выглядит следующим образом: b of integer; Здесь b – имя массива, первый индекс является номером строки и принимает значения от 1 до 2, второй – номер столбца и принимает значения от 1 до 4. По конкретным значениям индексов можно выбрать определенную компоненту массива (например, b означает элемент таблицы, стоящий в первой строке и третьем столбце, т.е. число -4). Индексы могут быть произвольными выражениями, соответствующими типу индексов из описания массива: a: array of real; a[(i+1)*2] := 24; Набор операций над элементами массива полностью определяется типом этих элементов. Строковый тип
. Строковый тип – множество символьных цепочек произвольной длины (от нуля до заданного числа). Переменные строкового типа описываются с помощью служебного слова string
: b: string
; Особенности: – значение строковой переменной может быть введено с помощью клавиатуры, присвоено в операторе присваивания, прочитано из файла. При этом длина введенной строки может быть любой (меньше указанного размера, равна размеру или больше, в последнем случае, лишние символы отбрасываются); a:= ‘Результаты’; – допускается использовать операцию конкатенации в операторе присваивания, так как строки могут динамически изменять свою длину: а:= a + ‘ вычислений’; – максимальная длина строковой переменной 255 символов, это указание длины может быть опущено: a: string
; a1: string
; Переменные а и а1 – одинаковы (эквивалентное описание). – память под переменные строкового типа отводится по максимуму, но используется лишь часть памяти, реально занятая символами строки в данный момент. Для описания строковой переменной длины n используется n+1 байт памяти: n байтов - для хранения символов строки, n+1 –й байт – для хранения текущей длины. – над значениями строковых типов определены операции сравнения: < <= > >= = <>. Короткая строка всегда меньше длинной. Если строки имеют одинаковую длину, то сравниваются коды символов. – возможен доступ к отдельным элементам строки аналогично доступу к элементам массива: а, a. В квадратных скобках указывается номер элемента строки. Процедуры и функции, ориентированные на работу со строками. concat (s1, s2,…)
– функция слияния строк, s1, s2,
…- строки, число строк может быть произвольным. Результатом работы функции является строка. Если длина результирующей строки больше 255 символов, то строка усекается до 255 символов. copy (s, index, count)
– функция выделения строки из исходной строки s
длиной count
символов, начиная с символа под номером index
. delete (s, index, count)
– процедура удаления из строки s подстроки длиной count
символов, начиная с символа с номером index
. insert (s1, s2, index)
– процедура вставки строки s1
в строку s2
, начиная с символа с номером index
. length(s)
– функция определения текущей длины строки, возвращает число равное текущей длине строки. pos(s1, s2)
– функция поиска в строке s2
подстроки s1
. выдает номер позиции первого символа подстроки s1
в строке s2
(или 0, если этой строки нет). val (st, x, code)
– процедура преобразования строки s в целую или вещественную переменную x
. Параметр code
содержит 0, если преобразование прошло успешно (и в x
помещается результат преобразования), или номер позиции строки, где обнаружен ошибочный символ (в таком случае значение x
не меняется). Совместимость и преобразование типов
. Турбо Паскаль – это типизированный язык. Он построен на основе строго соблюдения концепции типов, в соответствии с которой все применяемые в языке операции определены только над операндами совместимых типов. Два типа считаются совместимыми, если: – оба они есть один и тот же тип; – оба вещественные; – оба целые; – один тип есть тип-диапазон второго типа; – оба являются типами диапазонами одного и того же базового типа; – оба являются множествами, составленными из элементов одного и того же базового типа; – оба являются упакованными строками (определены с предшествующим словом packed) одинаковой максимальной длины; – один есть тип-строка, а другой – тип-строка или символ; – один тип есть любой указатель, а другой – указатель на родственный ему объект; – оба есть процедурные типы с одинаковым типом результата (для типа-функции), количеством параметров и типом взаимно соответствующих параметров. Совместимость типов приобретает особое значение в операторах присваивания. Пусть t1 – тип переменной, а t2 – тип выражения, то есть выполняется присваивание t1:=t2. Это присваивание возможно в следующих случаях: – t1 и t2 есть один и тот же тип, и этот тип не относится к файлам, массивам файлов, записям, содержащим поля-файлы, или массивам таких записей; – t1 и t2 являются совместимыми порядковыми типами, и значение t2 лежит в диапазоне возможных значений t1; – t1 и t2 являются вещественными типами, и значение t2 лежит в диапазоне возможных значений t1; – t1 – вещественный тип и t2 – целый тип; – t1 – строка и t2 – символ; – t1 – строка и t2 – упакованная строка; – t1 и t2 – совместимые упакованные строки; – t1 и t2 – совместимые множества и все члены t2 принадлежат множеству возможных значений t1; – t1 и t2 – совместимые указатели; – t1 и t2 – совместимые процедурные типы; – t1 – объект и t2 – его потомок. В программе данные одного типа могут преобразовываться в данные другого типа. Такое преобразование может быть явным или неявным. При явном преобразовании типов вызываются специальные функции преобразования, аргументы которых принадлежат одному типу, а значения – другому. Пример – уже рассмотренные функции ord, trunc, round, chr. Неявное преобразование возможно только в двух случаях: – в выражениях, составленных из вещественных и целочисленных переменных, последние автоматически преобразуются к вещественному типу, и все выражение в целом приобретает вещественный тип; – одна и та же область памяти попеременно трактуется как содержащая данные то одного, то другого типа (совмещение в памяти данных разного типа). Любая программа, написанная на любом языке программирования, по большому счету предназначена для обработки данных. В качестве данных могут выступать числа, тексты, графика, звук и др. Одни данные являются исходными, другие – результатом, который получается путем обработки исходных данных программой. Данные хранятся в памяти компьютера. Программа обращается к ним с помощью имен переменных, связанных с участками памяти, где хранятся данные. Переменные описываются до основного кода программы. Здесь указываются имена переменных и тип хранимых в них данных. В языке программирования Паскаль достаточно много типов данных. Кроме того, сам пользователь может определять свои типы. Тип переменной определяет, какие данные можно хранить в связанной с ней ячейке памяти. Переменные типа integer
могут быть связаны только с целыми значениями обычно в диапазоне от -32768 до 32767. В Pascal есть другие целочисленные типы (byte, longint). Переменные типа real
хранят вещественные (дробные) числа. Переменная булевского
(логического) типа (boolean) может принимать только два значения - true
(1, правда) или false
(0, ложь). Символьный тип (char)
может принимать значения из определенной упорядоченной последовательности символов. Интервальный тип
определяется пользователем и формируется только из порядковых типов. Представляет собой подмножество значений в конкретном диапазоне. Можно создать собственный тип данных простым перечислением значений, которые может принимать переменная данного типа. Это так называемый перечисляемый тип данных
. Все вышеописанное – это простые типы данных. Но бывают и сложные, структурированные, которые базируются на простых типах. Массив
– это структура, занимающая в памяти единую область и состоящая из фиксированного числа компонентов одного типа. Строки
представляет собой последовательность символов. Причем количество этих символов не может быть больше 255 включительно. Такое ограничение является характерной чертой Pascal. Запись
– это структура, состоящая из фиксированного числа компонент, называемых полями. В разных полях записи данные могут иметь разный тип. Множества
представляют собой совокупность любого числа элементов, но одного и того же перечисляемого типа. Файлы
для Pascal представляют собой последовательности однотипных данных, которые хранятся на устройствах внешней памяти (например, жестком диске). Понятие такого типа данных как указатель
связано с динамическим хранением данных в памяти компьютера. Часто использование динамических типов данных является более эффективным в программировании, чем статических.
