78. Способи передавання значень параметрів процедурам

Допускается два различных способа передачи переменных процедуре или функции: по ссылке и по значению. Если переменная передается по ссылке, то это означает, что процедуре или функции будет передан адрес этой переменной в памяти. При этом происходит отождествление формального аргумента процедуры и переданного ей фактического параметра. Тем самым вызываемая процедура может изменить значение фактического параметра: если будет изменен формальный аргумент процедуры, то это скажется на значении переданного ей при вызове фактического параметра. Если же фактический параметр передается по значению, то формальный аргумент вызываемой процедуры или функции получает только значение фактического параметра, но не саму переменную, используемую в качестве этого параметра. Тем самым все изменения значения формального аргумента не сказываются на значении переменной, являющейся фактическим параметром.

Способ передачи параметров процедуре или функции указывается при описании ее аргументов: имени аргумента может предшествовать явный описатель способа передачи. Описатель ByRef задает передачу по ссылке, a ByVal — по значению. Если же явное указание способа передачи параметра отсутствует, то по умолчанию подразумевается передача по ссылке.

79. Локальні дані процедур

Давайте посмотрим что мы знаем о локальных переменных, они могут быть использованы лишь в пределах локальной переменной и не занимают места, так как уничтожаются при завершении процедуры создателя. Что ещё может произвольно изменяться на протяжении процедуры и всегда возвращается к своему изначальному значению в конце процедуры? Конечно это стек. То есть для того чтоб создать локальную переменную нам достаточно лишь уменьшить стек на нужное нам количество байт, адресовать же переменную мы можем через ebp, создав переменные сразу после создание стекового кадра. Давайте рассмотрим простой пример процедуры с двумя параметрами и одной локальной переменной: procedure proc push ebp mov ebp,esp sub esp,4 ........ leave ret 8 procedure endp В этой процедуре возможно обращение к следующим переменным: dword ptr [ebp+08h] - параметр 1 dword ptr [ebp+0Ch] - параметр 2 dword ptr [ebp-04h] - локальная переменная Также мы видим, что в конце процедуры вместо команды ret находится команда ret 8. Дело в том, что процедура должна удалять параметры, переданные ей в стеке, поэтому цифра после ret является количеством удаляемых из стека байт после завершения процедуры. Последняя деталь, стоящая обсуждения, является получение адреса локальных переменных или параметров для передачи их процедурам. Тут, к сожалению, не обойтись без какого-либо регистра, например eax. Для вычисления адреса используется команда lea: lea eax,[ebp+08h]

80. Пролог та епілог процедури

Приклад процедури
. data varA dd 2014 varB dd ? ...
. code
; ця процедура має два параметри, які передаються через стек DoSomething proc push ebp ;пролог mov ebp, esp
mov eax, [ebp+12] add eax, 8	;перший параметр - звичайне число ;якось його використовуємо
mov ebx, [ebp+8] mov [ebx], eax	;другий параметр - вказівник ;запис значення ЕАХ у пам'ять по вказівнику
mov esp, ebp pop ebp ret 8 DoSomething endp	;епілог процедури - відновлюємо стек ;у стеку були два параметри - 8 байтів
push varA push offset varB call DoSomething	;перший параметр - значення перемінної varA ;другий параметр - адреса перемінної varB

Пролог - создание стекового кадра, что значит сохранить текущее значение стека в ebp (или любой другой регистр), предварительно сохранив его в тот же стек, и адресовать наши переменные уже через этот регистр. push ebp mov ebp,esp

Епілог - восстановление ebp и esp, mov esp,ebp pop ebp