• Вступление
• Теория
• Программа
• Факториал
• Послесловие

Здраствуйте!
Сегодня будет длинное вступление. Как вы наверное заметили :) рассылка не выходила в свет чуть больше недели. Я надеюсь, что за это время вы не забыли предыдущие уроки и готовы читать новые. Я вообще считаю, что обучение должно продвигаться не линейно, как учат в школе и институте, а скачками - от одного уровня к другому. При этом перерыв между уровнями может быть очень большой. Итак будем считать, что первый уровень кончился и его мы прошли благополучно. Начинается второе пришествие рассылки :)
К сожалению в прошлом выпуске в программе проверки является ли слово полиндромомом была допущенна ошибка. Правильный вариант программы приведён ниже:

Program Polindrom;

var
  str : string;
  i, j : integer;
  flag : boolean;
begin
     i := 1;
     flag := true;

     readLn (str);
     j := ord (str[0]);

     while i < j do
     begin
          if str[i] <> str[j] then
          begin
               flag := false;
               break
          end;
		  { ВОТ ЭТО БЫЛО ПРОПУЩЕННО !! }
		  i := i + 1;
		  j := j - 1
	end;
		  
     if flag  then
        writeLn ('ДА !')
     else
        writeLn ('НЕТ !')
end.

Я уже наверное вбил в вам в голову, что Паскаль - строготипизированный язык. Вы уже знакомы с довольно большим количеством типов. Однако мы можем и создавать свои типы! Например нам надо создать тип, значение которого будут меняться от 0 до 5. Для описаний типов отведён ещё один отдел программы - type. Он должен находится в самом начале программы, где-то среди var, const и label. Хотя желательно размещать этот раздел первым.

Новый тип объявить очень просто, как константу:

Имя = тип

type
  int = integer;
var
 i : int;

type
  int = integer;
var
 i : int;
 j : integer;
begin
     i := 1;
     j := i;

Однако раздел описаний не создан для того, что бы переименовывать существующие типы. Он создан для создания новых (вот каламбур получился:)

Перечисляемый тип. Этот тип задаётся перечислением всех возможных значений. Каждому значению присваивается некоторый индетификатор и распологается в списке, обрамлённым круглыми скобками. Например:

type
  TColor = (red, green, blue);
var
  color : tcolor;

Для численного представления элементов перечисляемого типа используется уже известная функция ORD. Причём первому элементу соответствует 0, второму 1 и так далее... Т.е. ord (red) = 0, ord (green) = 1, ord (blue) = 2.

Допускается и обратное преобразование типов из целых в перечисляемые. Делается с помощью указаня имени типа и в скобках целого значения:

color := tcolor (1); - равносильно color := green;

function Pred(X): - возвращает предшественник аргумента

pred (1) = 0
pred (blue) = green

function Succ(X): - возвращает следующее значение типа

succ (0) = 1
succ (green) = blue

var
   color : (red, green, blue);

Тип-диапазон задаётся своими границами: мин_значение .. макс_значение.

Две точки .. рассматриваются как один символ и неотделимы! Например создадим тип-диапазон, который будет менять значения от -25 до 32:

type
   tsome = -25 .. 32;
var
   c : tsome;
begin
   c := 0;

Можно создавать и такие типы-диапозоны:

type
   Tday   = 1..31;
   Tmonth = 1..12;
   Tabc   = 'A' .. 'Z';
var
  buka : Tabc;
begin
   buka := 'D';
   buka := chr (66);
   writeLn (buka)
end.

Рассмотрим ещё один пример:

type
   Tweek = (mo, tu, we, th, fr, sa, su);
   TweekEnd = sa .. su;
var
  w : TweekEnd;

begin
   w := sa;
   w := pred (su);
   writeLn (ord (w));
   w := succ (w);
   writeLn (ord (w))
end.

Напомню, что в Паскале есть ещё две функции, которые работают с типами:

function High(X) - возвращает максимальное значение типа-диапозона, к которому принадлежит переменная Х
function Low(X); - соответственно возвращает минимальное значение типа-диапозона, к которому принадлежит переменная Х

Возиожно это и неочивидно, но ведь мы можем создать тип функции или тип процедуры. Делается это так же, как и для типа нужно объявить таким образом:

Имя = function (параметры) : тип_возвращаемого_значения;
имя = procedure (параметры);

имя = array [диапозон] of тип;

program fillarray;

uses CRT;

const
  N = 10;

type
  Tarray = array [1 .. N] of integer;
  Tfunc = function : integer;

procedure fill (var res : tarray; f : Tfunc);
var
  i : integer;
begin
     for i := 1 to N do
       res[i] := f;
end;

procedure printarray (res : tarray);
var
   i : integer;
begin
   for i := 1 to N do
      write (res[i], #32)
end;

function f1 : integer; far;
begin
   f1 := random (256)
end;

function f2 : integer; far;
begin
    f2 := random (100)
end;

var
  A : tarray;
begin
  randomize;
  ClrScr;
  fill (A, f1);
  printarray (A);
  writeLn;
  fill (A, f2);
  printarray (A)
end.

Этим у нас и займётся процедура procedure fill (var res : tarray; f : Tfunc); - первый параметр - это массив, второй - функция, с помощью которой мы этот массив и заполним.

Что бы передать в качестве параметра функцию, нужно просто указать её имя. А при описании функции использовать директиву far. Что это такое я раскажу позже. Пока, что запомните, что эта директива позволяет выступать функции в качестве параметра.

В процедуре fill мы объявляем параметр f, как тип-функцию. Теперь внутри процедуры fill мы можем обращаться с ней так, как будто бы такая функция действительно есть, т.е. мы можем вызвать её, указав имя - f. Если бы были и параметры, то можно было бы передать их как то так: f (par1, par2); Мы как бы создаём виртуальную функцию, которая потом замещается настоящей.

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

В прошлый раз (эх давно это было :( было предложено написать программу для вычисления факториала, с использованием рекурсии. Выглядит это как-то так:

Program Factorial;

function fact (n : integer) : longint;
begin
     if n <= 1 then
        fact := 1
     else
        fact := fact (n - 1) * n
end;

var
  a : integer;
begin
  Write ('Введите число:');
  ReadLn (a);
  WriteLn ('Факториал ', a, '! = ', fact (a) )
end.

n! = (n - 1)! * n

Ну вот и состоялось второе пришествие :) Следующий выпуск ждите в среду.
Удачи!