4 Концепция типа данных языка Pascal

• Любой тип данных определяет множество значений, к которому принадлежит константа, которые может принимать переменная или выражение или вырабатывать функция.

• Тип значения, задаваемого константой, переменной или выражением можно определить по их виду или описанию без необходимости выполнять какие-либо вычисления.

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

Тип – абстракция (шаблон), которая позволяет программисту различать данные на фоне однообразных разрядов памяти ЭВМ.

Pascal имеет некоторые методы определения типов данных. В большинстве случаев новые типы данных определяются с помощью ранее определенных типов. Значения, принадлежащие к такому типу, обычно представляют собой совокупность значений-компонент (структурированные значения). Т.к. значения компонент могут быть также структурированными, можно построить целую иерархию структур, но конечные компоненты структуры должны быть неделимыми, то есть обязательно существование простых неструктурированных типов. Самый простой способ описания неструктурированного типа – это перечисление значений данного типа. Кроме типов, задаваемых программистом (программист может также создавать простые типы), существуют стандартные простые типы, которые включают числа, символы и логические значения.

5 Простые типы языка Pascal

К простым типам языка Pascal относятся все скалярные типы и вещественный тип real.

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

В каждом скалярном типе каждое значение кроме первого имеет предшествующее значение, и каждое значение кроме последнего – последующее.

Скалярные типы: ограниченные типы, перечисляемые типы, идентификатор типа, целые типы, символьный тип, логический тип. К любому из них м. применить функцию ord(х) , которая возвращает порядковый номер значения выражения х. Применение ord к логич-му, символьному, перечисляемому типам дает «+» целое число в диапазоне от 0 до 1 (логич.), 0-255(символьный), 0-65535(перечисляемый). К скалярным типам м. применить ф-ю pred- возвращает предыдущее значение, succ – возвращает последующее значение. Low возвращает наименьшее значение из диапазона скалярного типа, high – наибольшее значение.

Перечисляемые типы

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

type

shape = (rectangle, square, sphere, triangle)

Ограниченные типы

Часто переменной присваивается значение некоторого типа, лежащее внутри определенного интервала значений. T = min…max; - выражение, определяющее границы диапазона (операндами выражения могут быть только const).

type

year=1900…2050;

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

К вещественным типам относятся Single, Double, Comp, Real, Extended.