【新书推荐】7.5 goto、break、continue语句

本节必须掌握的知识点:

        示例二十六

        代码分析

        汇编解析

        示例二十七

        代码分析

        汇编解析

7.5.1 示例二十六

goto语句:无条件转移语句。

语法格式:

goto label;

label :

代码;

●语法解析:

执行到goto语句时,则无条件跳转到label标记。其实就是汇编无条件跳转指令JMP,但是与JMP指令又有区别。

示例代码二十六

       ●第一步:分析需求,设计程序结构框架。

分析需求:构建一个while循环语句,当n > m时,重复执行whiler循环语句,重复语句块设了一个地址标号label:,while语句外的goto label;语句直接跳转到label地址标号处执行。

设计程序结构框架:goto语句跳入while循环结构内的重复语句。

       ●第二步:数据定义,定义恰当的数据结构;

       int n;//定义一个int类型的整型局部变量n,并将其初始化为1。

       int m;//定义一个int类型的整型局部变量m,并将其初始化为2。

       ●第三步:分析算法。

当执行goto语句时,直接跳过了while语句的条件判断,执行重复语句块内的n++;语句。

       ●第四步:编写伪代码,即用我们自己的语言来编写程序。

       int main(void) {

    定义一个int类型整型循环变量n=1和m=2;

    goto label;跳转到label地址标号处

    while (n > m){ //条件为真执行重复语句块

    调用printf函数打印信息:"这句话是执行不到的"       

label

n++

调用printf函数打印信息:("n=%d\n",n)        

}                   

调用printf函数打印信息"这句话可以执行到吗?\n" 

system("pause");

    return 0;                                                                                                    

}

       ●第五步:画流程图,使用Visio、Excel或者其他绘图工具绘制算法流程和逻辑关系图;            如图7-5所示。

【新书推荐】7.5 goto、break、continue语句_第1张图片

图7-5 示例二十六goto语句

●第六步:编写源程序,其实就是将我们的伪代码翻译成计算机语言;

/*

   goto语句

*/

#include

#include

int main(void) {

    int n = 1, m = 2;

    goto label; //跳转到label地址标号处

    while (n > m)

    {

        printf("这句话是执行不到的");

label: n++;

        printf("n=%d\n", n);

    }

    printf("这句话可以执行到吗?\n");

    system("pause");

    return 0;

}

●输出结果:

n=2

这句话可以执行到吗?                                                

7.5.2 代码分析

按照while语句的语法格式,是先判断条件再执行语句块,由于我们加了goto语句打乱了while语句的正常执行流程。

1.申请变量n、m,并赋值为n=1,m=2;

2.执行goto语句,无条件跳转到label标记的代码处;

3.执行label 标记对应的代码处,n++;【此时我们看到代码并没有执行while语句对应的表达式,也没有判断表达式的真假,而是直接跳到了while语句块内执行label标记】。

4.输出n的值,1+1=2,n=2

5.此时在判断while语句表达式是否为真,2=2,条件为假,退出循环体

6.执行printf("这句话可以执行到吗?");

7.结束程序。

 

结论

       1.goto语句为无条件跳转语句,跳转到goto后的地址标号处。

2.goto语句破坏了循环结构,也为退出循环提供了一个便捷通道。

       3.goto语句中的地址标号只能在同一个函数内,不可以是另一个函数中的地址标号。

7.5.3 反汇编解析

汇编代码

       ;C标准库头文件和导入库

include vcIO.inc

.data

n sdword  1

m sdword  2

.const    

szMsg1 db "这句话是执行不到的",0dh,0ah,0

szMsg2 db "n = %d",0dh,0ah,0

szMsg3 db "这句话可以执行到吗?",0dh,0ah,0

.code     

start:

       mov eax,m

       jmp label1

       .while n > eax

              invoke printf,offset szMsg1 

label1:

              inc sdword ptr n;

              invoke printf,offset szMsg2,n

       .endw

       invoke printf,offset szMsg3 

       ;     

       invoke _getch

       ret                       

end start

●输出结果:

n=2这句话可以执行到吗?

在上述汇编代码中,jmp label1语句对应C语言中的“goto label;”语句,跳转到地址标号label1处。紧接着.while高级汇编伪指令对应C语言中的while循环语句,不需要再多解释。

反汇编代码

           int n = 1, m = 2;

001C1046  mov         dword ptr [n],1 

001C104D  mov         dword ptr [m],2 

    goto label;//跳转到label地址标号处

001C1054  jmp         label (01C106Bh)  ;无条件跳转到label地址处

    while (n > m)

001C1056  mov         eax,dword ptr [n] 

001C1059  cmp         eax,dword ptr [m] 

001C105C  jle         label+1Ch (01C1087h;n<=m时,(n=2)跳转到01C1087h地址处

    {

        printf("这句话是执行不到的");

001C105E  push        1C3000h 

    {

        printf("这句话是执行不到的");

001C1063  call        printf (01C10B0h) 

001C1068  add         esp,4 

    label: n++;

001C106B  mov         ecx,dword ptr [n] 

001C106E  add         ecx,1 

001C1071  mov         dword ptr [n],ecx 

        printf("n=%d\n", n);

001C1074  mov         edx,dword ptr [n] 

001C1077  push        edx 

001C1078  push        1C3014h 

001C107D  call        printf (01C10B0h) 

001C1082  add         esp,8 

    }

001C1085  jmp         main+16h (01C1056h)  ;无条件跳转到while语句起始位置

    printf("这句话可以执行到吗?\n");

001C1087  push        1C301Ch 

001C108C  call        printf (01C10B0h) 

001C1091  add         esp,4 

    system("pause");

001C1094  push        1C3034h 

001C1099  call        dword ptr [__imp__system (01C2078h)] 

001C109F  add         esp,4 

    return 0;

       上述反汇编代码将goto语句翻译为无条件跳转指令jmp语句,while语句翻译为CMP/JCC指令+JMP无条件跳转指令。请读者参照代码注释,分析程序的执行流程。

break语句

在循环中存在break语句,执行它相当于退出循环,跳转到循环语句块外的下一条语句地址处,详见“实验四十九for语句表现形式2的示例代码7-3-3.c”。

在6.3节switch语句中必然包含break语句。请读者回顾示例代码二十一的反汇编代码,查看break语句的跳转地址(跳出了switch语句块)。

此外,在7.1节do while语句的实验四十二中,do while语句嵌套的switch语句中也包含break语句。希望读者认真分析其反汇编代码,查看break语句的跳转地址。

基于上述break语句的示例,本节将不再重复介绍break语句的实现。

7.5.4 示例二十七

continue语句

我们用例子来看continue语句的用法。

示例代码二十七

●第一步:分析需求,设计程序结构框架。

分析需求:构建一个for循环语句,当循环变量i <= 10时,重复执行for循环语句块,重复语句块嵌套了一个if条件语句块,当循环变量i%2的模不为0时,执行if语句块,当执行到continue语句时,跳出本轮for循环,i++后执行下一轮循环。

设计程序结构框架:for语句嵌套if语句块,if语句块内的continue语句打断本轮循环,直接执行下一轮循环。

       ●第二步:数据定义,定义恰当的数据结构;

       for语句的条件表达式中定义循环变量int i=1;

       ●第三步:分析算法。

当执行for循环语句时,如果if语句的条件判断为真,执行if语句块,当执行到continue语句时退出本轮for循环,进入下一轮循环。如果if语句条件表达式为假,执行printf("i = %d\n", i);

       ●第四步:编写伪代码,即用我们自己的语言来编写程序。

       int main(void) {

    定义一个for循环语句;    表达式1:int i=1;

    表达式2:i <= 10;

    表达式3:i++;

    for (表达式1;表达式2;表达式3){ //条件为真执行重复语句块

        if(i%2)条件为真执行if语句块{

      调用printf函数打印信息("%d\n", i);        

continue;// 执行到continue;时后面的printf(“■”);将不执行,被跳过。

调用printf函数打印信息("■");

}

调用printf函数打印信息("i = %d\n", i);   

}                   

system("pause");

    return 0;                                   

}

●第五步:画流程图,使用Visio、Excel或者其他绘图工具绘制算法流程和逻辑关系图;如图7-6所示。

【新书推荐】7.5 goto、break、continue语句_第2张图片

图7-6 示例二十七continue语句

●第六步:编写源程序,其实就是将我们的伪代码翻译成计算机语言;

       /*

   continue语句

*/

#include

#include                                 

int main(void) {

    for (int i = 1; i <= 10; i++)          

    {

        if (i % 2)

        {

            printf("%d\n", i);

            continue;//执行continue;后面的printf(“■”);将不执行,被跳过。

            printf("■");

        }

        printf("i = %d\n", i);

    }

    system("pause");

    return 0;

}

●输出结果:

1

i = 2

3

i = 4

5

i = 6

7

i = 8

9

i = 10

请按任意键继续. . .

7.5.5 代码分析

       1.当循环变量i=1时,for循环条件表达式为真,执行for循环语句块;

       2.循环变量i=1时,i%2的模为1,if语句条件表达式为真,执行if语句块;

       首先执行printf("%d\n", i);,然后执行continue语句,参考continue语句的流程图,我们清晰地看到continue语句跳过了printf("■");语句,直接跳到了n++;语句,然后开始下一轮循环。

       3.当循环变量i=2时,for循环条件表达式为真,执行for循环语句块;

4.循环变量i=2时,i%2的模为0,if语句条件表达式为假,执行printf("i = %d\n", i);然后执行n++;语句,开始下一轮循环。

7.5.6 汇编解析

汇编代码

       ;C标准库头文件和导入库

include vcIO.inc

.data

i sdword  ?

.const    

szMsg1 db "%d",0dh,0ah,0

szMsg2 db "■",0

szMsg3 db "i = %d",0dh,0ah,0

.code     

start:

       mov sdword ptr i,1

next1:

       .while i <= 10

              mov eax,i

              mov ebx,2

              cdq

              idiv ebx

              .if edx

                     invoke printf,offset szMsg1,i

                     jmp next2      ;continue语句

                     invoke printf,offset szMsg2

              .else

                     invoke printf,offset szMsg3,i      

              .endif

next2:           

              inc sdword ptr i;

              jmp next1

       .endw

       ;     

       invoke _getch

       ret                       

end start

●输出结果:

1

i = 2

3

i = 4

5

i = 6

7

i = 8

9

i = 10

 

结论

上述汇编代码使用.while和.if/.else语句,等同于C语言中的for语句和if/else语句。比较有意思的是:汇编代码使用jmp无条件跳转指令实现了continue语句。对比C语言,汇编代码清晰的标注了跳转的地址标号,而C语言省略了地址标号,仅此而已。

反汇编代码

           for (int i = 1; i <= 10; i++)

01341044  mov         dword ptr [ebp-4],1  ;表达式1:循环变量i初始化为1

    for (int i = 1; i <= 10; i++)

0134104B  jmp         main+16h (01341056h;跳转到表达式2

0134104D  mov         eax,dword ptr [ebp-4] ;表达式3:i++

01341050  add         eax,1 

01341053  mov         dword ptr [ebp-4],eax 

01341056  cmp         dword ptr [ebp-4],0Ah ;表达式2:条件判断语句

0134105A  jg          main+63h (013410A3h;如果变量i>10则退出循环

    {

        if (i % 2)

0134105C  mov         ecx,dword ptr [ebp-4] ;取变量i的值送入ecx寄存器

0134105F  and         ecx,80000001h        ;这里是否还有印象?

01341065  jns         main+2Ch (0134106Ch;正整数则跳转

01341067  dec         ecx                 ;判断负整数

01341068  or          ecx,0FFFFFFFEh 

0134106B  inc         ecx 

0134106C  test        ecx,ecx 

0134106E  je          main+50h (01341090h;ecx为0(偶数)跳转到01341090h地址处

        {

            printf("%d\n", i);奇数则打印信息

01341070  mov         edx,dword ptr [ebp-4] 

01341073  push        edx 

01341074  push        1343000h 

01341079  call        printf (013410C0h) 

0134107E  add         esp,8 

        continue;//执行到continue;时后面的printf(“■”);将不执行,被跳过。

01341081  jmp         main+0Dh (0134104Dh;无条件跳转到循环语句的表达式3

            printf("■");

01341083  push        1343004h 

01341088  call        printf (013410C0h) 

0134108D  add         esp,4 

        }

        printf("i = %d\n", i);

01341090  mov         eax,dword ptr [ebp-4] 

01341093  push        eax 

01341094  push        1343008h 

01341099  call        printf (013410C0h) 

0134109E  add         esp,8 

    }

013410A1  jmp         main+0Dh (0134104Dh;无条件跳转到循环语句的表达式3

    system("pause");

013410A3  push        1343010h 

    system("pause");

013410A8  call        dword ptr [__imp__system (01342078h)] 

013410AE  add         esp,4 

    return 0;

       请读者仔细阅读代码注释,此处不再赘述。

 

总结

1.如果continue语句是在for语句大括号内,当continue语句被执行时,表示结束一轮循环、直接进入下一循环。也就是说continue语句后面的语句不被执行。

2.正确使用goto、break和continue语句时,这两个语句的执行速度会比结构化程序设计技术的执行速度更快。

3.break和continue语句用于改变控制流。当while、for、do/while或switch语句中执行break语句时,break语句会造成程序从语句退出,程序会接着执行该语句之后的第一条语句。

4.break语句的常规用途时从循环语句中退出,或跳过switch语句中剩余部分。

5.continue语句的作用是跳过剩余语句,并执行循环的下一次迭代。

练习

1、使用goto语句,求 1+2+3+......+100的和。

       2、请修改示例代码二十七,不使用continue语句,实现相同的功能。

       3、请修改“实验四十九for语句表现形式2的示例代码7-3-3.c”,不使用break语句实现相同的功能。

本文摘自编程达人系列教材《汇编的角度——C语言》。资料下载www.bcdaren.com

你可能感兴趣的:(《汇编的角度——C语言》,汇编,c语言)