Bash BASH_REMATCH：辅助函数匹配一次，外层捕获结果为什么被换掉
解析任务名称时，外层正则已经拿到了类型和编号，接着调用一个辅助函数检查编号是否全是数字，再读取捕获数组却发现类型不见了。问题可能发生在检查函数里：它执行了另一次正则匹配，把同一个 BASH_REMATCH 数组改成了自己的结果。
匹配结果属于最近一次操作
这个数组的零号元素保存整段匹配，后面的元素依次对应带括号的捕获组。它不是每个函数独有的返回对象。GNU Bash 手册明确说明，Bash 在全局作用域设置它，直接声明同名局部变量会导致意外结果，因此不应把 local BASH_REMATCH 当成保护方案。
下面的任务名是合成数据 report-42，第一组应为 report，第二组应为 42。我们在外层匹配成功后，立即把数组复制到另一个局部数组 saved；之后允许辅助函数正常匹配，再分别观察共享结果与保存结果。
将整段保存为 demo.sh，用 bash demo.sh 运行。脚本只处理内存字符串，不读取文件、不执行外部命令。末尾再安排一次不匹配，检查失败以后是否还能把数组当成旧任务结果使用。
配图为 AI 生成的概念插图，用抽象物件说明本文关系，并非真实软件截图或运行输出。
set -u
export LC_ALL=C
shopt -u nocasematch
check_number() {
[[ $1 =~ ^([0-9]+)$ ]]
}
inspect_job() {
local value=$1
local pattern='^([a-z]+)-([0-9]+)$'
local -a saved=()
[[ $value =~ $pattern ]] || return 1
saved=("${BASH_REMATCH[@]}")
check_number "${saved[2]}" || return 2
printf 'after helper: whole=%s group1=%s\n' \
"${BASH_REMATCH[0]}" "${BASH_REMATCH[1]}"
[[ ${BASH_REMATCH[1]} == 42 ]] || return 3
printf 'saved: type=%s id=%s\n' "${saved[1]}" "${saved[2]}"
[[ ${saved[1]} == report && ${saved[2]} == 42 ]] || return 4
if [[ invalid =~ $pattern ]]; then
return 5
fi
[[ ${#BASH_REMATCH[@]} -eq 0 ]] || return 6
printf 'after mismatch: count=%s\n' "${#BASH_REMATCH[@]}"
printf 'saved still: %s/%s\n' "${saved[1]}" "${saved[2]}"
}
inspect_job report-42 || exit "$?"数组复制必须发生在下一次匹配之前
第一行输出 whole=42 group1=42，说明辅助函数的数字检查确实换掉了整段匹配与第一个捕获组。第二行仍是 type=report id=42，因为 saved 保存的是当时各元素的值。末尾失败匹配后，本次实测数组长度为零，而 saved 仍能输出 report/42。
代码先判断匹配成功，再复制数组。不要无条件读取第二个捕获组：输入没有通过时，它可能根本不存在，开启未设置变量检查以后还会触发额外错误。解析失败应从当前分支返回，不能拿上一条记录留下的内容继续构造结果。
复制时使用带双引号的数组展开，保留每个捕获组各自的位置，包括合法的空字符串。把所有捕获内容先拼成普通字符串，再按空格拆开，会引入第二套字段规则，含空格的名字和空组都可能改变形状。
把辅助函数的副作用纳入接口
“只返回真假”的函数不一定没有副作用。只要它在当前 shell 执行了正则条件，调用者就不应假定捕获数组还保留原值。日志函数、格式检查函数和后续分支都可能触发同类变化，排查时应搜索整条调用路径中的正则操作。
如果只需要两个字段，也可以在匹配成功的下一步分别赋给含义清楚的变量，无须保存整个数组。若需要把解析结果交给多个后续步骤，优先传递这些已保存的字段，减少它们读取全局临时状态的机会。
本文检查的是捕获结果的生命周期，并没有把正则写成通用任务名规范。实际规则若允许中文、空编号或额外短横线，应先决定接受范围，再补样本。保持匹配、保存、使用这三个动作的先后关系，才不会让新增校验意外改变已解析的数据。
资料核对日期：2026年10月2日（北京时间）。最终展示代码在 GNU Bash 5.2.37 中独立运行并通过全部断言。
