while(1) 和 for(;;) 有什么区别?

共 2195字,需浏览 5分钟

 ·

2022-01-10 03:10


这是「进击的Coder」的第 551 篇技术分享作者:strongerHuang来源:嵌入式专栏

阅读本文大概需要 5 分钟。



有读者问题了类似这样的问题:while(1) 和 for(;;) 它们不都是无限循环吗,作用应该一样啊,它们到底有什么区别?


要回答这个问题,其实你各自编写一段 while(1) 和 for(;;) 的代码,编译对比一下代码大小和汇编文件,你就大概知道了。


while(1) 和 for(;;) 语法表达

这里先说一下 while(1) 和 for(;;) 语法表达式。
1.while 语法表达
while( 表达式 ){  语句}

其中:

  • 表达式:是循环条件

  • 语句:为循环体。


while 语句的语义是:计算表达式的值,当值为真(非0)时, 执行循环体语句。其执行过程可用下图表示:4f190036c6457ed4db4e685ee8a0837d.webp
2.for 语法表达
for(表达式1; 表达式2; 表达式3) {  语句}

它的执行过程如下:

1.先求解表达式1


2.求解表达式2

若其值为真(非0),则执行for语句中指定的内嵌语句,然后执行下面第3)步;

若其值为假(0),则结束循环,转到第5)步。


3.求解表达式3


4.转回上面第2)步继续执行。


5.循环结束,执行for语句下面的一个语句。


执行过程可用下图表示:39ce7da702368295b60c785baa3524d1.webp


while(1) 和 for(;;) 异同点

这里先说一下结论,然后再验证验证结论。
1.相同点作用和效果都一样:都是实现无限循环的功能。

2.不同点while(1):其中括号里面是一个条件,程序会判断真假。而括号里面的“1”永远是一个“真值”。
其中,每一次循环,编译器都要判断常量 1 是不是等于零。
for(;;):这两个;;空语句,编译器一般会优化掉的,直接进入死循环。

根据上面的描述,你可能会觉得:while(1) 比 for(;;) 要做更多事,汇编代码更多,代码量也更大。
但事实是这样吗?下面验证一下。

验证 while(1) 和 for(;;) 差异

我们编写分别两个文件 for.c 和 while.c,然后分别生成汇编代码,看下情况。
1.源代码while.c
// filename: while.cint main(int argc, char const *argv[]){    while(1)    {}
return 0;}

for.c
// filename: for.cint main(int argc, char const *argv[]){    for(;;)    {}
return 0;}

2.生成汇编我们这里使用 gcc 编译器生成汇编,执行命令如下:
gcc -S -o while.s while.cgcc -S -o for.s for.c

while 汇编代码:
; filename: whiles  .file  "while.c"  .text  .globl  main  .type  main, @functionmain:.LFB0:  .cfi_startproc  pushq  %rbp  .cfi_def_cfa_offset 16  .cfi_offset 6, -16  movq  %rsp, %rbp  .cfi_def_cfa_register 6  movl  %edi, -4(%rbp)  movq  %rsi, -16(%rbp).L2:  jmp  .L2  .cfi_endproc.LFE0:  .size  main, .-main  .ident  "GCC: (GNU) 9.3.0"  .section  .note.GNU-stack,"",@progbits

for 汇编代码:
; filename: for.s  .file  "for.c"  .text  .globl  main  .type  main, @functionmain:.LFB0:  .cfi_startproc  pushq  %rbp  .cfi_def_cfa_offset 16  .cfi_offset 6, -16  movq  %rsp, %rbp  .cfi_def_cfa_register 6  movl  %edi, -4(%rbp)  movq  %rsi, -16(%rbp).L2:  jmp  .L2  .cfi_endproc.LFE0:  .size  main, .-main  .ident  "GCC: (GNU) 9.3.0"  .section  .note.GNU-stack,"",@progbits

你会发现,除了文件名不同,其余都相同。
当然,这里额外说一下,不同代码、不同编译器,以及不同优化等级,可能最终结果有所差异。d1467d34e9f9dc4d776829eef0d2d817.webp

End

崔庆才的新书《Python3网络爬虫开发实战(第二版)》已经正式上市了!书中详细介绍了零基础用 Python 开发爬虫的各方面知识,同时相比第一版新增了 JavaScript 逆向、Android 逆向、异步爬虫、深度学习、Kubernetes 相关内容,‍同时本书已经获得 Python 之父 Guido 的推荐,目前本书正在七折促销中!

内容介绍:《Python3网络爬虫开发实战(第二版)》内容介绍


ff413d1e7765206b95ad6928d76b0c2f.webp


扫码购买




好文和朋友一起看~
浏览 13
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报