Bash 后置自增的退出状态：变量已经加一，为什么条件却走进失败分支
计数器从零开始，执行 ((n++)) 后确实变成一，但紧接着检查退出状态却是 一。若把它写在条件里，会走进 else。这里一并不说明自增没发生：算术命令用表达式的值决定真假，而后置自增表达式交出的是修改之前的值。
下面保存为 demo.sh，以 bash demo.sh 执行。所有变量均在脚本中初始化，只有内存整数运算和打印。代码用 if 捕获预期状态，并立即保存，再断言变量结果；不依赖自动退出选项来说明行为。
AI模型生成概念示意：计数轮已经前进，旁边的状态灯仍由表达式所给出的值决定；非实测截图。
#!/usr/bin/env bash set -u n=0 if ((n++)); then status=0; else status=$?; fi [[ $n -eq 1 && $status -eq 1 ]] || exit 1 printf 'post from zero: n=%s status=%s\n' "$n" "$status" if ((n++)); then status=0; else status=$?; fi [[ $n -eq 2 && $status -eq 0 ]] || exit 1 printf 'post from one: n=%s status=%s\n' "$n" "$status" n=-1 if ((++n)); then status=0; else status=$?; fi [[ $n -eq 0 && $status -eq 1 ]] || exit 1 printf 'pre from minus one: n=%s status=%s\n' "$n" "$status" n=-1 n=$((n + 1)) status=$? [[ $n -eq 0 && $status -eq 0 ]] || exit 1 printf 'assignment: n=%s status=%s\n' "$n" "$status"
同一条命令有两个观察结果
第一行 post from zero: n=1 status=1。n 的副作用是加一，但 n++ 的表达式值为原来的零。Bash 的双圆括号命令遇到值零返回状态一；表达式值非零则返回状态零。数字真假与命令状态恰好采用相反的零值约定。
第二行 post from one: n=2 status=0。写法完全相同，只因本轮原值是一，表达式被视为真。由此可见只测从一开始的计数器，会漏掉零这个边界。状态不能直接作为“变量是否修改”的证明，应同时检查修改后的变量。
第三行 pre from minus one: n=0 status=1。前置 ++n 使用修改后的值，因此从负一增加到零时照样返回一。把后置改成前置能改变哪一步遇到零，却不能保证所有初始值下都得到零状态；应先考虑计数器允许的范围。
纯赋值与条件测试各自表达意图
第四行 assignment: n=0 status=0 使用算术展开计算新值，再进行变量赋值。这个有效的纯赋值命令没有命令替换，成功时返回零，结果数字零不会被自动转换成失败状态。需要的只是更新计数器时，这种写法通常更容易表达目的。
这里说的是示例中已经初始化、可写且内容合法的变量。只读变量、无效算术表达式或除零仍可能报错，不能把赋值形式理解成吞掉一切错误。更不应把不可信的任意文字直接当算术表达式执行，应先建立输入的数值约束。
若操作本来就需要按数值真假分支，可以继续使用算术命令，但最好让条件本身表达检查目标，例如比较更新后的数是否达到阈值。把改变状态和判断阈值拆成两步，日志和测试也更容易说明哪一步负责什么。
示例在 else 入口立即读取 $?，然后才执行后面的断言和 printf。若先打印日志再取状态，打印命令会覆盖先前结果。排查计数器控制流时，应保存表达式原值、修改后值和命令状态三个含义，而不把一条非零状态扩大解释为整个动作没有发生。
资料核对日期：2026年10月2日。最终展示代码在 GNU Bash 5.2.37(1)-release 独立运行并通过全部断言；结果对应文中固定输入。
