Мы рассматриваем алгоритм как вычислительную процедуру, на вход которой подается некоторая величина или набор величин, и результатом выполнения которой является выходная величина или набор величин. Эти величины принято называть данными. Данные обладают типом. Например, на вход алгоритму Евклида поступают положительные целые числа. Мы говорим, что входные данные имеют тип «натуральные числа». На вход алгоритму поиска поступают символы некоторого алфавита. Мы говорим, что входные данные имеют символьный тип. Если алгоритм поиска должен определить только наличие какого-нибудь символа, то на выходе такого алгоритма будет значение «да» или «нет» (значение истинности), и мы говорим о логическом типе выходных данных.
На практике выделяют типы данных по признаку одинаковых действий, связанных с ними. Чаще всего такие типы сложились естественно. Наиболее часто употребляемые типы данных обычно включают в состав языков программирования как стандартные типы. Такими являются, в первую очередь, тип целых и действительных чисел. Многие языки программирования включают тип символов, строковый тип, тип логических значений. Реже – комплексные числа, иногда – списки. Как правило, современные языки программирования высокого уровня предоставляют программисту средства для конструирования собственных типов.
Таблица 4. Типы данных в Паскале[4]
| byte:
| 1 байт без знака
|
| ShortInt:
| 1 байт со знаком
|
| Word:
| 2 байта без знака
|
| Integer:
| 2 байта со знаком
|
| Longint:
| 4 байта со знаком
|
| Int64
| 8 байт со знаком
|
- дробные (действительные):
| Real:
| 6 байт
|
| Single:
| 4 байта
|
| Double:
| 8 байт
|
| Extended:
| 10 байт
|
| Comp:
| 8 байт
|
| Boolean:
| 1 байт
|
| WordBool:
| 2 байта
|
| ByteBool:
| 1 байт
|
| LongBool:
| 4 байта
|
| Char:
| 1 байт
|
| String:
| от 1 до 255 байт + байт длины
|
| Pointer:
| 4 байтa, нетипизированный указатель
|
| ^<имя_типа>:
| 4 байта, типизированный указатель
|
- массивы - несколько однотипных элементов, объединенных одним именем; доступ к элементам производится по их номерам (индексам)
- записи - несколько элементов, объединенных одним именем; доступ к элементам производится по их уникальным "полям"
- множества - несколько однотипных элементов, объединенных одним именем, причем элементы не повторяются; доступ к элементам производится через специальные функции
- файлы - несколько элементов, объединенных одним именем и расположенных вне оперативной памяти; доступ к ним производится с помощью специфических процедур и функций
- типы, определяемые программистом, - поименованные структуры из некоторых стандартных типов (эти типы не являются стандартными).
2015-08-12
384
