全部博文（372）
2012年（372）
分类： 虚拟化
2012-03-27 17:41:34
开篇
几乎每种程序设计语言的语法中都会有语句的循环，跳转。像最为熟知的C语言便有 for 、 while 、 do---while 等等。这些循环一般都很容易理解和使用，对于程序中逻辑的实现也很有帮助。
只是很多人不曾知道，这些循环、跳转在计算机内部、在底层是如何实现的，于是在出现问题时还是没有好的解决办法，或者是虽然写出来程序，对于内部的逻辑，却还是隔了一层迷雾。
比如有人对这样一个问题：
for（ i=0 ; i< 10 ; i++）
{
printf（”%i“，i）；
}
for语句里面的 i++ 是什么时候执行的呢？ 当循环开始时，是先执行括号里的 i++ 还是printf（”%i“，i）? 也就是说 ，第一个打印的数字是0 还是 1?
我相信这个问题很多人都遇到过，就是当for 循环结束后 i 的值到底是多少不是很确定，在这个问题上犯难，是在不值得。如果你也曾有过这种疑问，那么这篇文章就很值得继续看下去。
这篇文章将拨开迷雾，让你看到循环的本质。
这篇文章主要谈一下C中的这些循环， 跳转语句的内部实现机制。通过深入了解他们的内在，将让你在编程的时候逻辑更加清晰，出现问题的时候也更容易排查。
注：这篇文章中会涉及到一些基本的汇编知识，我们将通过分析 for 、 while 、 do---while 等的汇编表示形式，来弄清楚他们的实现机理。
if--else
if--else是基本的条件转移控制指令，也可以说是程序循环跳转实现的基础。
先看一个具体的例子，函数absdiff()比较两个参数x，y 的大小，返回他们差的绝对值。
我们创建了对于的C语言版本（a）、goto形式的版本（b）、 以及其对应的汇编形式（c）：
创建goto版本是为了能更好的理解他的汇编形式。因为里面的goto语句很类似于汇编中的跳转语句。
（a）中 的C代码应该不用多做解释了吧，大家应该都能看懂。
（b）中的got0语句形式：第4 行是一个跳转语句，跳转到执行第8 行。也就是说当第3 行的条件满足的时候，跳转到第8 行执行。如果第3 行的条件不满足，则执行第 5 行的语句。 然后无条件跳转到代码的结尾：“ goto done；” 使用goto 语句通常被认为是一种不好的 编程风格，因为这样的语句通常难于调试和阅读，这里使用goto语句是为了构造出一种类似汇编实现的C语句。
（c）就是我们要讨论的重点了。其实条件跳转指令的汇编形式和他的goto形式有一定的相似之处。有语句跳转的时候都是这样的过程：先判断是否满足某个条件，如果满足，则跳到一个指定的的代码段继续执行程序，如果不满足，则执行另一条语句。
为了弄清楚它内部是如何实现的，现在我们来详细看一下他的汇编指令形式（c）
程序的 1 、2 行取得x y 的值。放在寄存器 edx eax 中，第三行比较x y 的大小（也就是比较edx eak 的大小）如果x > y 则跳到 .L2的地方执行（8 、9 行）执行x - y ，并将结果放在返回值中,然后程序顺序执行到程序结束处 .L3，反之，如果第三行判断结果是x 现在，我们基本了解if --else 的执行机理了。主要是先判断条件值，从这个例子出发就是第 3 条语句： cmpl %eax,%edx。学过汇编的同学应该知道，cmpl是一条比较指令，他的执行会影响标志位。做个简单的假设： cmpl A,B 是比较A，B两个数的大小，比较结果存放在标志位 F 中，当A>B时，F为0，A C中的if --else 的通用模板是这样的： 这里的 test-expr 是一个整数表达式，它的值为真（1、>0）则会执行第一个分支语句 ， 否则执行第二个。但不管怎么样，都只会执行其中的一个。 对于这种模板，汇编的实现通常会用下面的形式：（这里用C语言描述） 汇编器会为 then-statement 和else-statement产生各自的代码快 ，通过条件跳转来执行相应的代码。 do---while C中提供了多中循环结构，do-while while 和 for ，然而汇编中没有相应的指令存在。通过上面对 if -else 的分析， 已经知道了 C 中条件跳转在汇编中的基本实现方式，现在要讨论的这些循环，在循环中都有一个条件判断的环节，当条件满足时，继续循环体， 如果条件不满足，则跳出循环体。和if-else 不同的在于这里的条件表达式可能会有改变，也就是每次判断的条件和上次不同。 只要理解了上面的if-else 的内容 ，其他的循环都能通过对if -else 的改进来实现。 通用形式： do-while的通用形式如下： do body-staement while(test-expr) 这个循环的效果就是反复执行 body-staement，对test-expr进行求值，如果求值结果不是0 则继续执行。可以看到，body-statement至少会被执行一次。 do-while 的通用形式可翻译为 如下所示的goto 语句： loop: body-statement t=test-expr; if(t) goto loop; 对于上面的goto形式， 可以先想想汇编会是如何实现的：把loop里的代码放在一个单独的代码段里面（包含if 的判断跳转部分）程序顺序执行下来，第一次执行不用判断条件。执行玩body-statement后判断条件，如果满足，则继续这个循环。 好了，下面看一个具体的例子： 这是一个计算阶乘的函数实现, (a)是c代码， （c）是对应的汇编形式 （b）是汇编中寄存器和变量的映射关系 （a）中的代码比较简单就不在解释了。现在看（c）中的代码： 第 1 行是获得函数参数n的值，放在寄存器 edx 中，第 2 行设置 result =1 第 3 行的 L2 表明这是一个循环体。 （c） 中的第 4、 5 行实现了 （a）中 5、 6 行的功能。 (c)中的第6 行判断循环的条件，如果条件满足，则执行第 7 行 的跳转语句。 和do- while的通用形式所描述的一样，body-staement至少会被执行一次，这从汇编代码中也有体现，观察循环体 L2，在L2 没有关于L2 的跳转代码，也就是说在程序顺序往下执行的情况下，L2 至少会被执行一次，然后在 L2 内部判断是否继续执行循环体 L2。 while whil循环和do-while类似，他的通用形式如下： while(test-expr) body-statement 和do-while不同的是，他先对test-expr求值，所以body-statement可能一次都不被执行。将while翻译为机器码有多种方法，其中一种常见的方式i就是把他翻译成do-while的形式。在第一次执行循环体之前加一个判断条件，如果条件满足，则进入do-while的循环体，如果不满足，直接跳过循环体。也就是上面说的：body-statement可能一次都不被执行。 下面先把while转换为do-while循环： if(!test-expr) goto done; do body-statement while(test-expr); done; 接下来可以吧这个do-while循环转换为goto语句： t=test-expr; if(!t) goto done; loop: body-statement t=test-expr; if(t) goto loop; done 这个goto的版本和do-while的版本只是在循环体loop的前面加上了一个判断条件，如果条件满足， 就执行上面中的do-while循环体，如果不满足，直接跳过循环。 通过上面的goto版本，现在应该可以想一下while 的 汇编是如何实现了吧： 现在就可以猜测，while 的汇编只是在do-while汇编的基础上做出一些改动：在循环体loop之前加一个判断条件，如果条件成立，则执行loop，不成立则跳过loop。 下面还通过一个具体例子来说： 还是计算n 的阶乘，不过这次是用while实现 下面是C代码： 这很简单，就不做解释了，下面看他的goto形式： 和上面描述的一样，在3、4 行中加入了条件判断，如果条件不满足 第5行直接跳攻loop循环体，只有当条件满足时才进入循环体loop。再看loop中，7、8 行执行计算阶乘的必要操作，9、10行通过判断test-expr 决定是否继续循环。 好，下面来看while的汇编形式: 现在看汇编代码应该比较有经验了吧，这里的3、4 行执行条件判断，决定是否进入循环体.L10,相当于goto版本中的4、5 行，如果不满足，直接跳转到.L7的位置。 再看一下.L10 循环体：6、7 行执行阶乘的必要操作，相当于goto中的 7、8 行，这里的8、9 行判断循环是否继续，相当于goto中的9、10行。 for循环 for循环的通用形式如下； for(init-expr ; test-expr ; update-expr) body-statement 大概在学C的时候会提到for 循环可以用while 来表示： init-expr while(test-expr){ body-statement update-expr } 程序首先初始化表达式init-expr的值，然后进入循环，再循环中先对测试值test-expr求值，如果为假，则退出循环，否则执行循环体body-statement，并更新表达式update-expr的值。 基于前面讲过的do-while到while的转换，先给出do-whle形式： 然后将它转为goto代码： 和上面一样，我们将用一个实例来说明问题: 考虑用for 循环写的阶乘函数 用for循环写的计算阶乘的函数是从2 开始，这和前面的从1开始不同，不过这并不影响其逻辑实现的结构，这段代码中，for循环的组成如下： 通过上面的分析，可以得到其goto形式： 到现在为止 ，已经在实例中给出了他的C 形式和goto形式，现在请看他的汇编形式： 上面都解释了很多，这里就不在解释这个汇编指令了，通过上面应该都能看懂。 开始的问题 到现在，应该弄清楚文章开头所说的问题了吧 for（ i=0 ; i< 10 ; i++） { printf（”%i“，i）； } 现在应该了解什么时候执行 i++ 设么时候执行printf（”%i“，i）； 了吧。 按照我们的分析，执行顺序应该是这样的： 1、 初始化 i=0 2、判断条件是否满足 i<10 是否成立 3、如果成立则执行循环体printf（”%i“，i）； 并执行自加运算 i++ 可以这段代码在自己的编译器中运行一下，看首先打印出来的是0 还是1 （按照我们的分析，应该从0 开始答应哦） 小结 其实这篇文章阐述的道理很简单，就是C 语言中循环的实现问题。如果你在linux环境下操作的话，要理解这一部分就更容易了，在linux下可以直观的看到一个程序编译后的汇编形式，在自己电脑上分析自己的程序，这样学起来才更有兴趣，更深刻。 简单介绍： linux下编译器：GCC、 可执行文件查看器：objdump、还有一个好像是 elfread，不确定了。 如果调试上面的for语句的话，可以用gdb调试器，这样能让程序一步步执行，并且跟踪变量的值。关于linux下的这些命令这里不是本文重点，不再介绍。 全文完。 一条鱼、yanlingyin@ 博客园 尹雁铃 2012-3-27 E-mail：yanlingyin@yeah.net
