为何取反if表达式后exit code会被重置？

我最近碰到一个费解的Bash脚本问题：

符合预期的脚本 #

这段脚本能正确捕获CTRL+D（EOF）和超时两种情况：

echo "Hit ENTER to continue or CTRL+D to abort."
read -s -t 3 || {
    case $? in
        0) echo "should not occur";; ;; 
        1) echo "CTRL+D";; ;; 
        *) echo "Timeout";; ;; 
    esac
}

不符合预期的脚本 #

而这段脚本中$?的值始终为0，无法正确判断read的退出原因：

echo "Hit ENTER to continue or CTRL+D to abort."
if ! read -s -t 3; then
    case $? in
        0) echo "should not occur";; ;; 
        1) echo "CTRL+D";; ;; 
        *) echo "Timeout";; ;; 
    esac
fi

问题：为何（以及如何）在if执行体运行前$?会被重置？

反向结构却符合预期 #

有意思的是，换成if-else的反向结构后，脚本又能正常工作：

echo "Hit ENTER to continue or CTRL+D to abort."
if read -s -t 3; then
    :
else
    case $? in
        0) echo "should not occur";; ;; 
        1) echo "CTRL+D";; ;; 
        *) echo "Timeout";; ;; 
    esac
fi

这说明问题出在!操作符上，但我没找到相关文档说明这一点。

Bash版本：5.1.16

原因分析 #

问题的核心在于Bash中!操作符的工作机制：

• !是命令反转符，它会先执行后续命令，再将该命令的退出状态取反，作为自身的退出状态。
• 使用if ! read ...时，! read ...是一个复合命令，if判断的是!命令的退出状态。进入if执行体前，$?已经被设置为!的退出状态（即反转后的read状态），而非read原本的退出状态。

举个具体场景：

• 当read因CTRL+D退出时，原始状态为1；!将其反转为0，此时$?为0，导致case匹配错误分支。
• 当read超时退出时，原始状态通常为124；!同样反转为0，$?依然为0。

而||结构中，read失败后直接执行后续代码块，中间无其他命令修改$?，因此保留了read的原始状态。反向if-else结构中，read失败后进入else块，$?也未被修改，所以能正常判断。

解决方法 #

如果要使用if !结构，需提前保存read的原始退出状态：

echo "Hit ENTER to continue or CTRL+D to abort."
read -s -t 3
read_exit=$?
if ! (( read_exit == 0 )); then
    case $read_exit in
        0) echo "should not occur";;
        1) echo "CTRL+D";;
        *) echo "Timeout";;
    esac
fi

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