8.4 运算符优先级

在脚本中，运算执行的顺序被称为优先级: 高优先级的操作会比低优先级的操作先执行。^[1]

表 8-1. 运算符优先级(从高到低)

运算符	含义	注解
var++ var--	后缀自增/自减	C风格运算符
++var --var	前缀自增/自减
! ~	按位取反/逻辑取反	对每一比特位取反/对逻辑判断的结果取反
**	幂运算	算数运算符
* / %	乘, 除, 取余	算数运算符
+ -	加, 减	算数运算符
<< >>	左移, 右移	比特位运算符
-z -n	一元比较	字符串是/否为空
-e -f -t -x, etc	一元比较	文件测试
-lt -gt -le -ge <= >=	复合比较	字符串/整数比较
-nt -ot -ef	复合比较	文件测试
&	AND(按位与)	按位与操作
^	XOR(按位异或)	按位异或操作
|	OR(按位或)	按位或操作
&& -a	AND(逻辑与)	逻辑与, 复合比较
|| -o	OR(逻辑或)	逻辑或, 复合比较
? :	if/else三目运算符	C风格运算符
=	赋值	不要与test中的等号混淆
*= /= %= += -= <<= >>= &=	赋值运算	先运算后赋值
,	逗号运算符	连接一系列语句

实际上，你只需要记住以下规则就可以了:

• 先乘除取余，后加减，与算数运算相似
• 复合逻辑运算符，&&, ||, -a, -o 优先级较低
• 优先级相同的操作按从左至右顺序求值

现在，让我们利用运算符优先级的知识来分析一下Fedora Core Linux中的/etc/init.d/functions文件。

while [ -n "$remaining" -a "$retry" -gt 0 ]; do

# 初看之下很恐怖...


# 分开来分析
while [ -n "$remaining" -a "$retry" -gt 0 ]; do
#       --condition 1-- ^^ --condition 2-

#  如果变量"$remaining" 长度不为0
#+      并且AND (-a)
#+ 变量 "$retry" 大于0
#+ 那么
#+ [ 方括号表达式 ] 返回成功(0)
#+ while-loop 开始迭代执行语句。
#  ==============================================================
#  "condition 1" 和 "condition 2" 在 AND之前执行，为什么？
#  因为AND(-a)优先级比-n,-gt来得低，逻辑与会在最后求值。
#################################################################

if [ -f /etc/sysconfig/i18n -a -z "${NOLOCALE:-}" ] ; then


# 同样，分开来分析
if [ -f /etc/sysconfig/i18n -a -z "${NOLOCALE:-}" ] ; then
#    --condition 1--------- ^^ --condition 2-----

#  如果文件"/etc/sysconfig/i18n" 存在
#+      并且AND (-a)
#+ 变量 $NOLOCALE 长度不为0
#+ 那么
#+ [ 方括号表达式 ] 返回成功(0)
#+ 执行接下来的语句。
#
#  和之前的情况一样，逻辑与AND(-a)最后求值。
#  因为在方括号测试结构中，逻辑运算的优先级是最低的。
#  ==============================================================
#  注意:
#  ${NOLOCALE:-} 是一个参数扩展式，看起来有点多余。
#  但是, 如果 $NOLOCALE 没有提前声明, 它会被设成null，
#  在某些情况下，这会有点问题。

为了避免在复杂比较运算中的错误，可以把运算分散到几个括号结构中。

if [ "$v1" -gt "$v2"  -o  "$v1" -lt "$v2"  -a  -e "$filename" ]
# 这样写不清晰...

if [[ "$v1" -gt "$v2" ]] || [[ "$v1" -lt "$v2" ]] && [[ -e "$filename" ]]
# 好多了 -- 把逻辑判断分散到多个组之中

---

1. Precedence(优先级)，根据上下文，与priority含义相近。 ↩︎