Вопрос по поводу процедуры

[Леньчик]

Уважаемые друзья!

Помогите, пожалуйста, разобраться. )))

Я в самом начале, но уже возникли сложности.

Высылаю Вам две небольшие программы, созданные в среде Free Pascal.

Обе работают и выдают одинаковый результат.

Разница в том, что мне понятен второй вариант, а первый – нет.

Собственно, в этом и весь вопрос.


Первый вариант.

Program Proc_1;
Uses crt;
Var a, b : integer;
SumNum : integer;

Procedure summa (var x : integer; a, b : integer);
Begin
x:=a+b;
End;

Begin
Clrscr;
A:=12; B:=15;
summa (SumNum,a,b);
writeln (SumNum);

Readln;
End.

Давайте начнём со второго варианта. )))

Второй вариант.

Program Proc_2;
Uses crt;
Var a, b : integer;
SumNum : integer;

Procedure summa (x : integer; a, b : integer);
Begin
x:=a+b;
SumNum:=x;
End;

Begin
Clrscr;
A:=12; B:=15;

summa (SumNum,a,b);
writeln (SumNum);

Readln;
End.

SumNum:=x; - Вот в этой строке, переменной SumNum идёт присваивание
основной переменной значение переменной x, объявленной в процедуре.
Это понятно.

В первом варианте, в процедуре объявляется переменная x.
var x : integer; - В этой строке.
Но в теле программы нигде нет обращения к этой переменной.
А также нет присваивания переменной SumNum значения переменной x.
Тем не менее, программа выдаёт правильный результат.

Так как же взаимодействуют эти две переменные в первом варианте?

[type_Oleg]

А я наоборот, первый вариант сразу понял, а второй - не сразу. Второй сделан как-то странно.

В первом варианте в процедуре summa переменная x - формальный параметр. При вызове summa вместо формального параметра x подставляется фактический SumNum . То есть программа работает, как если бы внутри вместо x была бы SumNum

Почитайте про формальные и фактические параметры (аргументы).

PS В случае a,b - тут просто совпадают имена формальных и фактических параметров. Совпадение допускается и ни к чему не обязывает.

[ViktorR]

По очереди приведенных примеров:
1.
Procedure summa (var x : integer; a, b : integer);
В данном описании x, a, b - параметры процедуры. Вместо них могут фигурировать и другие имена переменных.
Передача параметров выполняется через стек, который представляет собой память, адресация к которой выполняется через специальный регистр.

Запись var x : integer; означает, что в стек будет записан адрес, по которому будет размещаться переменная, подставленная вместо "x" в вызове процедуры.
Так, в первом примере вызов представлен так:

summa (SumNum,a,b);

SumNum - некоторая переменная, которая размещается в памяти данных по известному для компилятора адресу. Вот этот адрес и передается, при вызове, в стек.
Параметры a и b передаются по значению. Т.е. в стек передаются только значения, которые хранятся в переменных a и b.
Если заглянуть в область памяти, где хранятся параметры, то можно было бы увидеть примерно следующее (естественно это условно так):

Память данных (по два байта на тип integer):
Имя             Адрес         Значение
SumNum        00AA:1CCD            0
a             00AA:1CCF            15
b             00AA:1CD1            12

Область стека (порядок следования не учитываем):
Адрес             Значание
 ABC0:2234           00AA:1CCD      - адрес
 ABC0:2236      12             - значение
 ABC0:2238      15             - значение

Т.о. из процедуры видна область памяти в которой хранится переменная SumNum.
2.
В этом примере переменная SumNum описана в самом начале программы, до описания процедуры. Она видна в процедуре.
Попробуйте описать ее пониже, перед началом программы.
Этот пример работает так:
При вызове процедуры

summa (SumNum,a,b);

в стеке организуется место для хранения значения, в данном случае того значения, которое хранится в переменной SumNum. В начале программы там ноль. При вычислении нового значения, как суммы двух значений, эта область используется как временная область для хранения результата (эта область из программы прямо не видна).
Затем результат из этой области передается в область памяти SumNum.

Имя             Адрес         Значение
SumNum        00AA:1CCD            0
a             00AA:1CCF            15
b             00AA:1CD1            12

В стеке (порядок следования не учитываем):
Адрес        Значание
 ABC0:2234      0              - значение
 ABC0:2236      12             - значение
 ABC0:2238      15             - значение

после вычисления x:
Адрес        Значание
 ABC0:2234      27              - значение
 ABC0:2236      12             - значение
 ABC0:2238      15             - значение

Еще раз. Во втором примере переменная SumNum видна внутри процедуры. Она описана до процедуры.
Как другой вариант для пробы. Опиши переменную SumNum внутри процедуры, оставив ее описание в голове программы.

Var a, b : integer;
SumNum : integer;

Procedure summa (x : integer; a, b : integer);
Var SumNum : integer;

Begin
x:=a+b;
SumNum:=x;
End;

Что получается?


Как-то так, ...
PS: Второй пример плох. Это только некоторая случайность, которая позволила получить верный результат.

[min@y™]

Правильно когда-то наш старый пердун препод говорил: увижу глобальную переменную там, где без неё можно обойтись – получите подсрачник и на пересдачу!

Как же дед был прав!

По делу: убери все глобальные переменные и всё сразу станет понятно.
Совет: именуй формальные параметры так, чтобы было понятно, что это формальные параметры. Я использую букву «А». Например:

    function SendBufferToMacAddress(const AMac: TMacAddress; // посылка буфера данных по заданному МАС-адресу
                                    const AData; const ASize: DWORD): Boolean;
    function SendTextToMacAddress(const AMac: TMacAddress; // посылка строки текста по заданному МАС-адресу
                                  const AText: string): Boolean;

[Serge_Bliznykov]

По делу: убери все глобальные переменные и всё сразу станет понятно.

+1

кстати, в Паскале в подобном коде использование глобальных переменных ОЧЕНЬ просто выявляется.
Нужно блок VAR перенести ПОСЛЕ всех функций и процедур:

Program Proc_2;
Uses crt;

Procedure summa (x : integer; a, b : integer);
Begin
x:=a+b;
SumNum:=x;
End;

Var a, b : integer;
SumNum : integer;

И компилятор сразу "заголосит", что в процедуре используется переменная, про которую он ничего не знает!
Вот от неё и надо избавляться!

[min@y™]

кстати, в Паскале в подобном коде использование глобальных переменных ОЧЕНЬ просто выявляется.
Нужно блок VAR перенести ПОСЛЕ всех функций и процедур

Это понятно. Но лучше всё ж не перемещать блок var, а удалить его совсем. Очень много досадных ляпсусов сразу самоликвидируются.

[Леньчик]

Дорогие друзья! Спасибо Вам за помощь! Вы прислали мне очень много интересной и полезной информации! Обязательно разберусь! Самой, конечно, трудно организовать процесс самообучения, к тому же я вижу, что мои знания очень и очень невелики. Я хотела узнать ещё насчёт возможности дополнительного обучения. Но я не знаю, вправе ли я спрашивать это здесь? Если нет, то прошу меня извинить. Может быть, эту тему можно создать в другом разделе? Прошу меня простить, если я что-то нарушила. В любом случае я очень благодарна всем Вам за то, что прислали мне столько откликов! Спасибо!!!

[min@y™]

Сообщение от Леньчик

Дорогие друзья! Спасибо Вам за помощь! Вы прислали мне очень много интересной и полезной информации! Обязательно разберусь! Самой, конечно, трудно организовать процесс самообучения, к тому же я вижу, что мои знания очень и очень невелики. Я хотела узнать ещё насчёт возможности дополнительного обучения. Но я не знаю, вправе ли я спрашивать это здесь? Если нет, то прошу меня извинить. Может быть, эту тему можно создать в другом разделе? Прошу меня простить, если я что-то нарушила. В любом случае я очень благодарна всем Вам за то, что прислали мне столько откликов! Спасибо!!!

Ой не надо! Ой щекотно!!!
Совет: скачай годную хорошую книжку и прочитай для начала первые 5-6 глав. Будет хорошо. Если появится желание читать дальше, то есть вероятность стать начинающим программистомЪ...

[Леньчик]

Сообщение от min@y™

Ой не надо! Ой щекотно!!!
Совет: скачай годную хорошую книжку и прочитай для начала первые 5-6 глав. Будет хорошо. Если появится желание читать дальше, то есть вероятность стать начинающим программистомЪ...

Из твоего предыдущего сообщения видно, что тебя обучал преподаватель. Значит тебе дали какую-то базу знаний. Тебе было на что опираться, поэтому тебе легко давать такие советы.
Мы не в равных условиях.
Я же просто хотела узнать – есть ли возможность обучиться факультативом или как-нибудь ещё.

[min@y™]

Из твоего предыдущего сообщения видно, что тебя обучал преподаватель. Значит тебе дали какую-то базу знаний. Тебе было на что опираться, поэтому тебе легко давать такие советы.

Ты ошибаешься. Препод был, но он не обучал. Он помогал советами (интернетов тогда было мало) и принимал лабы, курсачи, зачёты и экзамены. И по диплому я не программист, а инженер-конструктор ЭВА. Программированию нельзя научить, это не таблица умножения. Программированию можно только научиться.

Мы не в равных условиях.

Хых... и не поспоришь. Разве должно быть по-другому?

Я же просто хотела узнать – есть ли возможность обучиться факультативом или как-нибудь ещё.

Только если есть желание.