»нформатика на п€ть ќ нас
 ƒобавить в избранное
5byte.ru
 “еори€
 Х8 класс
 Х9 класс
 Х10 класс
 Х11 класс
«адани€
 Х8 класс
 Х9 класс
 Х10 класс
 Х11 класс
 ниги
“есты
≈√Ё
Turbo Pascal 7
 Хќписание
 Х«адачи
HTML
–ефераты

10.3. ‘ормальные и фактические параметры

‘ормальные параметры подпрограммы указывают, с какими параметрами следует обращатьс€ к этой подпрограмме (количество параметров, их последовательность, типы). ќни задаютс€ в заголовке подпрограммы в виде списка формальных параметров, разбитого на группы, разделенные точками с зап€тыми. ¬ группу формальных параметров включаютс€ однотипные параметры одной категории.

¬се формальные параметры можно разбить на четыре категории:

  • параметры-значени€ (эти параметры в основной программе подпрограммой не мен€ютс€);
  • параметры-переменные (эти параметры подпрограмма может изменить в основной программе);
  • параметры-константы (используютс€ только в версии 7.0);
  • параметры-процедуры и параметры-функции (т. е. процедурного типа).

ƒл€ каждого формального параметра следует указать им€ и, как правило, тип, а в случае параметра-переменной или параметра-константы - его категорию. »мена параметров могут быть любыми, в том числе и совпадать с именами объектов программы. Ќеобходимо лишь помнить, что в этом случае параметр основной программы с таким именем становитс€ недоступным дл€ непосредственного использовани€ подпрограммой. “ип формального параметра может быть практически любым, однако в заголовке подпрограммы нельз€ вводить новый тип. Ќапример, нельз€ писать

function Max(A: arrayt1..100] of Real): Real;

„тобы правильно записать этот заголовок, следует в основной программе ввести тип-массив, а затем использовать его в заголовке:

type tArr = arrayt1..100] of Real; function Max(A: tArr): Real;

ѕри обращении к подпрограмме формальные параметры замен€ютс€ на соответствующие фактические вызывающей программы или подпрограммы.

10.3.1. ѕараметры-значени€

ѕараметры-значени€ передаютс€ основной программой в подпрограмму через стек в виде их копий и, следовательно, собственный параметр программы подпрограммой изменитьс€ не может.

ѕараметр-значение указываетс€ в заголовке подпрограммы своим именем и через двоеточие - типом. “ип параметра-значени€ может быть любым за исключением файлового.

≈сли параметров-значений одного типа несколько, их можно объединить в од ну группу, перечислив их имена через зап€тую, а затем уже указать общий тип  ак отмечалось выше, отдельные группы параметров отдел€ютс€ друг от точкой с зап€той.

ѕример.

procedure Inp(Max, Min: Real; N: Word);
function Mult(X, Y: Integer): Real;

¬ качестве фактического параметра на месте параметра-значени€ при вызове подпрограммы может выступать любое выражение совместимого дл€ присваивани€ типа (см. п. 9.3), не содержащее файловую компоненту, например:

Inp(Abs(Z), -Abs(T), 2 *  );
M:=Mult(X + Y, X - Y);
MA:=Max(B, 5);

ѕример. ‘ункци€ вычислени€ максимального элемента в массиве. ѕусть в основной программе определен тип-массив, массив этого типа и переменна€ целого типа

type
   tArr = array[1..100] of Integer;
var
   Massiv: tArr;
   Maxim: Integer;

‘ункци€ в этом случае может иметь вид:

function Max(Mas: tArr; N: Byte): Integer;
var Ma: Integer;
    i: Byte;
begin
  Ma := Mas[l];
  for i := 2 to N do
    if Ma < Mas[i] then
      Ma := Mas[i];
  Max := Ma
end;

“еперь, например, дл€ определени€ максимального числа из первых п€ти чисел массива Massiv и записи его в переменную Maxim можно записать оператор:

Maxim : = Max(Massiv,5);</p>

—ледует иметь в виду, что подпрограмма может работать только с массивами типа tArr. ƒл€ массивов другого типа придетс€ создавать другую аналогичную подпрограмму.  роме того, при работе подпрограммы в стеке будет создана копи€ исходного массива, что приводит к уменьшению быстродействи€ и заполнению стека излишней информацией.

10.3.2. ѕараметры-переменные

ѕри передаче параметров-переменных в подпрограмму фактически через стек передаютс€ их адреса в пор€дке, объ€вленном в заголовке подпрограммы. —ледовательно, подпрограмма имеет доступ к этим параметрам и может их измен€ть.

ѕараметр-переменна€ указываетс€ в заголовке подпрограммы аналогично параметру-значению, но только перед именем параметра записываетс€ зарезервированное слово var. ƒействие слова var распростран€етс€ до ближайшей точки с зап€той, т. е. в пределах одной группы.

ѕример.

procedure MaxMin(A: tArr; var Max, Min: Real; N: Word);

«десь Max, Min - параметры-переменные, ј и N - параметры значени€.

“ип параметров-переменных может быть любым, включа€ и файловый.

ѕри вызове подпрограммы на месте параметра-переменной в качестве фактического параметра должна использоватьс€ переменна€ идентичного типа (см. п. 9.1). “ак, если формальный параметр имеет тип, определенный следующим образом:

type tArr = array[1..100] of Integer;

то и фактический параметр должен быть переменной или типизированной константой типа tArr.

ѕример. ‘ункци€ вычислени€ максимального элемента в массиве. ћодифицируем подпрограмму примера п. 10.3.1, использу€ в качестве первого параметра параметр-переменную:

function Max(var Mas: tArr; N: Byte): Integer;
var Ma: Integer;
    i: Byte;
begin
  Ma := Mas[l];
  for i := 2 to N do
    if Ma < Mas[i] then
      Ma := Mas[i];
  Max := Ma
end;

Ётот вариант лучше предыдущего тем, что в данном случае в стеке не создаетс€ копи€ исходного массива, что улучшает быстродействие и экономит пам€ть. ќднако при такой передаче параметра возможно его нежелательное изменение (такой вариант передачи параметра допустим только в таких небольших подпрограммах, как в данном примере, когда программист может проконтролировать отсутствие несанкционированного изменени€ параметра). Ќедостаток же, св€занный с тем, что подпрограмма может работать только с одним типом массивов, остаетс€.

10.3.3. ѕараметры-константы

„асто в качестве параметра в подпрограмму следует передать ту или иную переменную, но измен€ть ее подпрограмма не должна. ¬ этом случае нежелательно передавать этот параметр как параметр-переменную. ћожно его передать как параметр-значение, однако, если эта переменна€ имеет большой размер (массив, запись и т. д.), то копи€ такого параметра займет большую часть стека и даже может его переполнить. Ёто же приводит и к уменьшению быстродействи€ программы. ¬ этой ситуации параметр лучше передать как параметр-константу. “акой параметр, если он структурированного типа, передаетс€ своим адресом, не предусматриваетс€ защита от его изменени€. »спользовать параметр-константу можно только в версии 7.0.

ѕараметр-константа указываетс€ в заголовке подпрограммы аналогично параметру-значению, но перед именем параметра записываетс€ зарезервированное слово const. ƒействие слова const распростран€етс€ до ближайшей точки с зап€той, т. е. в пределах одной группы.

ѕример.

function NewString(const S: string): string;

“ип параметра-значени€ может быть любым за исключением файлового.

ѕри вызове подпрограммы на месте параметра-переменной в качестве фактического параметра можно использовать любое выражение совместимого дл€ присваивани€ типа (см. п. 9.3), не содержащего файловую компоненту.

ѕараметр-константу нельз€ передавать в другую подпрограмму в качестве фактического параметра.

ѕример. ‘ункци€ вычислени€ максимального элемента в массиве. ¬ примере п. 10.3.1 используем в качестве первого параметра параметр-константу:

function Max(const Mas: tArr; N: Byte): Integer;
var Ma: Integer;
    i: Byte;
begin
  Ma := Mas[l];
  for i := 2 to N do
    if Ma < Mas[i] then
      Ma := Mas [ i ] ;
  Max := Ma
end;

10.3.4. ѕараметры без типа

¬ Turbo Pascal можно использовать параметры-переменные и параметры-константы без указани€ типа. ¬ этом случае фактический параметр может быть переменной любого типа, а ответственность за правильность использовани€ того или иного параметра возлагаетс€ на программиста.

ѕример.

function Equal(var Paraml, Param2; Len: Word): Boolean;

«десь Param1, Param2 - параметры-переменные без типа (вместо них можно использовать, например, любые переменные простого типа, типа-массив, типа-запись и т. д.); Len - параметр-значение.

—ледует иметь в виду, что параметр без типа внутри подпрограммы типа не имеет и его перед использованием следует преобразовать к конкретному типу, примен€€ идентификатор соответствующего типа так, как это указывалось в п. 9.4, при этом полученный результат может быть любого размера.

ѕример. ‘ункци€ вычислени€ максимального элемента в массиве. –ассмотрим другой вариант подпрограммы примера п. 10.3.1, использу€ в качестве первого параметра параметр-переменную без типа:

function Max(var Mas; N: Byte): Integer;
type
   tArray = array[1..Maxint] of Integer;
{тип массива максимального размера}
var Ma: Integer;
    i: Byte;
begin
  Ma := tArray(Mas)[1];
  for i := 2 to N do
    if Ma < tArray(Mas)[i] then
      Ma := tArray(Mas)[i];
  Max := Ma
end;

¬ этом случае в качестве первого передаваемого параметра можно использовать любой массив (и не только массив), так что подпрограмма становитс€ более универсальной. “ем не менее здесь необходимо передавать в качестве второго параметра фактический размер информации, что не очень удобно.

10.3.5. ћассивы и строки открытого типа

¬ версии 7.0 можно в качестве параметров-переменных использовать массивы 1 и строки открытого типа, у которых не задаютс€ размеры. ¬ качестве фактического параметра в этом случае можно использовать массив или строку любого ра- 1 змера, однако массив должен состо€ть из тех же компонент, что и компоненты j открытого массива. “акие параметры введены дл€ того, чтобы подпрограмма мо- ] гла обрабатывать массив или строку любого размера. ‘актический размер массива в этом случае может быть определен с помощью функции High (см, j п. 16.1). ќткрытый массив задаетс€ как и обычный массив, но только без указани€ типа индекса. —ледует иметь в виду, что индексаци€ элементов открытого массива всегда начинаетс€ с нул€, а максимальный индекс элемента равен значению функции High.

ѕример. ‘ункци€ вычислени€ максимального элемента в массиве. –ассмотрим вариант подпрограммы примера п. 10.3.1, использу€ в качестве передаваемого параметра массив открытого типа:

function Max(var Mas: array of Integer): Integer;
var Ma: Integer;
    i: Byte;
begin
  Ma := Mas[0];
  for i := 1 to High(Mas) do        {цикл до наибольшего индекса}
    if Ma < Mas[i] then
      Ma := Mas[i];
  Max := Ma
end;

¬ этом примере в подпрограмму передаетс€ только один параметр и она может работать с любым одномерным массивом целых чисел. ќднако следует иметь в виду, что при работе подпрограммы дл€ открытого массива в стеке оп€ть-таки создаетс€ его копи€, что может его переполнить.

–азновидность открытого массива - открыта€ строка, котора€ может задаватьс€ либо с помощью стандартного типа OpenString, либо с помощью типа string и использовани€ ключа компил€тора {$–+} (см. п. 17.7.1), например заголовок процедуры, заполн€ющей каким-либо символом строку, может иметь вид:

procedure FillChar(var Str: OpenString; Ch: Char);

или

($p+)
procedure FillChar(var Str: string; Ch: Char);

10.3.6. ѕараметры-процедуры и параметры-функции

ѕередаваемым параметром может быть также параметр-процедура или параметр-функци€, т. е. параметр процедурного типа. ‘актически этот параметр €вл€етс€ параметром-значением, т. к. записываетс€ без зарезервированного слова var.

¬ качестве фактического параметра в этом случае используетс€ соответствующа€ процедура или функци€, имеюща€ необходимое количество параметров требуемых типов.

ƒл€ параметров-процедур и параметров-функций существуют те же правила, что и дл€ других переменных процедурного типа: подпрограммы должны компилироватьс€ с ключом {$F+) или иметь директиву far, не должны быть стандартными подпрограммами, не должны объ€вл€тьс€ внутри других подпрограмм, не иметь директив inline или interrupt.

ѕример. ѕрограмма, печатающа€ таблицы сложени€ и умножени€ двух целых чисел в заданном диапазоне.

program EXAMPLE15;
type
  Func = function(X, Y: Integer): Integer;
($F+)
function Add(X, Y: Integer): Integer;
begin
  Add := X + Y
end;
function Multiply(X, Y: Integer): Integer;
begin
  Multiply := X * Y
end;
{$F-}

procedure PrintTable(A, B: Integer; Operation: Func);
{процедура печати таблицы}
var
  i, j: Integer;
begin
  for i := 1 to A do
    begin
      for j := 1 to ¬ do
        Write(Operation(i, j): 5);
     WriteLn
      end;
WriteLn
end;

begin {начало основной программы}
  PrintTable(10, 10, Add);
  PrintTable(10, 10, Multiply)
end.




–≤–Є—А—В—Г–∞–ї—М–љ—Л–є —Б–µ—А–≤–µ—А - —Б–∞–Љ–∞—П –∞–Ї—В—Г–∞–ї—М–љ–∞—П –Є–љ—Д–Њ—А–Љ–∞—Ж–Є—П —Г –љ–∞—Б | –Ъ–Ю–Э–Т–Х–Щ–Х–†–Ђ –Ш –Ъ–Ю–Ь–Я–Ы–Х–Ъ–Ґ–£–Ѓ–©–Ш–Х
 ” ¬ас есть материал пишите нам
 
    Copyright © 2008    
Rambler's Top100   Top.Mail.Ru