什么是子程序?子程序的概念

    把可以多次调用、能够完成特定操作功能的程序段编写成独立的程序模块称为子程序，又称其为过程。主程序与子程序之间的关系如图1所示。

    图1　主程序与子程序间的关系

    一、子程序特性

    1．重复性

    2．通用性

    3．可浮动性

    4．可递归和可重入性

    二、子程序定义

    格式：　

    PROCEDURE　NAME　PROC　ATTRIBUTE

    ┇

    PROCEDURE　NAME　ENDP

    1．子程序名

    2．属性

    ①NEAR

    ②FAR。

    三、子程序的设计方法

    子程序是程序设计中经常使用的程序结构，通过把一些固定的、经常使用的功能做成子程序的形式，可以使源程序及目标程序大大缩短，提高程序设计的效率和可靠性。

    对于一个子程序，应该注意它的入口参数和出口参数。

    入口参数是由主程序传给子程序的参数，而出口参数是子程序运算完传给主程序的结果。另外，子程序所使用的寄存器和存储单元往往需要保护，以免影响返回后主程序的运行。

    主程序在调用子程序时，一方面初始数据要传给子程序，另一方面子程序运行结果要传给主程序，因此，主子程序之间的参数传递是非常重要的。

    四、子程序的调用和返回

    1．CALL指令

    2．RET指令

    五、现场保护与现场恢复

    1．现场保护与现场恢复的原因

    2．现场保护与现场恢复的实现

    （1）PUSH/POP

    （2）PUSHA／POPA

    （3）PUSHAD／POPAD

    六、参数传递的实现

    参数传递一般有四种方法实现：

    (1)　利用寄存器

    这是一种最常见方法，把所需传递的参数直接放在主程序的寄存器中传递给子程序。

    (2)　利用存储单元

    这种参数传递方法，把所需传递的参数直接放在子程序调用指令代码之后。若子程序和调用程序在同一源文件(同一程序模块)中，则子程序可直接访问模块中的变量，进行参数传递。

    (3)　利用堆栈

    这种方法将参数压入堆栈，在子程序运行时从堆栈中取参数。

    下面我们通过实例说明子程序设计及参数传递方法。

    （4）　通过地址表传递参数地址

    这种方法是在主程序中建立一个地址表，把要传送给子程序的参数都存放在地址表中，然后把地址表的首地址通过寄存器BX传送到子程序中去。子程序通过地址表取得所需参数，并把结果存入指定的存储单元中去。

    五、增强功能的子程序定义伪操作

    从MASM5．1版开始为用户提供增强功能的过程定义伪操作

    伪操作格式：

    procname　　PROC　　　[attribute　field][USES　register　list][,　parameter　field]

    ┇

    procname　　ENDP

    说明：

    ①．其中属性字段(attribute　field)有以下几项组成：distance　　language　type　　visibility　　prologue，每一项均为可选，各项之间用一空格或制表符分开。

    Ⅰ．distance就是NEAR或FAR。

    Ⅱ．language　type说明当该过程作为某高级语言程序的子过程时所用的高级语言。

    Ⅲ．visibility说明该过程的可见性，可用Private或Public。如用Private则该过程的可见性只能是当前的源文件；如用Public则允许其他模块调用该过程(默认)。

    Ⅳ．prologue是一宏的名字,允许用户用宏来控制过程的入口和出口有关的代码。

    ②．USES字段允许用户指定所需保存和恢复的寄存器表，MASM将在过程入口自动生成push指令来保存这些寄存器，并在过程出口的ret指令前自动生成pop指令来恢复这些寄存器。

    ③．参数字段允许用户指定该过程所用参数，其格式为：identifier:type[,identifier:type]其中identifier给出参数的符号名，type给出参数的类型。参数之间用逗号隔开。

    增强功能的过程定义伪操作还可在过程中定义局部变量。

    局部变量是指在过程内部使用的变量。它是在过程被调用时在堆栈中建立的，在退出过程时被释放。它是以[BP-2]、[BP-4]、…的形式被访问的。MASM规定，在过程内可以用LOCAL伪操作为局部变量申请空间。

    伪操作格式：LOCAL　　vardef　[，vardef]

    说明：

    ①．其中变量定义可用的格式为：label　　　label:type　　　label　[count]:type其中第一个未指定类型者MASM将使用WORD。type可以指定任意合法的类型说明。第三种类型为用户申请数组提供了方便。

    ②．LOCAL语句必须紧跟在过程定义伪操作之后，并在任何80x86指令或可以产生任何代码的MASM语句之前出现。它可以定义多个局部变量。

    七、程序的调用

    1．递归的概念

    2．递归的特点