汇编程序中如何使用堆栈

首先在程序头部定义程序堆栈的大小

比如.stack 64

那么堆栈的大小就是64个字节，而每个堆栈单元默认是两个字节（也就是一个字WORD），那么64/sizeof(WORD) = 64/2 = 32也就是有32个单元。

根据计算机体系的不同，有的栈是从低位往高位存储的，而在大姿芦多数的Intel机器上，栈的存储是从低位往高位存储的。

随后就可以在程序中使用堆栈指令

比如push ax将一个16位的ax寄存器（在Intel体系中也称为16位累加器），压入栈，那么栈顶指针ss-sizeof(WORD)=ss-2（Intel体系栈从高位往低位存储）

使用pop ax语句就是将ss所指向的单元d出给ax寄存器，同时ss+2。雀迟

栈的 *** 作遵守先进后出(FILO）原则，顷册李下面据个例子：

进栈

push ax

push bx

push cx

.... 若干语句

出栈（注意顺序）

pop cx

pop bx

pop ax

如果是系统默认，那你这程序有何意义？所以程序应使用你自己定义的堆栈，这也是你的目的。雹姿碰

回到你问题，册启你之前有 assume ss:XX ，但编译器并不会就此认为 XX 就是你定义的堆栈，你得有所表示，所以你在源程序中一定要有语句表明你的意图，例如：MOV AX,XX MOV SS,AX

这样，源谈XX 就跟堆栈段 SS 联系起来了，程序也就知道你定义的堆栈在哪了。

下面给一个简单例子，将数据段data的内容逆序存放到堆栈段stack中

ASSUME CS:CODE, DS:DATA, SS:STACK

DATA SEGMENT

DW 1,2,3,4,5,6,7,8

DATA ENDS

STACK SEGMENT

DW 0,0,0,0,0,0,0,0

STACK ENDS

CODE SEGMENT

START: MOV AX,DATA这里将自定义的数据段 DATA 与 DS 联系起来

MOV DS,AX

MOV AX,STACK 这里将自定义的堆栈段 STACK 与 SS 联系起来

MOV SS,AX

MOV SP,10H

MOV BX,0

MOV CX,8

S:PUSH [BX]

ADD BX,2

LOOP S

MOV AX,4C00H

INT 21H

CODE ENDS

END START

您正在看的汇编语言是:hello,world!win32汇编小程序。

首先我们看一个“复杂”的Win32汇编程序

程序用来显示一个消息框

--------------------------------------------------

文件名：3.asm

.386

.model flat ,stdcall

NULLequ 0

MB_OK equ 0

ExitProcess PROTO :Dword

MessageBoxA PROTO :DWORD,:DWORD,:DWORD,:Dword

includelib kernel32.lib

includelib user32.lib

.data

szTextdb "Hello, world!",0

szCaption db "Win32Asm",0

.code

start:

push MB_OK

lea eax,szCaption

push eax

lea eax,szText

push eax

push NULL

call messageboxa

xor eax,eax

push eax

call exitprocess

end start

--------------------------------------------------

编译链接：

分下面两步进行：

ml /c /coff 3.asm

link /subsystem:Windows /libpath:d:\masm7\lib 3.obj

第一步编译生成3.obj文件

/c 表示只编译，不链接

/coff 表示生成COFF格式的目标文件

第二步链接生成3.exe文件

/subsystem:windows 表示闭姿贺生成Windows文件

/libpath:d:\masm7\lib 表示引入库的路径为：d:\masm7\lib。

在安装Masm32后，引入库位于Masm32\Lib目录下。

也可设置环境变量Lib的值：在dos提示符下键入Set Lib=d:\masm7\lib，这样“链接”就可简单写成：

link /subsystem:Windows 3.obj，试想一下，在程序调试过程中，修改源程序是常用的事啦，每次编译链接都要带/libpath:...那该有多烦人呢。当然，我们也可在源程序中直接给出引入库的位置，这样，链接时就方便啦,如下：

includelib d:\masm7\lib\kernel32.lib

includelib d:\masm7\lib\user32.lib

--------------------------------------------------

执行：在dos提示符下键入3，回车，出现一个消息框，哈哈，真正的Win32程序！

--------------------------------------------------

深入分析：

看一下源程序，轿派有这么两行：call messageboxa\call exitprocess。大家一看都知道，这是子程序调用，但是我们并没写这样的子程序，事实上，这些是API函数。作为函数，我们在调用时可能需要传送给函数一些参数，程册中序怎么知道传送的参数有哪些，类型是什么呢？就是通过函数原型定义，如下所示：

ExitProcess PROTO :Dword

MessageBoxA PROTO :DWORD,:DWORD,:DWORD,:Dword

可以看出，ExitProcess有一个参数，MessageBoxA有四个参数，这些参数都是Dword类型。

在Win32中，参数的传递都是通过堆栈来完成的。象MessageBoxA这个函数有四个参数，究竟是左边的先压入堆栈还是右边的先入栈呢？.model flat,stdcall给出了答案。stdcall 指定参数是从右到左压入堆栈的，且调整堆栈是在子程序返回时完成的。在源程序中不需要用“add sp,值”来保持堆栈平衡。对MessageBox，在API手册中是这样定义的：

int MessageBox(

HWND hWnd, // handle of owner window

LPCTSTR lpText, // address of text in message box

LPCTSTR lpCaption, // address of title of message box

UINT uType&n

您正在看的汇编语言是:hello,world!win32汇编小程序。

bsp// style of message box

)

所以会有我们的程序段：

push MB_OK

lea eax,szCaption

push eax

lea eax,szText

push eax

push NULL

call messageboxa

看看上面的程序，不难想到，假如在写程序时，少往堆栈里压入一个数据，那将是一个致命的错误。能不能将这种检查参数个数是否匹配的工作交给计算机来完成呢？这是可以的，INVOKE指令可以帮助我们完成这样的工作。假如你的参数个数不正确，连接器将给出错误提示。所以，极力建议你使用invoke代替call来调用子程序，当然，这不是绝对的。使用invoke上面的指令就可简写成下面的样子，看起来简炼多啦，查错也方便啦！

invoke messageboxa, NULL,addr szText,addr szCaption,MB_OK

另外，像NULL，MB_OK都是一些常量，这样的常量有很多，还有很多的结构，如果在我们的程序中一开始都写这么多的东西，可能一下子就把你吓怕啦，也容易出错，更不便于看程序的主要部分。hutch整理的Windows.inc包含了WIN32编程所需要的常量和结构体的定义，我们可简单的用一个include指令将这些常量和结构的定义插入到我们的文件中：

include d:\masm32\include\Windows.inc

但是Windows.inc中并不包含函数原型的声明，还要从其他的头文件中得到函数原型的声明，比如：messageboxa的原型声明在user32.inc文件中，exitprocess在kernel32.inc文件中。这些头文件都放在 \masm32\include文件夹下。

还有，要用Windows.inc，必须使用option casemap:none，它的意思是告诉 MASM 要区分符号的大小写，譬如：start和START是不一样的。否则，一个小小的程序，可能会出成百上千的错误呀！

其他的，就不再细说啦，到此，上面的程序可重新修改如下：

-----------------------------------------------------------------

最终的结果

.386表示要用到386指令

.model flat,stdcall 32位程序，要用flat啦！stadcall,标准调用

option casemap:none 区别大小写

includeWindows.inc 包括常量及结构定义

includekernel32.inc 函数原型声明

includeuser32.inc

includelib kernel32.lib 用到的引入库

includelib user32.lib

.data数据区，定义2个字符串

szTextdb "Hello, world!",0

szCaption db "Win32Asm",0

.code 代码开始执行处

start:

invoke MessageBox,NULL,addr szText,addr szCaption,MB_OK

调用MessageBoxAPI函数

invoke ExitProcess,NULL 程序退出

end start结束

------------------------------------

编译链接：

ml /c /coff /I d:\masm7\include 3.asm 注意开关符识别大小写

link /subsystem:Windows /libpath:d:\masm7\lib 3.obj

/I d:\masm7\include 表示*.inc文件的位置，也可设置环境变量Set include=d:\masm7\include来简化 *** 作，也可在程序中明确指出*.inc的位置。

前面讲的都是用两条指令来完成编译链接，实际上用一条指令也可完成，如下：

ml /coff /I d:\masm7\include 3.asm /link /subsystem:Windows /libpath:lib

若*.inc及引入库在源程序中都明确指出其位置，则可简化为：

ml /coff 3.asm /link /subsystem:

---