Bash怪异特性：算术表达式退出码与条件语句的true/false、成功/失败关联

算术表达式退出码的设计逻辑 #

((...)) 是Bash的算术求值命令，它的退出码规则是Bash明确规定的，目的是适配Shell的通用语义和类C的算术真值逻辑：

• 若算术表达式的计算结果为非0值，((...)) 命令返回退出码0（Shell层面代表成功/真）
• 若算术表达式的计算结果为0值，((...)) 命令返回退出码1（Shell层面代表失败/假）

这个设计刚好把两类逻辑做了桥接：既符合C语言等常见编程语言里「非0为真、0为假」的算术判断习惯，又符合Shell里「退出码0代表命令执行成功/条件成立，非0代表失败/条件不成立」的通用约定。你实验中观察到的((1))返回0、((0))返回1、((!1))返回1等现象，完全符合这个规则。

捕获函数退出码的写法验证 #

你给出的写法是完全正确的，我们可以拆解执行逻辑确认：

1. 每次循环先执行你定义的<function>，它的退出码会存入特殊变量$?
2. 执行((! (RESULT=$?) ))时，会先把$?的值赋值给RESULT变量，再对该值做算术逻辑非运算：
   • 若<function>返回0（执行成功，条件成立）：RESULT=0，!0的算术结果为1，因此((...))返回退出码0，while条件成立，进入循环体执行<stuff>
   • 若<function>返回非0（执行失败，条件不成立）：RESULT=非0，!非0的算术结果为0，因此((...))返回退出码1，while循环终止，此时RESULT已经保存了最后一次<function>执行的退出码，可以直接在循环外使用。

你提到的另一种写法! (( RESULT=$? ))逻辑完全等价，也可以正常使用。

如果需要验证可以用以下测试代码：

# 测试用的自定义函数，接收一个参数作为返回值
test_func() {
  return $1
}

count=0
while test_func $count; ((! (RESULT=$?) )); do
  echo "循环执行中，当前count=$count"
  ((count++))
  # 模拟三次后函数返回非0终止循环
  ((count >= 3)) && break
done
echo "循环终止，最后一次test_func的退出码为：$RESULT"

执行后可以看到循环终止时RESULT的值为3，和预期一致。

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