前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >有了 for 循环,为什么还要 while(1)?

有了 for 循环,为什么还要 while(1)?

作者头像
搜云库技术团队
发布2023-03-15 16:19:06
5930
发布2023-03-15 16:19:06
举报

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

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

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

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

1.while语法表达

代码语言:javascript
复制
while( 表达式 )
{
  语句
}

其中:

  • 表达式:是循环条件
  • 语句:为循环体。

注 意

文末有:7701页互联网大厂面试题

while语句的语义是:计算表达式的值,当值为真(非0)时, 执行循环体语句。其执行过程可用下图表示:

2.for语法表达

代码语言:javascript
复制
for(表达式1; 表达式2; 表达式3) 
{
  语句
}

它的执行过程如下:

1.先求解表达式1 2.求解表达式2 若其值为真(非0),则执行for语句中指定的内嵌语句,然后执行下面第3)步; 若其值为假(0),则结束循环,转到第5)步。 3.求解表达式3 4.转回上面第2)步继续执行。 5.循环结束,执行for语句下面的一个语句。

执行过程可用下图表示:

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

这里先说一下结论,然后再验证验证结论。

1.相同点

作用和效果都一样:都是实现无限循环的功能。

2.不同点

while(1):其中括号里面是一个条件,程序会判断真假。而括号里面的“1”永远是一个“真值”。

其中,每一次循环,编译器都要判断常量1是不是等于零。

for(;;):这两个;;空语句,编译器一般会优化掉的,直接进入死循环。

根据上面的描述,你可能会觉得:while(1) 比 for(;;) 要做更多事,汇编代码更多,代码量也更大。

但事实是这样吗?下面验证一下。

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

我们编写分别两个文件for.c和while.c,然后分别生成汇编代码,看下情况。

1.源代码

while.c:

代码语言:javascript
复制
// filename: while.c
int main(int argc, char const *argv[])
{
    while(1)
    {}

    return 0;
}

for.c:

代码语言:javascript
复制
// filename: for.c
int main(int argc, char const *argv[])
{
    for(;;)
    {}

    return 0;
}

2.生成汇编

我们这里使用gcc编译器生成汇编,执行命令如下:

代码语言:javascript
复制
gcc -S -o while.s while.c
gcc -S -o for.s for.c

while汇编代码:

代码语言:javascript
复制
; filename: whiles
  .file  "while.c"
  .text
  .globl  main
  .type  main, @function
main:
.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汇编代码:

代码语言:javascript
复制
; filename: for.s
  .file  "for.c"
  .text
  .globl  main
  .type  main, @function
main:
.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

你会发现,除了文件名不同,其余都相同。

当然,这里额外说一下,不同代码、不同编译器,以及不同优化等级,可能最终结果有所差异。

本文参与 腾讯云自媒体分享计划,分享自微信公众号。
原始发表:2022-12-29,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 架构师技术栈 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档