Fork me on GitHub
Maxie's Notes

shell十三问之九 [转载]

&& 与 || 差在哪?


一路走来,很辛苦吧?也很快乐吧? ^_^

在解答本章题目之前,先让我们了解一个概念:
return value。

我们在shell下跑的每一个command或function,
在结束的时候都会传回父进程一个值,称为 return value

在shell command line中可用$?
这个变量得到最”新”的一个return value
也就是刚刚结束的那个进程传回的值。

Return Value(RV)的取值为0-255之间,
由进程或者script的作者自行定义:

  • 若在script里,用exit RV 来指定其值;
    若没有指定, 在结束时,以最后一个命令的RV,为script的RV值。

  • 若在function里,则用return RV 来代替exit RV即可。

Return Value的作用:用来判断进程的退出状态(exit status).
进程的退出状态有两种:

  • 0值为”真”(true)
  • 非0值为”假”(false)

举个例子来说明好了:
假设当前目录内有一个my.file的文件, 而no.file是不存在的:

1
2
3
4
5
6
7
8
9
10
$ touch my.file
$ ls my.file
$ echo $? #first echo
0
$ ls no.file
ls: no.file: No such file or directory
$ echo $? #second echo
1
$ echo $? #third echo
0

上例的:

  • 第一个echo是关于ls my.file的RV,可得到0的值,因此为true。
  • 第二个echo是关于ls no.file的RV,得到非0的值,因此为false。
  • 第三个echo是关于echo $?的RV,得到0值, 因此为true。

请记住:
每一个command在结束时,都会返回return value,不管你跑什么命令…
然而,有一个命令却是“专门”用来测试某一条而返回return value
以供true或false的判断, 它就是test命令。

若你用的是bash, 请在command line下,
man test,或者 man bash 来了解这个test的用法。
这是你可用作参考的最精准的文件了,要是听别人说的,仅作参考就好…

下面,我只简单作一些辅助说明,其余的一律以 man为准:
首先,test的表达式,我们称为expression,其命令格式有两种:

1
test expression

或者

1
[ expression ]

Note:

请务必注意 [] 之间的空白键!

用哪一种格式无所谓,都是一样的效果。
(我个人比较喜欢后者…)

其次,bash的test目前支持的测试对象只有三种:

  • string:字符串,也就是纯文字。
  • integer:整数(0或正整数、不含负数或小数)
  • file: 文件

请初学者,一定要搞清楚这三者的差异,
因为test所使用的expression是不一样的。

以A=123这个变量为例:

  • [ "$A" = 123 ] #是字符串测试,测试$A是不是1、2、3这三个字符。

  • [ "$A" -eq 123 ] #是整数测试,以测试$A是否等于123.

  • [-e "$A" ] #文件测试,测试123这份文件是否存在.

第三,
当expression测试为“真”时, test就返回0(true)的return value;
否则,返回非0(false).

若在 expression 之前加一个!(感叹号),则在expression为假时,return value为0,
否则, return value 为非0值。

同时,test也允许多重复合测试:

  • expression1 -a expression2 #当两个expression都为true,返回0,否则,返回非0;
  • expression1 -o expression2 #当两个expression均为false时,返回非0,否则,返回0;

例如:

1
[ -d "$file" -a -x "$file" ]

表示当$file是一个目录,且同时具有x权限时,test才会为true。

第四,在command line中使用test时,请别忘记命令行的“重组”特性,
也就是在碰到meta时,会先处理meta,在重新组建命令行。
(这个概念在第2章和第4章进行了反复强调)

比方说, 若test碰到变量或者命令替换时,
若不能满足 expression的格式时,将会得到语法错误的结果。

举例来说好了:

关于[ string1 = string2 ]这个test格式,
在等号两边必须要有字符串,其中包括空串(null串,可用soft quote或者hard quote取得)。

假如$A目前没有定义,或被定义为空字符串的话,
那如下的用法将会失败:

1
2
3
$ unset A
$ [ $A = abc ]
[: =: unary oprator expected

这是因为命令行碰到$这个meta时,会替换$A的值,
然后,再重组命令行,那就变成了:
[ = abc ],
如此一来,=的左边就没有字符串存在了,
因此,造成test的语法错误。
但是,下面这个写法则是成立的。

1
2
3
$ [ "$A" = abc ]
$ echo $?
1

这是因为命令行重组后的结果为:
[ "" = abc ],
由于等号的左边我们用soft quote得到一个空串,
而让test的语法得以通过…

读者诸君,请务必留意这些细节哦,
因为稍一不慎,将会导致test的结果变了个样。
若您对test还不是很有经验的话,
那在使用test时,不妨先采用如下这一个”法则”:

若在test中碰到变量替换,用soft quote是最保险的*

若你对quoting不熟的话,请重新温习第四章的内容吧…^_^

okay, 关于更多的test的用法,老话一句:请看其man page (man test)吧!^_^

虽然洋洋洒洒读了一大堆,或许你还在嘀咕…那…那个return value有啥用?

问得好:
告诉你:return value的作用可大了,
若你想要你的shell变”聪明”的话,就全靠它了:
有了return value, 我们可以让shell根据不同的状态做不同的事情…

这时候,才让我来揭晓本章的答案吧~~~~^_^

&&|| 都是用来”组建” 多个command line用的;

  • command1 && command2 # command2只有在command1的RV为0(true)的条件下执行。
  • command1 || command2 # command2 只有在command1的RV为非0(false)的条件下执行。

以例子来说好了:

1
2
3
4
5
6
7
$ A=123
$ [ -n "$A" ] && echo "yes! it's true."
yes! it's true.
$ unset A
$ [ -n "$A" ] && echo "yes! it's true."
$ [ -n "$A" ] || echo "no, it's Not true."
no, it's Not true

Note:

[ -n string ]是测试string长度大于0, 则为true。

上例中,第一个&&命令之所以会执行其右边的echo命令,
是因为上一个test返回了0的RV值;
但第二个,就不会执行,因为test返回了非0的结果…
同理,||右边的echo会被执行,却正是因为左边的test返回非0所引起的。

事实上,我们在同一个命令行中,可用多个&&|| 来组建呢。

1
2
3
4
5
6
$ A=123
$ [ -n "$A" ] && echo "yes! it's true." || echo "no, it's Not ture."
yes! it's true.
$ unset A
$ [ -n "$A" ] && echo "yes! it's true." || echo "no, it's Not ture."
no, it's Not true

怎样,从这一刻开始,你是否觉得我们的shell是“很聪明”的呢? ^_^

好了,最后布置一道练习题给大家做做看:
下面的判断是:当$A被赋值时,在看看其是否小于100,否则输出too big!

1
2
3
$ A=123
$ [ -n "$A" ] && [ "$A" -lt 100 ] || echo 'too big!'
$ too big!

若我取消A,照理说,应该不会输出文字啊,(因为第一个条件不成立)。

1
2
3
$ unset A
$ [ -n "$A" ] && [ "$A" -lt 100 ] || echo 'too big!'
$ too big!

为何上面的结果也可得到呢?
又如何解决呢?

Tips:

修改的方法有很多种,
其中一种方法可以利用第7章中介绍过 command group

快告诉我答案,其余免谈….

解决方法1:sub-shell

1
2
$ unset A
$ [ -n "$A" ] && ( [ "$A" -lt 100 ] || echo 'too big!' )

解决方法二:command group:

1
2
$ unset A
$ [ -n "$A" ] && { [ "$A" -lt 100 ] || echo 'too big!'}

-------------本文结束感谢您的阅读-------------