Вопрос 1 Типы данных, преобразование типов.
Базовые типы – типы, определяемые в языке программирования.
Конструируемые типы – типы, которые задаются программистом.
Например переменные базовых типов могут быть определены в разделе описания переменных
Конструируемые типы так же могут быть описаны в разделе описания переменных
Типы данных, конструируемые программистом, описываются в разделе Type по следующему шаблону:
Type
<имя_типа> = <описание_типа>;
Базовые типы данных являются стандартными, поэтому нет нужды описывать их в разделе Type.
Однако при желании это тоже можно сделать, например, дав длинным определениям короткие имена. Скажем, введя новый тип данных
Неявное преобразование типов
Тип результата арифметических операций (а следовательно, и выражений) может отличаться от типов исходных операндов.
Если в некоторой операции присваивания участвуют два типа данных совместимых, но не совместимых по присваиванию, то тип присваиваемого выражения автоматически заменяется на подходящий.
Явное преобразование типов
Тип значения можно изменить и явным способом:
просто указав новый тип выражения.
Пример:
a:= byte(b);
В этом случае переменной а будет присвоено значение, полученное новой интерпретацией значения переменной b.
Функции округления:
trunc real -> integer
round real -> integer
Функция преобразования строки в число
val string -> byte/integer/real
Получение символа по заданному ASCII-коду
сhr byte -> char
Преобразование порядковых типов
ord <порядковый_тип> -> longint
Вопрос 2 Массивы, как параметры функций и процедур
Подпрограмма - это отдельная функционально независимая часть программы. Любая подпрограмма обладает той же структурой, которой обладает и вся программа.
Статический массив – упорядоченная последовательность фиксированного количества переменных одного типа, имеющая общее имя.
Параметры-значения передаются основной программой в подпрограмму через стек в виде их копий и, следовательно, собственный параметр программы подпрограммой измениться не может.
Параметр-значение указывает в заголовке подпрограммы своим именем и через двоеточие - типом. Тип параметра-значения может быть любым за исключением файлового.
Если параметров - значения одного типа несколько, их можно объединить в одну группу, перечислив их имена через запятую, а затем уже указать общий тип. Как отмечалось выше, отдельные группы параметров отделяются друг от друга точкой с запятой.
Пример.
procedure Inp ( Max, Min: real ; N: Word );
function Mult (X, Y: integer): real;
В качестве фактичного параметра на месте параметра-значения при вызове подпрограммы может выступать любое выражение совместимого для присваивания типа, не содержащее файловую компоненту, например:
Inp(Abs (Z), - Abs (T), 2 * K);
так как в списке формальных параметров фактически объявляется тип-диапазон, указывающий границы индексов массива.
Если мы хотим передать какой-то элемент массива, то проблем, как правило, не возникает, но если в подпрограмму передается весь массив, то следует первоначально описать его тип. Например:
type
atype = array [1..10]of Real;
Procedure S (a: atype);