В программу можно ввести и переменные какого-либо типа, не совпадающие ни с одним из стандартных типов. Такой тип задается перечислением значений при объявлении типа; любое из этих значений может принимать переменная данного типа, объявленная далее в программе. Общий вид описания перечисляемого типа:
type nm = (word1, word2, …, wordN) ; var w: nm;
здесь nm – идентификатор типа (произвольный), word1, word2… - конкретные значения, которые может принимать переменная w, принадлежащая типу nm. Значения данного типа считаются упорядоченными, т.е. описание типа одновременно вводит упорядочение word1 < word2 < wordN. Порядковые значения отсчитываются с 0.
К переменным типа перечисления можно применять функции ord, pred, succ и процедуры inc и dec.
Ко всем переменным одного и того же скалярного типа применимы операции отношения: =, <>, <=, >=, <, >.
Особенностью переменных типа перечисления является то, что их значения нельзя вводить с клавиатуры и выводить на экран (но можно использовать при работе с типизированными файлами).
Пример 1. type color = (red, yellow, green, blue);
Здесь определено, что red < yellow < green < blue. Переменная типа color может принимать одно из перечисленных значений.
Функция succ(x)
По элементу x определяется та упорядоченная последовательность, которой принадлежит x, и выдается элемент, следующий за x в этой последовательности.
Пример 2. Пусть задана последовательность букв в алфавитном порядке. Тогда succ(A) есть B; succ(L) есть M и т.д.
Для примера 1 succ(red) есть yellow.
Функция pred(x)
По элементу x определяется последовательность, которой принадлежит x, и выдается предыдущий элемент этой последовательности.
Пример 3. pred(F) есть E; pred(Z) есть Y и т.д.
Функция ord(x)
Выдается номер элемента x в последовательности.
Пример 4. ord(red) равен 0, а ord(green) равен 2.
Очень часто в программах целое число используется не в качестве арифметической величины, а как указатель некоторого элемента сравнительно небольшого множества. В таких случаях в описании программы обычно приводится список всех возможных значений вместе с указанием предполагаемой интерпретацией каждого значения. Такую величину можно рассматривать как элемент специального типа, который в языке Паскаль называется перечисляемым типом данных. Перечисляемый тип определяется как упорядоченный набор идентификаторов, заданный путем их перечисления.
Пример. Type Colour = (Red , Orange , Green) ;
Перечисляемый тип задается списком значений (объектов), которые могут принимать переменные этого типа. При этом каждый объект есть имя. Перечислимый тип задается самим программистом, в зависимости от того, какую задачу он решает.
Перечислимый тип состоит из списка констант. Переменные этого типа могут принимать значения любой из этих констант. Числа, логические и символьные константы не могут являться объектами перечислимых типов. Применение перечислимого типа повышает наглядность программы и дает возможность автоматически контролировать допустимость значений переменных.
Язык Паскаль представляет программисту широкие возможности для задания дополнительных типов, характеристики которых программист может определить самостоятельно. Новые типы описываются в специальном разделе типов или определяются непосредственно при описании переменных.
Описание перечисляемого типа имеет вид:
Type Имя типа = (Список констант);
Var: Имя переменной: имя типа;
Здесь под константой понимается особый вид констант - констант, задаваемых пользователем. Под списком понимается перечень констант, разделенных запятыми. Сам список заключается в круглые скобки.
В общем виде:
Type T = (A1, A2,...,An);
Пример. Type Year = (Winter , Spring , Summer , Autumn);
Здесь Year - имя перечисляемого типа:
Зима, Весна, Лето, Осень - константы;
A - переменная, которая может принимать значение любой из констант.
Объект, указанный в списке,может присутствовать только в одном описании.
Пример. Type T1 = (One , two , three);
T2 = (Tree , four , five);
Эти два задания типов несовместимы.
Имена объектов, указанных в описании перечисленного типа, являются константами этого типа. В языке Паскаль допускается указывать константы перечислимого типа непосредственно в разделе переменных без использования раздела Type.
Пример. Var A: (Winter , Sprihg , Summer , Autumn);
Но лучше использовать описание данных с использованием раздела Type.
Нельзя присваивать переменной одного типа значения из имени другого типа.
Пример.
Type Name =(Jon , Tom , Nick) ;
Color =(Red , Blue , Black);
Var X , Y , Z: Name ;
C1 , C2: Color ;
Каждая из констант имеет порядковый номер, счет начинается с нуля. Упорядоченность констант позволяет применять к ним операции отношения (сравнения): < ,<= ,= , <>, >, >=. Результат операции будет логического типа (Type , False). Winter < Spring < Summer < Autumn (Зима < Весна< Лето< Осень)
Свойства перечисляемого типа:
1) A i <> A j , если i > 2) A i < A j , если i < j (упорядоченность). 3) Значениями типа Т могут быть только А 1 , А 2 , ... А n . Упорядоченность определяется той последовательностью, в которой перечислены константные идентификаторы. Наличие упорядоченности позволяет применить стандартные функции: Ord (x) - нахождение порядкового номера, Pred (x) - нахождение предыдущего элемента, Succ (x) - нахождение последующего элемента. Succ (A i) = A i +1 для i= 1,2,...n-1 - последующий член. Pred (A i) = A i - 1 для i = 1,2,3...n - предыдущий член. Ord (Ai) = i -1 - функция определения порядкового номера А i . Нумерация условно начинается с нуля. Пример.
Имеется перечень зверей: лиса, волк, заяц, зубр, тигр, лев, медведь, косуля, олень, барс. Определить порядковый номер тигра (N1) и порядковый № зверя после косули (N2) Type Zver = (lisa,volk,zaiac,zubr,tigr,lev,medved,kosulia,olen,bars); Var P1,P2: Zver; P2: = Succ (kosulia); N1: = Ord(P1)+1; N2: = Ord(P2)+1; Writeln (‘N1 = ‘, N1:2); writeln (‘N2 = ‘, N2: 2); Так как счет перечислимых начинается с нуля, а не с единицы, для вычисления порядкового номера необходимо прибавить единицу. Пример.
Некто по средам и пятницам учится, в остальные будние дни работает. Составить программу, распечатывающую эти занятия последовательно по дням недели. Type Week = (Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday); For Day: = Monday To Sunday Do If (Day: = (Wednesday) Or (Day = Friday) Then Writeln (‘Study’) Else If (Day: = (Saturday) Or (Day = Sunday) Then Writeln (‘Nothing’) else Writeln (‘Work’) Результат будет такой: Work В языке Paskal нельзя вводить и выводить данные перечислимого типа с помощью операторов Read и Write.
Для каждого типа характерен свой диапазон значений. Ниже приведены диапазоны значений для простого
типа Чаще всего используют типы integer
,real
,longint
,byte
,string
,boolean
и char
так как обычно в задачах не указывается какие конкретно типы должны быть использованы для решения. Будьте внимательны при использовании типов и внимательно следите за допустимыми диапазонами для каждого типа. Например дробным числам нельзя присваивать тип integer ,а типом сhar может быть только один символ (например переменная f:=gfgfgf не может быть char) В языке Паскаль
переменные характеризуются своим типом
. Тип - это свойство переменой, по которому переменная может принимать множество значений, допустимых этим типом, и участвовать во множестве операций, допустимых над данным типом. Тип определяет множество допустимых значений, которое принимает переменная данного типа. Определяет так же множество допустимых операций от переменной данного типа и определяет представления данных в оперативной памяти компьютера. Например: n:integer;
Паскаль - статический язык, из этого следует, что тип переменой определяется при ее описании и не может быть изменен. Язык Паскаль имеет развитую систему видов - все данные должны принадлежать заранее известному типу данных (либо стандартному типу, созданному при разработке языка или пользовательскому типу, который определяет программист). Программист может создавать свои типы произвольной структурой сложности на основе стандартных типов, либо уже определенных пользователем типов. Количество создаваемых типов неограниченно. Пользовательские типы в программе объявляется в разделе TYPE по формату: [имя] = [тип]
Система стандартных типов имеет разветвленную, иерархическую структуру. Первичными в иерархии являются простые типы
. Такие типы присутствуют в большинстве языков программирования и называются простыми, однако в языке Паскаль они имеют более сложную структуру. Структурированные типы
строятся по определенным правилам из простых типов. Указатели
формируются из простых видов и используются в программах для задания адресов. Процедурные типы
являются нововведением языка Turbo Pascal, и они позволяют обращаться к подпрограммам, как к переменным. Объекты
являются также нововведением, и они предназначены для использования языка, как объектно-ориентированного языка. В языке Паскаль целые типы бывают 5 видов. Каждый из них характеризует диапазон принимаемых значений и занимаемым местом их в памяти. При использовании целочисленных чисел следует руководствоваться вложенностью типов, т.е. типы с меньшим диапазоном могут быть вложены в типы с большим диапазоном. Тип Byte может быть вложен во все типы занимающие 2 и 4 байта. В тоже время тип Short Int, занимающий 1 байт не может быть вложен в тип Word, поскольку не имеет отрицательных значений. Можно выделить 5 вещественных типов: В компьютере абсолютно точно представляются целые типы. В отличие от целых типов значение вещественных типов определяет произвольное число лишь с некоторой конечной точность, зависящего от формата числа. Вещественные числа представляются в компьютере с фиксированной или с плавающей точкой. 2358.8395
0.23588395*10 4
0.23588395*E 4
Особое положение в Паскаль занимает тип Comp, фактически это большое целое число со знаком. Этот тип совместен со всеми вещественными типами и может быть использован для большого целого числа. При представлении вещественных чисел с плавающей запятой десятичная точка, всегда подразумевается перед левой или старшей мантиссой, но при действии с числом сдвигается влево или вправо. Порядковые типы объединяют в себе несколько простых типов. К ним относятся: Общими признаками для порядковых типов являются: каждый из типов имеет конечное число возможных значений; значение этих типов можно определенным образом упорядочить и с каждым числом сопоставить некоторое число, являющееся порядковым номером; соседние значения порядковых типов отличается на единицу. К значениям порядкового типа может быть применена функция ODD(x), которая возвращает порядковый номер аргумента x. Функция PRED(x) - возвращает предшествующее значение порядкового типа. PRED(A) = 5. Функция SUCC (x) - возвращает следующее значение порядкового типа. SUCC(A) = 5. Значениям символьного типа является 256 символов из множества допустимых кодовой таблицей используемого компьютера. Начальная область этого множества, то есть диапазон от 0 до 127 соответствует множеству кодов ASCII, куда загружаются символы алфавита, арабских чисел и специальных символов. Символы начальной области всегда присутствуют на клавиатуре ПК. Старшая область называется альтернативной, она содержит символы национальных алфавитов и различные специальные символы, и символы псевдографики, не соответствующие коду ASCII. Значение символьного типа занимает один байт в оперативной памяти. В программе значении заключаются в апострофы. Так же значения можно задавать в виде его ASCII-коде. В этом случае перед числом, обладающим код символа нужно поставить знак #. C:= ’A’
Имеются два значения булевского типа: Истина (True) и Ложь (False). Переменные данного типа задаются служебным словом BOOLEAN. Значение булевского типа занимают один байт в оперативной памяти. Значениям Истина и Ложь соответствуют числовые значения 1 и 0. Есть подмножество своего базового типа в качестве, которого может выступать любой порядковый тип. Тип-диапазон задается границами внутри базового типа. [минимальное-значение]…[максимальное-значение]
Тип-диапазон можно задавать в разделе Type, как определенный тип, а можно непосредственно в разделе Var. При определении тип-диапазона необходимо руководствоваться: Данный тип относится к порядковым типам и задается перечислением тех значений, которых он может перечислять. Каждое значение именуется неким идентификатором и располагается в списке обрамленным в круглых скобках. Перечисляемый тип задается в Type: Peoples = (men, women);
Первое значение - 0, второе значение - 1 и т.д. Максимальная мощность 65535 значений. Строковый тип относится к группе структурированных типов и состоит из базового типа Char. Строковый тип не относится к порядковым типам. Он определяет множество символьных цепочек произвольной длины до 255 символов. В программе строковый тип объявляется, словом String. Поскольку String является базовым типом, он описан в языке и объявление переменной типа String осуществляется в Var. При объявлении переменной строкового типа за String в квадратных скобках целесообразно указывать длину строки. Для указания используется целое число от 0 до 255. Fam: String;
Указание длины строки позволяет компилятору отвести под данную переменную указанное число байтов в ОЗУ. Если длина строки не указана, то в этом случае компилятор отведет под значение этой переменной максимальное возможное число байт (255). Теги: Си перечисление, enum.
В
си выделен отдельный тип перечисление (enum), задающий набор всех возможных целочисленных значений переменной этого типа. Синтаксис перечисления Enum <имя> {
<имя поля 1>,
<имя поля 2>,
...
<имя поля N>
}; //здесь стоит;!
Например
#include В этой программе объявлено перечисление с именем Gender. Переменная типа enum Gender может принимать теперь только два значения – это MALE И FEMALE. По умолчанию, первое поле структуры принимает численное значение 0, следующее 1, следующее 2 и т.д. Можно задать нулевое значение явно:
#include Будут выведены значения 0 1 0 1 2. То есть, значение SYMBOL равно значению EXPRESSION, а NUMBER равно OPERATOR.
Если мы изменим программу и напишем Enum Token {
SYMBOL, //0
NUMBER, //1
EXPRESSION = 10, //10
OPERATOR, //11
UNDEFINED //12
};
То SYMBOL будет равно значению 0, NUMBER равно 1, EXPRESSION равно 10, OPERATOR равно 11, UNDEFINED равно 12. Принято писать имена полей перечисления, как и константы, заглавными буквами. Так как поля перечисления целого типа, то они могут быть использованы в операторе switch. Заметьте, что мы не можем присвоить переменной типа Token просто численное значение. Переменная является сущностью типа Token и принимает только значения полей перечисления. Тем не менее, переменной числу можно присвоить значение поля перечисления. Обычно перечисления используются в качестве набора именованных констант. Часто поступают следующим образом - создают массив строк, ассоциированных с полями перечисления. Например
#include Так как поля принимают численные значения, то они могут использоваться в качестве индекса массива строк. Команда exit(N) должна получать код ошибки,
отличный от нуля, потому что 0 - это плановое завершение без ошибки. Именно поэтому первое поле перечисления равно единице. Перечисления используются для большей типобезопасности и ограничения возможных значений переменной. Для того, чтобы не писать enum каждый раз, можно объявить новый тип. Делается это также, как и в случае структур. Typedef enum enumName {
FIELD1,
FIELD2
} Name;
Алгоритм языка Pascal построен таким образом,что для того чтобы оперировать с переменными,нужно обычно указать их тип. Причем описание типа для каждой переменной необходимо производить до выполнения программы (в разделе var). То есть запуске компилятора программа сначала получает сведения,касательно того с какими типами данных будет работать и только потом выполняет какие-либо действия.
Итак в Паскале 3 основных типа: простой,структурированный и указатель. Однако каждый тип имеет свои подтипы. Для удобства все типы данных приведены в виде списка.
Теперь о том как описать тип. Как уже было сказано выше операторам присваивается тип в самом начале программы (можно даже сказать что до начала программы). Итак описываются типы в разделе var, который находится до начала программы (то есть до begin). Рассмотрим простой пример
var x,u,yu,i:integer;
s,f:real;
g:string;
begin
....
end.
Как видно из примера шаблон описания типа выглядит так
оператор1,оператор 2: тип;
Как вы уже заметили нет необходимости описывать каждый оператор, если тип общий,достаточно перечислить их через запятую. Также нет необходимости после каждого типа переходить на новую строку,здесь это сделано просто для более удобного чтения кода. Вообще код должен быть читабельным и хорошо воспринимаемым, поэтому советуется операторы общего типа объединять,а каждый тип писать с новой строки.
Порядковые типы
Символьный тип
Логический (булевский) тип
Тип-диапазон
Перечисляемый тип
Строковый тип
Перечисляемый тип