36541

Структура типов данных в Паскаль

Доклад

Информатика, кибернетика и программирование

Концепция типа для данных В языке Паскаль существует правило: тип явно задается в описании переменной или функции которое предшествует их использованию. Концепция типа языка Паскаль имеет следующие основные свойства: любой тип данных определяет множество значений к которому принадлежит константа которые может принимать переменная или выражение или вырабатывать операция или функция; тип значения задаваемого константой переменной или выражением можно определить по их виду или описанию; каждая операция или функция требует аргументов...

Русский

2013-09-22

25 KB

1 чел.

Структура типов данных в Паскаль.

Концепция типа для данных

В языке Паскаль существует правило: тип явно задается в описании переменной или функции, которое предшествует их использованию.

Концепция типа языка Паскаль имеет следующие основные свойства:

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

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

Тип определяет:

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

В языке Паскаль существуют скалярные и структурированные типы данных.

К скалярным типам относятся стандартные типы и типы, определяемые пользователем.

Стандартные типы включают целые, действительные, символьный, логические и адресный типы.

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

Структурированные типы имеют четыре разновидности: массивы, множества, записи и файлы.

Кроме перечисленных, Турбо Паскаль включает еще два типа – процедурный и объектный.

В языке Паскаль введены понятия эквивалентности и совместимости типов. Два типа Т1 и Т2 являются эквивалентными (идентичными), если выполняется одно из двух условий:

– Т1 и Т2 представляют собой одно и то же имя типа; – тип Т2 описан с использованием типа Т1 с помощью равенства или последовательности равенств. Например:

Type T1 = Integer; T2 = T1; T3 = T2;


 

А также другие работы, которые могут Вас заинтересовать

77150. Информационно-развлекательный интернет-сайт для Шахтинской Открытой Лиги КВН «ШАОЛИнь» 4.67 MB
  Каждый современный сайт содержит не просто набор страниц со ссылками между ними, а является полноценный программный продукт, который отслеживает действия пользователей, позволяет им между собой общаться и предлагает множество полезных сервисов в зависимости от поставленных владельцем сайта задач.