本节必须掌握的知识点:
示例二十四
代码分析
汇编解析
7.3.1 示例二十四
■for语句语法形式:
for(表达式1;表达式2;表达式3)
{
语句块;
}
●语法解析:
第一步:执行表达式1,表达式1初始化循环变量;
第二步:执行表达式2,表达式2条件判断语句,如果表达式条件为真,则执行循环体内的语句块,否则退出for语句;
第三步:执行循环体内的语句块;
第四步:执行表达式3后置表达式;
第五步:继续执行下一轮循环,直到表达式2的条件为假,跳出for循环语句。
执行顺序:表达式1->表达式2->循环语句块->表达式3->表达式2->循环语句块->表达式3->表达式2->循环语句块……一直循环下去,直到到表达式2为假时,停止循环。接下来我们示例二十四来理解for语句的执行流程。
示例代码二十四 |
●第一步:分析需求,设计程序结构框架。
分析需求:构建一个for循环语句,当i<= 5时,重复执行for语句内的重复块。
设计程序结构框架:循环结构for语句。
●第二步:数据定义,定义恰当的数据结构;
int i;//定义一个int类型的整型局部变量i,并将其初始化为0,作为循环变量。
●第三步:分析算法。
利用for语句,当i<= 5时,重复执行for语句内的重复块。先判断后执行。
●第四步:编写伪代码,即用我们自己的语言来编写程序。
int main(void) {
定义一个int类型整型循环变量i;
表达式1:将循环变量i初始化为0;
表达式2:当i <= 5时执行大括号内的循环语句块
表达式3:执行完printf语句后,循环变量i加1
for (i = 0; i <= 5; i++){
调用printf函数打印信息:"i = %d\n"
}
调用printf函数打印信息:"i = %d\n"
system("pause");
return 0;
}
●第五步:画流程图,使用Visio、Excel或者其他绘图工具绘制算法流程和逻辑关系图; 如图7-3所示。
图7-3 示例二十四for循环语句
●第六步:编写源程序,其实就是将我们的伪代码翻译成计算机语言;
/*
for语句
*/
#include <stdio.h>
#include <stdlib.h>
int main(void) {
int i;
for (i = 0; i <= 5; i++)
{
printf("i = %d\n", i);
}
printf("i = %d\n", i);
system("pause");
return 0;
}
●输出结果:
i = 0
i = 1
i = 2
i = 3
i = 4
i = 5
i = 6
●第七步:调试程序,修复程序中可能出现的BUG;
参见反汇编代码。
●第八步:优化代码,尝试更好的设计方案,效率更高的算法,逻辑更为清晰简洁明了。
(无)
7.3.2 代码分析
分析for语句执行流程:
第一步:执行 int i = 0;
第二步:执行 i<=5;0<5条件为真,继续往下执行 ;
第三步:执行printf(“i = %d”,i);输出 i = 0;
第四步:执行i++; i=0+1,i=1;
第五步:执行i<=5;1<5条件为真,继续往下执行;
第六步:执行printf(“i = %d”,i);输出 i =1;
第七步:执行i++;i=1+1,i=2;
第八步:执行i<=5;2<5条件为真,继续往下执行;
第九步:执行printf(“i = %d”,i);输出 i =2;
第十步:执行i++;i=2+1,i=3;
第十一步:执行i<=5;3<5条件为真,继续往下执行;
第十二步:执行printf(“i = %d”,i);输出 i =3;
第十三步:执行i++;i=1+3,i=4;
第十四步:执行i<=5;4<5条件为真,继续往下执行;
第十五步:执行printf(“i = %d”,i);输出 i =4;
第十六步:执行i++;i=1+4,i=5;
第十七步:执行i<=5;5=5条件为真,继续往下执行;
第十八步:执行printf(“i = %d”,i);输出 i =5;
第十九步:执行i++;i=1+5,i=6;
第二十步:执行i<=5;6>5条件为假,退出循环;
退出for循环后,再次输出i的值为6。
这是这个程序的正向分析流程,我们看下它的反汇编是怎么体现的。
7.3.3 汇编解析
■汇编代码
;C标准库头文件和导入库
include vcIO.inc
.data
i sdword ?
.const
szMsg db "i = %d",0dh,0ah,0
.code
start:
mov i,0
NEXT:
.while i <= 5
invoke printf,offset szMsg,i
inc sdword ptr i;
jmp NEXT
.endw
;
invoke printf,offset szMsg,i
;
invoke _getch
ret
end start
●输出结果:
i = 0
i = 1
i = 2
i = 3
i = 4
i = 5
i = 6
上述汇编代码使用了.while高级汇编伪指令(没有.for高级汇编伪指令),实现了C语言中的for循环语句。
结论
从本质上看,C语言中的for语句就是while语句的简化形式。“mov i,0”语句对应表达式1;条件表达式“i <= 5”对应表达式2;“inc sdword ptr i”语句对应表达式3。
■反汇编代码
int i;
for (i = 0; i <= 5; i++)
00391838 mov dword ptr [i],0 ;表达式1:初始化循环变量i=0
0039183F jmp main+3Ah (039184Ah);无条件跳转到表达式2语句
00391841 mov eax,dword ptr [i]
00391844 add eax,1 ;表达式3:变量i加一
00391847 mov dword ptr [i],eax
0039184A cmp dword ptr [i],5 ;表达式2:比较变量i和5的大小
int i;
for (i = 0; i <= 5; i++)
0039184E jg main+53h (0391863h) ;如果i>5,则跳出for循环,否则执行循环语句
{
printf("i = %d\n", i)
00391850 mov eax,dword ptr [i]
00391853 push eax
00391854 push offset string "i = %d\n" (0397B30h) ;循环语句
00391859 call _printf (039104Bh)
0039185E add esp,8
}
00391861 jmp main+31h (0391841h) ;无条件跳转到表达式3
printf("i = %d\n", i);
00391863 mov eax,dword ptr [i] ;for循环外的下一条语句
00391866 push eax
00391867 push offset string "i = %d\n" (0397B30h)
0039186C call _printf (039104Bh)
00391871 add esp,8
system("pause");
00391874 mov esi,esp
00391876 push offset string "pause" (0397B38h)
0039187B call dword ptr [__imp__system (039B168h)]
00391881 add esp,4
总结
在for语句中:
表达式1基本上是用来定义循环控制变量或者说对循环语句的开始进行控制;
表达式2一般是用来判断条件是否满足的语句,满足条件则继续执行,不满足则退出for语句;
表达式3称为步长,一般是用来控制循环次数的,;
语句块:可以做任何事情。
实验四十八: for语句表现形式1
在VS中新建项目7-3-2.c:
/*
for语句的表现形式1:省略第一个表达式
*/
#include <stdio.h>
#include <stdlib.h>
int main(void) {
int i = 0; // 在for循环之前初始化
for (; i < 10; i++)// for语句中省去第一个表达式。但是分号不能少
{
printf("■");
}
printf("\n");
system("pause");
return 0;
}
●输出结果:
■■■■■■■■■■
请按任意键继续. . .
上述代码中的表达式1放置在for语句之前,for语句内只保留了一个’;’,其他保持不变。接下来我们通过反汇编代码观察一下这种形式的for语句的执行流程。
■反汇编代码:
int i = 0; // 在for循环之前初始化
009B1838 mov dword ptr [i],0 ;表达式1前置
for (; i < 10; i++)// for语句中省去第一个表达式。但是分号不能少
009B183F jmp main+3Ah (09B184Ah)
009B1841 mov eax,dword ptr [i]
009B1844 add eax,1 ;表达式3
009B1847 mov dword ptr [i],eax
009B184A cmp dword ptr [i],0Ah ;表达式2
for (; i < 10; i++)// for语句中省去第一个表达式。但是分号不能少
009B184E jge main+4Fh (09B185Fh) ;当i>=10,退出循环
{
printf("■");
009B1850 push offset string "\xa1\xf6" (09B7B30h)
009B1855 call _printf (09B104Bh)
009B185A add esp,4
}
009B185D jmp main+31h (09B1841h) ;跳转到表达式3
printf("\n");
009B185F push offset string "\n" (09B80D8h)
009B1864 call _printf (09B104Bh)
009B1869 add esp,4
结论
由上述反汇编代码可知,表达式1前置,对应for语句的执行流程没有任何改变。
练习
- 请读者书写程序7-3-2.c伪代码,并绘制流程图。
- 请读者将7-3-2.c翻译成汇编语言实现。
- 请读者分析7-3-2.c的反汇编代码。
实验四十九: for语句表现形式2
在VS中新建项目7-3-3.c:
/*
for语句的表现形式2:省略第二个表达式
*/
#include <stdio.h>
#include <stdlib.h>
int main(void) {
for (int i = 0;; i++)//变量i的作用域仅限for语句块内
{
if (i > 10)
{
break;//如果i>10则跳出循环,break是跳出for循环
}
printf("■");
}
//printf("i = %d\n",i);
system("pause");
return 0;
}
●输出结果:
■■■■■■■■■■■请按任意键继续. . .
实验四十九的代码需要注意两点:
1.变量i的定义放在了for语句内,那么变量i的作用域仅限for语句块。如果将下面的语句“printf("i = %d\n",i);”屏蔽去掉,编译时会提示错误信息“error C2065: “i”: 未声明的标识符”。在C语言中,变量是区分作用域的,也就是有效范围。如果是全局变量,则保存在全局区,在整个程序范围内都是有效的。如果局部变量定义在函数内,则保存在函数堆栈中,仅在函数内有效,函数运行结束后释放堆栈空间,局部变量也就消失了。此外还有两种类型的变量static静态变量和STL线程存储变量,这里暂不做介绍。
在C语言中,不同作用域的变量名可以相同,因为作用域不同,编译器编译时也会自动区分。
2.for语句的表达式2是一个条件表达式,其作用是控制循环结束条件。实验四十九中的代码将表达式2放置在循环语句块内,使用if语句判断条件,当i>10时,执行break语句,退出循环。break语句的作用就是退出循环,我们将在本章7.5节继续介绍break语句的使用方法。
【注】for语句中的表达式2分号不可以缺省。
接下来我们再看一下反汇编代码:
for (int i = 0;; i++)//变量i的作用域仅限for语句块内
00B01838 mov dword ptr [ebp-8],0 ;表达式1,[ebp-8]为局部变量i
for (int i = 0;; i++)//变量i的作用域仅限for语句块内
00B0183F jmp main+3Ah (0B0184Ah)
00B01841 mov eax,dword ptr [ebp-8] ;表达式3
00B01844 add eax,1
00B01847 mov dword ptr [ebp-8],eax
{
if (i > 10);表达式2
00B0184A cmp dword ptr [ebp-8],0Ah
00B0184E jle main+42h (0B01852h)
{
break;//如果i>10则跳出循环,break是跳出for循环
00B01850 jmp main+51h (0B01861h) ;退出循环
}
printf("■");循环语句
00B01852 push offset string "\xa1\xf6" (0B07B30h)
00B01857 call _printf (0B0104Bh)
00B0185C add esp,4
}
00B0185F jmp main+31h (0B01841h) ;跳转到表达式3
//printf("i = %d\n",i);
system("pause");
00B01861 mov esi,esp
上述反汇编代码中一个明显的变化就是变量i使用[ebp-8]来代替。为了进一步验证变量i的作用域,我们再做一个实验。
实验五十: for语句循环变量作用域
在VS中新建项目7-3-4.c:
/*
for语句循环变量作用域
*/
#include <stdio.h>
#include <stdlib.h>
int main(void) {
int i = 20;//作用域main函数内有效
for (int i = 0;; i++)//变量i的作用域仅限for语句块内
{
printf("\ni = %d", i);
if (i > 10)
{
break;//如果i>10则跳出循环,break是跳出for循环
}
printf("■");
}
printf("\ni = %d\n",i);//i=20
system("pause");
return 0;
}
●输出结果:
i = 0■
i = 1■
i = 2■
i = 3■
i = 4■
i = 5■
i = 6■
i = 7■
i = 8■
i = 9■
i = 10■
i = 11
i = 20
请按任意键继续. . .
上述代码中存在两个变量i,编译时并没有报错,说明变量名符号没有冲突。再看打印信息,for语句内打印的变量i从0~11。最后一个打印输出的变量i的值为20,显然是第一个变量i的值。
请读者查看一下反汇编代码,第一个变量i使用“[i]”表示,而第二个变量i使用“[ebp-14h]表示”。其余内容和使用四十九相同,不再赘述。
实验五十一: for语句形式3
在VS中新建项目7-3-5.c:
/*
for语句形式3:缺省表达式3
*/
#include <stdio.h>
#include <stdlib.h>
int main(void) {
for (int i = 0; i < 10;)
{
printf("■");
i++;
}
system("pause");
return 0;
}
●输出结果:
■■■■■■■■■■请按任意键继续. . .
上述代码将表达式3放置在循环语句块的结尾处,这应该和我们预想的一样,之前for语句的反汇编代码的执行流程就是如此。接下来我们再看一下反汇编代码的执行流程。
●反汇编代码:
for (int i = 0; i < 10;)
002D1838 mov dword ptr [ebp-8],0 ;表达式1
for (int i = 0; i < 10;)
002D183F cmp dword ptr [ebp-8],0Ah ;表达式2
002D1843 jge main+4Dh (02D185Dh) ;i>=10跳出循环
{
printf("■");循环语句
002D1845 push offset string "\xa1\xf6" (02D7B30h)
002D184A call _printf (02D104Bh)
002D184F add esp,4
i++;表达式3
002D1852 mov eax,dword ptr [ebp-8]
002D1855 add eax,1
002D1858 mov dword ptr [ebp-8],eax
}
002D185B jmp main+2Fh (02D183Fh) ;继续循环
system("pause");
002D185D mov esi,esp
上述反汇编代码和之前示例中的反汇编代码执行流程稍有不同,表达式3按照正常的代码编写顺序放置在printf语句之后。其实之前的反汇编代码也是按照代码的编写顺序进行编译的。
【注意】for (int i = 0; i < 10;)语句内的最后一个表达式’;’可以缺省。
实验五十二: for语句形式4
在VS中新建项目7-3-6.c:
/*
for语句形式4:缺省全部3个表达式
*/
#include <stdio.h>
#include <stdlib.h>
int main(void) {
for (;;)
{
printf("■");
}
system("pause");
return 0;
}
●输出结果:
不停的打印■,陷入死循环。
为什么会是这样呢?因为当表达式全部置空时,相当于没有初始值,没有控制语句,没有后置表达式,那么它将永远的循环下去,直到内存溢出,这就是所谓的死循环。
●反汇编代码:
for (;;)
{
printf("■");
011E1838 push offset string "\xa1\xf6" (011E7B30h)
for (;;)
{
printf("■");
011E183D call _printf (011E104Bh)
011E1842 add esp,4
}
011E1845 jmp main+28h (011E1838h) ;跳到for语句块起始位置
system("pause");
011E1847 mov esi,esp
上述反汇编代码可以看到,程序中没有循环控制变量,没有循环结束条件,因此陷入了无限循环。我们应绝对避免此类情况的发生。
练习
1、递增显示从0到输入的正整数为止的各个整数(for语句)。
2、输入一个整数,连续显示出该整数个*(for语句)。
3、输入规定数量个整数并显示出它们的合计值和平均值。
4、编写一个程序,求1到n的和。n的值从键盘输入。
5、根据输入的整数,循环显示1234567890,显示的位数和输入的整数值相同。
请输入一个整数:25
1234567890123456789012345
6、显示输入的整数值的所有约数。
7、编写一段程序,输入一个整数值,显示该数值以下的所有奇数。
整数值:15
1 3 5 7 9 11 13 15
8、编写一段程序,输入一个整数值,显示该整数值个‘*'。每显示5个就进行换行。
显示多少个*:12
*****
*****
**
*
本文摘自编程达人系列教材《汇编的角度——C语言》。