测试代码
- #include <stdio.h>
- int main()
- {
- int sum = 0;
- int i = 0;
- do
- {
- sum += i;
- i++;
- } while (i < 2);
- return 0;
- }
分析核心反汇编
jl小于等于跳转
总结一下do while循环的特点
- _loop:
- XXX
- XXX
- XXX
- cmp XXX, XXX
- JCC _loop
do while循环的特点是先执行循环体,再判断循环条件进行跳转
和if分支的结构有所不同,if分支是往下跳,而do while语句是往上跳,有了这个特性,就能很好的区分 if和do while语句了
测试代码
- #include <stdio.h>
- int main()
- {
- int sum = 0;
- int i = 0;
- while (i < 2)
- {
- sum += i;
- i++;
- }
- return 0;
- }
分析核心反汇编代码
特征总结
- _loop:
- CMP XXX,XXX
- JCC _end
- ......
- ......
- jmp _loop
- _end:
do while和while的区别在于do while先执行循环体,再进行条件判断;而while是先进行判断,再执行 循环体内容,然后再次跳转到循环头部,所以你会发现while循环中使用了两次跳转指令完成循环,因 为多用了一次跳转指令,所以while循环比do while循环效率低。
测试代码
- #include <stdio.h>
- int main()
- {
- int sum = 0;
- for (int i = 0; i < 2; i++)
- {
- sum += i;
- }
- return 0;
- }
分析核心反汇编
for循环的执行顺序是先执行变量初始化,再执行判断条件,再执行循环体,最后执行i++,是一个1243 的执行流程。
VS编译器由3次跳转完成了循环过程,其中一次为条件比较跳转,另外两次为jmp跳转。for循环为什么 要设计的如此复杂呢?由于for循环分为了赋初值,设置循环条件,设置循环步长这三个部分,为了单 步调试程序,将汇编代码和源码一一对应,才有了这样的设计。
for循环特点总结
- _init:
- 初始化块
- int i=0;
- JMP _loop
- _start:
- i++;(步长块)
- _loop:
- CMP XXX
- JCC _end
- ...执行循环体....
do while效率大于while大于for,do while只需要执行一次跳转,while需要执行两次跳转,而for循环 逻辑最为复杂,需要执行三次跳转