Типы данных Паскаль

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

Что определяют типы данных Паскаль?

Во-первых, возможные значения переменных, функций, выражений, констант принадлежащих к исходному типу; во-вторых, он определяет внутреннюю форму представления данных в ЭВМ; и, в-третьих, определяет функции и операции, выполняющиеся над величинами, которые принадлежат тому или иному типу.

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

Типы данных Паскаль:

В Паскале различают следующие типы данных:

Типы данных Паскаль

В таблице ниже представлены разновидности простых типов данных в Паскале и их характеристики:

Типы данных Паскаль

Для порядковых типов, входящих в группу простых, характерны следующие свойства:

  1. Бесконечное множество значений порядкового типа — это есть ограниченное упорядоченное множество;
  2. Применима стандартная функция Ord (возвращает порядковый номер определенного значения в данном типе) к всевозможному порядковому типу;
  3. К всевозможному порядковому типу, когда появляется необходимость, можно применить стандартные функции Pred и Succ, возвращающие соответственно предыдущее и последующее значения;
  4. К всевозможному порядковому типу при случае можно применить стандартные функции Low и High, возвращающие соответственно наименьшее и наибольшее значения величин данного типа.

Эквивалентность и совместимость типов данных:

Немаловажное значение в языке Паскаль имеют понятия эквивалентности и совместимости типов. Дадим определения этим понятиям. Два типа TIP1 и ТIP2 называются эквивалентными в случае выполнения одного из условий:

  1. ТIP1 и ТIP2 — одно и то же имя типа;
  2. тип ТIP2 описан с применением типа ТIP1 при помощи либо равенства, либо последовательности равенств:

type TIP1 = Integer; TIP2 = TIP1; TIP3 = TIP2;

Теперь введем понятие совместимости типов. Типы называются совместимыми, если:

  1. эти типы являются эквивалентными;
  2. являются они либо целыми, либо действительными;
  3. один из двух типов — интервальный, другой является его базовым;
  4. оба типа являются интервальными с общим базовым;
  5. один из двух типов — строковый, другой — является символьным.

Ограничения на совместимость типов можно обойти при помощи приведения типов:

Типы данных Паскаль

Когда приведение типов используется к ссылке  на  переменную, то ее (ссылку) рассматривают в качестве экземпляра типа,  который представлен идентификатором типа.  Размер переменной (т.е. число байт, которое занимает переменная) должен быть равен размеру типа,  представленного идентификатором типа.

После операции приведения типа переменной можно указать один или несколько квалификаторов,  если это допускается указанным типом, например, integer(‘Z’) есть значение кода символа ‘Z’ в двух-байтном представлении целого числа, а byte(534) впоследствии даст значение 22, так как целое число 534 обладает типом word и занимает 2 байта, а тип byte занимает 1 байт, и в процессе приведения старший байт окажется отброшенным.

Надеюсь, что данная статья помогла Вам понять, что такое типы данных Паскаль. В дальнейшем рассмотрим каждый из этих типов.


Похожие записи:

Оставить комментарий

Ваш e-mail не будет опубликован. Обязательные поля отмечены *