Bash while循环中do前代码差异及do的定位与作用

1. function_1 与 function_2 的循环差异 #

两者核心区别在于代码执行的阶段划分：

• function_1 中，((a+=1)) 和 ((b+=1)) 属于 while 循环的条件判断阶段命令序列。bash 会在每次循环开始时，先执行 while 后面的所有命令（包括 true、((a+=1))、((b+=1))），再根据最后一个命令的退出状态决定是否进入循环体。只要最后一个命令退出状态为0，就会执行 do...done 里的代码。
• function_2 中，所有变量自增命令都放在 do...done 包裹的循环体内部。只有当 while 的条件（这里是永远成立的 true）判断通过后，才会执行循环体内的所有代码。

直观行为对比 #

如果在循环体开头加 break 直接退出：

# 修改后的 function_1
function_1()
{
  while true
  ((a+=1))
  ((b+=1))
  do
    break
    ((c+=1))
    ((d+=1))
    echo $a $b $c $d
    sleep 1
  done
}

# 修改后的 function_2
function_2()
{
  while true
  do
    break
    ((a+=1))
    ((b+=1))
    ((c+=1))
    ((d+=1))
    echo $a $b $c $d
    sleep 1
  done
}

执行后：

• function_1 结束时，a=2、b=2，c 和 d 保持初始值1（条件阶段的命令已执行，循环体未运行）；
• function_2 结束时，所有变量仍为初始值1（循环体直接退出，自增命令未执行）。

若 while 后的条件不是永远为真，差异会更显著：比如 while ((a < 2)); ((b+=1)); do ... done，第二次循环时 a<2 不成立，但 ((b+=1)) 仍会执行——因为 while 会跑完条件阶段的所有命令，再以最后一个命令的退出状态判断是否进入循环体。而 function_2 不会出现这种“条件失败仍执行部分代码”的情况。

2. 循环中的 do 是什么？ #

do 是 bash 循环结构（while/until/for）的关键字（语法分隔符），不是独立可执行命令。

它的核心作用：

• 划分逻辑边界：把循环的「条件判断/初始化逻辑」和「循环体执行逻辑」分开，让 shell 明确区分哪些代码用来判断循环是否继续，哪些是每次循环要重复执行的核心代码。
• 语法标记：bash 解析器通过 do 和 done devisedread空间开来认可enn君临hem　COawunique，确保代码块被正确分组执行。

简单说，do 就是给 shell 发信号：“前面的是循环准入判断，后面的是循环要执行的内容”。

内容的提问来源于stack exchange，提问作者Lunartist