36541

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

Доклад

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

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

Русский

2013-09-22

25 KB

1 чел.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


 

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

70330. ИСТОРИЧЕСКИЕ ОБРАЗЫ ФИЛОСОФСКОЙ МЫСЛИ 738.5 KB
  Философия как новый тип мировоззрения, сменивший мифологическое мировосприятие, возникает в 6 в. до н.э. одновременно в трех относительно изолированных друг от друга регионах тогдашнего древнего мира: на Востоке – в Древнем Китае и Древней Индии и на Западе – в Античной Греции.
70331. Программирование на алгоритмическом языке Паскаль 644.5 KB
  Переменные снабжаются именами, которые могут содержать латинские буквы, цифры и знаки подчеркивания, но начинаться имя должно с буквы. Программист выбирает имена произвольно, но таким образом, чтобы они указывали на смысл переменной.
70332. Средневековая философия 1014.5 KB
  Ариане не принимали основной догмат официальной христианской церкви, согласно которому бог-сын единосущен богу-отцу. По учению Ария, сын божий Логос (Христос) — творение бога, следовательно, не единосущен ему, т. е. в сравнении с богом-отцом является существом низшего порядка.
70333. Словарь терминов по средневековым школам и университетам 95 KB
  Диспут (лат. disputatio) – в схоластической системе образования средневековой Европы формальный способ ведения спора, проводимого с целью установления богословской или научной истины. Данный процесс подчинялся формальным правилам, основными из которых были ссылки устоявшиеся...
70334. Терминология средневековой литературы 22.65 KB
  Канцона буквально песня лирическая форма средневековой поэзии возникшая первоначально в феодально-рыцарской лирике Прованса откуда она была усвоена французскими и итальянскими подражателями.
70335. СЛОВАРЬ ТЕРМИНОВ И ПОНЯТИЙ ПО ИСТОРИИ СРЕДНЕВЕКОВОГО ИЗОБРАЗИТЕЛЬНОГО ИСКУССТВА 2.61 MB
  Йоркский собор (англ. York Minster) — готический собор в английском городе Йорке, который оспаривает у Кёльнского собора звание самого большого средневекового храма на севере Европы. Строительство началось в 1220 году и продолжалось 250 лет. Собор славится самыми большими витражными окнами средневековой Европы.