C语言循环的实现
原创
©著作权归作者所有：来自51CTO博客作者jesssic的原创作品，请联系作者获取转载授权，否则将追究法律责任
在C语言中采用3中语法来实现循环，它们分别是while、for、do while，本文将分别说明这三种循环的实现，并对它们的运行效率进行比较。
do while
首先来看do while的实现：下面是简单的代码：
int nCount = 0;
int nMax = 10;
do
{
nCount++;
} while (nCount < nMax);
return 0;
下面对应的是它的汇编代码：
9: int nCount = 0;
00401268 mov dword ptr [ebp-4],0
10: int nMax = 10;
0040126F mov dword ptr [ebp-8],0Ah
11: do
12: {
13: nCount++;
00401276 mov eax,dword ptr [ebp-4]
00401279 add eax,1
0040127C mov dword ptr [ebp-4],eax
14: } while (nCount < nMax);
0040127F mov ecx,dword ptr [ebp-4];exc = nCount
00401282 cmp ecx,dword ptr [ebp-8];比较nCount 和 nMax的值
00401285 jl main+26h (00401276);跳转到循环体中
15: return 0;
00401287 xor eax,eax
在汇编代码中首先执行了一次循环体中的操作，然后判断，当条件满足时会跳转回循环体，然后再次执行，当条件不满足时会接着执行后面的语句。
这个过程可以用goto来模拟：
int nCount = 0;
int nMax = 10;
__WHILE:
nCount++;
if(nCount < nMax)
goto __WHILE;
while循环
不同于do while的先执行再比较，while采取的是先比较再循环的方式，下面是一个while的例子：
int nCount = 0;
int nMax = 10;
while (nCount < nMax)
{
nCount++;
}
00401268 mov dword ptr [ebp-4],0
10: int nMax = 10;
0040126F mov dword ptr [ebp-8],0Ah
11: while (nCount < nMax)
00401276 mov eax,dword ptr [ebp-4]
00401279 cmp eax,dword ptr [ebp-8]
0040127C jge main+39h (00401289)
12: {
13: nCount++;
0040127E mov ecx,dword ptr [ebp-4]
00401281 add ecx,1
00401284 mov dword ptr [ebp-4],ecx
14: }
00401287 jmp main+26h (00401276)
15: return 0;
00401289 xor eax,eax
从汇编代码上可以看出，执行while循环时会有两次跳转，当条件不满足时会执行一次跳转，跳转到循环体外，而条件满足，执行完一次循环后，会再次跳转到循环体中，再次进行比较。相比于do while来说，while执行了两次跳转，效率相对较低。
for 循环
for循环是首先进行初始化操作然后进行比较，条件满足时执行循环，再将循环变量递增，最后再次比较，执行循环或者跳出。下面是for的简单例子：
int nMax = 10;
for (int i = 0; i < nMax; i++)
{
printf("%d\n", i);
}
下面是它对应的汇编代码：
9: int nMax = 10;
00401268 mov dword ptr [ebp-4],0Ah
10: for (int i = 0; i < nMax; i++)
0040126F mov dword ptr [ebp-8],0 ;初始化循环变量
00401276 jmp main+31h (00401281);跳转到比较操作处
00401278 mov eax,dword ptr [ebp-8]
0040127B add eax,1
0040127E mov dword ptr [ebp-8],eax;这三句话实现的是循环变量自增操作
00401281 mov ecx,dword ptr [ebp-8];ecx = i
00401284 cmp ecx,dword ptr [ebp-4];比较ecx与i
00401287 jge main+4Ch (0040129c);跳转到循环体外
11: {
12: printf("%d\n", i);
00401289 mov edx,dword ptr [ebp-8]
0040128C push edx
0040128D push offset string "%d\n" (0042e01c)
00401292 call printf (00401540)
00401297 add esp,8
13: }
0040129A jmp main+28h (00401278);跳转到i++位置
14: return 0;
0040129C xor eax,eax
从上面的汇编代码可以看出for循环的效率最低，它经过了3次跳转，生成对应的汇编代码上，初始化操作后面紧接着是循环变量自增操作，所以首先在完成初始化后会进行一次跳转，跳转到判断，然后根据判断条件再次跳转或者接着执行循环体，最后当循环完成后会再次跳转到循环变量自增的位置，同样采用goto语句来模拟这个操作：
int nMax = 10;
int i = 0;
goto __CMP;
__ADD:
i++;
__CMP:
if (i >= nMax)
{
goto __RETURN;
}
__LOOP:
printf("%d\n", i);
goto __ADD;
__RETURN:
return 0;
continue语句
continue用于结束这次循环进入下一次循环，下面采用最复杂的for循环来说明continue语句：
int nMax = 10;
int i = 0;
for(;i < nMax; i++)
{
if (i == 6)
{
continue;
}
}
下面是它对应的汇编代码：
00401268 mov dword ptr [ebp-4],0Ah
10: int i = 0;
0040126F mov dword ptr [ebp-8],0
11: for(;i < nMax; i++)
00401276 jmp main+31h (00401281)
00401278 mov eax,dword ptr [ebp-8]
0040127B add eax,1
0040127E mov dword ptr [ebp-8],eax
00401281 mov ecx,dword ptr [ebp-8]
00401284 cmp ecx,dword ptr [ebp-4]
00401287 jge main+43h (00401293)
12: {
13: if (i == 6)
00401289 cmp dword ptr [ebp-8],6;
0040128D jne main+41h (00401291);条件不满足组跳转到循环结束处
14: {
15: continue;
0040128F jmp main+28h (00401278)
16: }
17: }
00401291 jmp main+28h (00401278)
18: return 0;
00401293 xor eax,eax
从上面的汇编代码可以看到，continue语句也是一个跳转语句，它会直接跳转到循环体的开始位置。对于for来说相对特殊一些（我觉得循环变量自增并不属于循环体），由于第一次进入循环时并没有执行循环变量自增，所以它会跳转到循环变量自增的位置，其他则直接到循环开始处。
