聊一聊shell中的条件控制

tags: [shell,bash]
categories: shell
top: false
toc: true
cover: false
img: /featureImg/bash.png
summary: shell中的布尔值有挺多的坑，来一块看看

之前赶鸭子上架写过一个不算太复杂的bash脚本，被bash中的条件控制恶心到了，现在抽丝剥茧深入学习下，防止以后再掉坑里

基础用法

if commands; then
     commands
[elif commands; then
     commands...]
[else
     commands]
fi

bash中的条件控制的基本形式如上， ; 可以与换行互相替换，这篇文章主要来研究下if后面接着的commands

退出状态

当命令执行完毕后，命令（包括我们编写的脚本和 shell 函数）会给系统发送一个值，叫做退出状态。 这个值是一个 0 到 255 之间的整数，说明命令执行成功或是失败。按照惯例，一个零值说明成功，其它所有值说明失败。 Shell 提供了一个参数 $? ，我们可以用它检查退出状态。

[me@linuxbox ~]$ ls -d /usr/bin
/usr/bin
[me@linuxbox ~]$ echo $?
0
[me@linuxbox ~]$ ls -d /bin/usr
ls: cannot access /bin/usr: No such file or directory
[me@linuxbox ~]$ echo $?
2

这是很重要的概念，意味着我们可以不仅仅使用test命令来进行条件控制，我们可以使用一个普通的命令来作为判断条件。

## 下载某个文件，成功则做一些事情，不成功就不做
if wget xxx ;then;commands;fi

true 和 false 是什么

在shell中true和false并不像其他语言一样是布尔值，而是两个内建的命令
它们不做任何事情，除了以一个0或1退出状态来终止执行。 True 命令总是执行成功，而 false 命令总是执行失败：

[me@linuxbox~]$ true
[me@linuxbox~]$ echo $?
0
[me@linuxbox~]$ false
[me@linuxbox~]$ echo $?
1

test命令

经常与 if 一块使用的命令是 test。它有两种等价形式

test expression
[ expression ]  ## expression前后的空格必不可少

这里的 expression 是一个表达式，其执行结果是 true 或者是 false。当表达式为真时，这个 test 命令返回一个零 退出状态，当表达式为假时，test 命令退出状态为1。这句话比较重要，在这里踩了几个坑，后面会详细介绍。
test命令中的expression可以对文件、字符串和整数的状态进行判断

文件表达式

这可以被用来决定是否重定向了标准输入／输出错误。 | | -u file | file 存在并且设置了 setuid 位。 | | -w file | file 存在并且可写（有效用户拥有可写权限）。 | | -x file | file 存在并且可执行（有效用户有执行／搜索权限）。 |

一个简单的例子

FILE=~/.bashrc
if [ -e "$FILE" ]; then
    if [ -f "$FILE" ]; then
        echo "$FILE is a regular file."
    fi
    if [ -d "$FILE" ]; then
        echo "$FILE is a directory."
    fi
    if [ -r "$FILE" ]; then
        echo "$FILE is readable."
    fi
    if [ -w "$FILE" ]; then
        echo "$FILE is writable."
    fi
    if [ -x "$FILE" ]; then
        echo "$FILE is executable/searchable."
    fi
else
    echo "$FILE does not exist"
    exit 1
fi

字符串表达式

一个例子

ANSWER=maybe
if [ -z "$ANSWER" ]; then
    echo "There is no answer." >&2
    exit 1
fi
if [ "$ANSWER" = "yes" ]; then
    echo "The answer is YES."
elif [ "$ANSWER" = "no" ]; then
    echo "The answer is NO."
elif [ "$ANSWER" = "maybe" ]; then
    echo "The answer is MAYBE."
else
    echo "The answer is UNKNOWN."
fi

整型表达式

例子

INT=-5
if [ -z "$INT" ]; then
    echo "INT is empty." >&2
    exit 1
fi
if [ $INT -eq 0 ]; then
    echo "INT is zero."
else
    if [ $INT -lt 0 ]; then
        echo "INT is negative."
    else
        echo "INT is positive."
    fi
    if [ $((INT % 2)) -eq 0 ]; then
        echo "INT is even."
    else
        echo "INT is odd."
    fi
fi

结合表达式

AND                    -a
OR                    -o
NOT                    ！

增强版的[]——[[ ]]

[[ expression ]] 类似于test命令，但是它的功能更为强大

支持正则表达式

string1 =~ regex

==操作符支持模式匹配

[me@linuxbox ~]$ FILE=foo.bar
[me@linuxbox ~]$ if [[ $FILE == foo.* ]]; then
> echo "$FILE matches pattern 'foo.*'"
> fi
foo.bar matches pattern 'foo.*'

结合表达式支持&& ||

可以直接使用&& ||而不用-a -o
[[ … && … && … ]] 和 [ … -a … -a …] 不一样，[[ ]] 是逻辑短路操作，而 [ ] 不会进行逻辑短路

支持数字运算

test命令只支持数字的比较而不支持 + - * / % ,[[ … ]]可以支持

ASCII比较

test命令中ASCII比较需要转义，而[[ ]]中不需要

[ aaa \> bbbb ]
[[ aaa > bbbb ]]

这里有个需要注意的点， > 或者 \> 比较的ASCII，在比较数字时很容易出错
例如

[[ "a" != "b" && 10 > 2 ]] ## 10的第一位是1，ASCII值小于2，所以这个表达式的值是false

如果需要进行数字的比较需要使用 -le 等命令选项，或者使用(( ))

let expr (( ))

除了[[ ]]可以进行整数运算之外还有几种其他的方式

## expr进行数学运算,注意空格,使用*需要转义\*
expr 2 + 2
## 将运算结果赋值,使用反引号或者$() 
s=`expr 2 + 3` 
echo $s
5
## 等价为
s=$[2+3]     ## 不用考虑空格。*也不用转义
## 等价为
let s=2+3
## 等价为
s=$((2+3))
## ((expression))可以用来进行整数的比较
[[ "a" != "b" ]] && ((10 > 2)) ## 整数比较正确的写法

布尔型变量最佳实践

假设一个变量 ENABLE 被赋值为true/false，我们应该怎么去使用它呢

## 直接使用$ENABLE，一般情况下没有问题
## 但是如果ENABLE是个未定义的变量或者空字符串又或者是一个退出状态为true的命令，这个if都会判断为true
ENABLE=false
if $ENABLE
then
    echo true
else
    echo false
fi
## ENABLE是一个空字符串
➜  ~ ENABLE=""
➜  ~ if $ENABLE;then;echo true;else;echo false;fi
true
## ENABL为1
➜  ~ ENABLE=1
➜  ~ if $ENABLE;then;echo true;else;echo false;fi
zsh: command not found: 1
false
## ENABLE=echo $aaaa
➜  user-1678701-1561966146 ENABLE=echo $aaaa
➜  user-1678701-1561966146 echo $ENABLE
echo
➜  user-1678701-1561966146 if $ENABLE;then;echo true;else;echo false;fi
true

为了避免变量未被定义仍被当做true执行，即使有一个变量是true/false，我们仍需要将它当做字符串来处理

ENABLE=""
if [[ $ENABLE = "true" ]]
then
    echo true
else
    echo false
fi

如果不使用 [[ ]] 而是 [ ] 会发现当变量未定义时会发生异常

if [ $aaaaaaaa = "true" ]
then
    echo true
else
    echo false
fi
## 执行结果，这里虽然也打印出了false，但是是因为$aaaaaaaa = "true"执行失败，而不是test命令对表达式的判断
./hello_world.sh: line 5: [: =: unary operator expected
false

所以建议能用[[ ]] 的地方全部用[[ ]] ，而用 [ ] 时需要在引用变量时再套个双引号 if [ "$aaaaaaaa" = "true" ]

关于test命令一些理解

变量非空判断

之前说过在test命令这踩了几个坑，我碰到的场景是有个布尔值变量，然后根据其他条件，两个条件&&操作之后进行判断

ENABLE=false
TYPE=Debug
if [[ $ENABLE && $TYPE = "Debug" ]]
then
    echo true
else
    echo false
fi

这种写法无论 ENABLE 是true还是false最后都会打印true
尝试修改下 TYPE 的值，发现打印出了false，所以问题出在前一个语句中
将 [[ $ENABLE ]] 单独拿出来测试，发现只要ENABLE赋值为非空值，该条件都为true
在这里产生了一个误解，test命令并不能对true/false本身进行真值判断。
而 [[ $ENABLE ]] 的真正含义是对变量ENABLE进行非空判断
正确的用法应该是

## 将$ENABLE变为test命令可以正确支持的形式
## 这里$ENABLE被当做字符串
if [[ $ENABLE = true && $TYPE = "Debug" ]] 
## 另一种方式是将$ENABLE单独作为一个命令
## 这里的$ENABLE是一个命令
if $ENABLE && [[ $TYPE = "Debug" ]]

要不要空格这是个问题

很多教程上都说在 [[ ]] 要舍得加空格，简单测试一下

[[ 1 == 2 ]] ## 结果为false
[[ 1==2 ]] ## 结果为真

这里简单谈下自己的理解，未经查证，有误欢迎指正

• 这里的 [ ] [[ ]] 都可以看做test命令，而其中的内容都可以看做test命令的参数
• test命令没有参数时退出状态为1,表示false
• test命令有一个参数时退出状态为0,表示true
• 当参数大于一个时，test只支持字符串/文件/整数判断
• test不支持执行一个命令获取命令的退出状态（这是if语句本身的功能）

[[ 1==2 ]]为真是因为将1==2整体作为了命令参数
而[[ 1 == 2 ]]则是三个参数，其中==是tes支持的操作符

再联系上面的 [[ false ]] 为true，这里也是将true/false作为了一个参数，而不是执行true/false命令
所以建议在写条件判断的时候考虑成命令参数，分清楚比较对象和操作符

如何修改一个布尔值的变量

说回到之前ENABLE和其他条件结合的例子，当时我想将结合的真值直接重新赋值给ENABLE
类似下面的代码

ENABLE=true
TYPE=Debug
ENABLE= $($ENABLE && [[ $TYPE = "Debug" ]]) ## ENABLE为空

失败的原因我们来仔细探究一下

函数/命令的返回值

在shell中函数/命令实际是无法将一个值带回到调用方的，return的是函数执行的状态，而命令展开等展开的实际是标准输出的数据。而true/false/test命令都是没有标准输出的。这里我们期望的是 $ENABLE 执行true命令，在将true值输出到标准输出再与 [[ $TYPE = "Debug" ]] 的输出结合，实际情况并非如此

如何符合预期的修改

写了个函数

getBoolValue(){
## 将字符串当做命令执行
if eval $*
then
    echo true
else
    echo false
fi
}
ENABLE=true
TYPE=Debug
## &&需要转义才能作为getBoolValue函数的参数
## 否则会被看做getBoolValue $ENABLE作为一个整体[[ $TYPE = "Debug" ]]作为一个整体，然后&&操作
ENABLE=$(getBoolValue $ENABLE \&\& [[ $TYPE = "Debug" ]])
echo $ENABLE

当然这个函数只是写来试验下，没有太多的实际价值

总结

• if后面的条件可以是普通的命令
• true/false是内建的命令，不做任何事情，除了以一个0或1退出状态来终止执行。
• test命令只能处理它支持的字符串/文件/整数表达式，命令/函数作为参数只会当做字符串不会得到正确的结果
• 尽量使用[[ ]] 代替 [ ]
• [[ ]]中的空格需要注意
• 使用到数字运算和比较使用(( ))

参考资料

[shell if [[ ]]和 ]区别 || &&
流程控制：if 分支结构