为何`if`语句在内部命令失败时退出码不为失败状态？

先看这段bash代码：

#!/bin/bash
foo()
{
    if false
    then
        echo success
    else
        return
    fi
}

foo || echo failure

现象差异 #

乍一看else return部分似乎多余，但实际效果完全不同：

• 保留else return时，脚本输出failure
• 移除该部分后，脚本无任何输出

手册规则参考 #

bash手册中关于if语句的退出状态说明：

退出状态为最后执行命令的退出状态，若没有条件测试为真则为0。

背后的逻辑解析 #

核心在于函数foo的退出状态由其最后执行的命令决定：

1. 保留else return的情况：
   if的条件false执行失败，进入else分支执行return。return不带参数时，会继承上一个命令（也就是false）的退出状态1，因此函数foo的退出状态是1。foo || echo failure中，左侧命令返回非0，触发右侧的echo failure。

2. 移除else return的情况：
   if的条件false失败，且没有else分支的代码执行。根据手册规则，此时if语句的退出状态为0，函数foo的退出状态就是这个0。foo || echo failure中，左侧命令返回0，逻辑或的后半部分不会执行，因此无输出。

如果把echo success替换成只有条件成功时才该执行的依赖命令，就更能理解这种设计：if语句的核心是根据条件执行分支代码，当没有分支被命中时，默认返回成功状态，避免因为条件不满足就导致整个上下文的退出状态失败，这符合脚本中“无错误即成功”的通用逻辑。

内容的提问来源于stack exchange，提问作者U. Windl