Bash未执行分支的数组索引表达式触发副作用：是bug还是规范要求？

你观察到的现象是Bash算术求值中的特殊设计行为，并非版本Bug，下面具体解释：

现象复现 #

你的测试代码清晰展示了这个不一致性：

$ echo $i  # i 初始未设置

$ ((0?++i:0)); echo $i  # 符合预期，未执行分支的表达式不会被求值，i 无变化

$ ((0?a[++i]:0)); echo $i  # 未执行分支的数组索引表达式被求值，i 自增为1
1
$ ((0?a[++i]:0)); echo $i  # 每次调用都会触发索引表达式求值，i 持续自增
2

原因分析 #

Bash的算术求值逻辑中，数组索引的表达式会被提前解析并求值，无论所在分支是否会被执行：

• 对于普通三元运算符分支（如++i），Bash遵循标准的短路求值规则，未选中的分支完全不会被求值。
• 但当分支中包含数组引用（如a[++i]）时，Bash会先处理数组索引部分：它会把索引位置的表达式当作独立算术单元求值，再判断该分支是否需要执行。这种处理逻辑导致即使分支不会被选中，索引表达式的副作用（比如++i）依然会生效。

手册相关说明 #

Bash官方手册的ARITHMETIC EVALUATION章节提到，数组索引会被当作算术表达式求值，但并未明确说明这种短路求值的例外情况。不过这是Bash长期存在的行为，并非4.2版本独有，后续如Bash 5.x版本中该逻辑依然保持一致。

总结 #

这是Bash算术求值规则与数组索引交互的既定行为，和常见编程语言的短路逻辑不一致，容易造成误解，但不属于Bug范畴。

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