shell解析命令行的过程以及eval命令

bash&shell系列文章:http://www.cnblogs.com/f-ck-need-u/p/7048359.html


本文说明的是一条linux命令在执行时大致要经过哪些过程?以及这些过程的大致顺序。

1.1 shell解析命令行

shell读取和执行命令时的大致操作过程如下图:

shell解析命令行的过程以及eval命令_第1张图片

(注:图中没有画出"函数"的位置。它的位置和别名并列,但优先级低于别名。也就是说,如果函数和命令别名同名,则先执行别名。)

以执行以下命令为例:

echo -e "some files:" ~/i* "\nThe date:$(date +%F)\n$name's age is $((a+4))" >/tmp/a.log

假设在执行该命令前,已赋值变量"name=longshuai"和"a=24",于是重定向到/tmp/a.log中的结果为:

some files: /root/inotify.sh /root/inotify.sh.ori
The date:2017-08-14
longshuai's age is 28

(1).读取输入的命令行。

(2).解析引用并分割命令行为各个单词,各单词称为token。其中重定向所在的token会被保存下来,直到扩展步骤(5)结束后才进行相关处理,如进行扩展、截断文件等。

shell中有3种引用方式:反斜线引用、单引号引用和双引号引用。

◇ 反斜线转义:使得元字符变为普通的字面字符。但这只能对反斜线后一个字符进行转义。

◇ 单引号引用:单引号内的所有字符全部变为字面符号符号。但注意:单引号内不能再使用单引号,即使使用了反斜线转义也不允许。

◇ 双引号引用:使双引号内所有字符变为字面符号,但"\"、"$"、"`"(反引号)除外,如果开启了"!"引用历史命令时,则感叹号也除外。

解析引用后,于是就可以将命令行进行单词分割,分割后的每一部分都称为一个token。分隔时,不仅分割单个命令,还分割命令列表,所以分隔符包括:空格、tab、分号、管道符号、&、&&、||、重定向符号、圆括号等。

于是上述命令分割为以下几个token:

如果分割时发现了管道符号,或者是命令列表等组合了多个命令的情况,则每个命令都的token都相互独立。

(3).检查命令行结构。主要检查是否有命令列表、是否有shell编程结构的命令,如if判断命令、循环结构的for/while/select/until,这些命令属于保留关键字,需要特殊处理。

(4).对第一个token进行别名扩展。如果检查出它是别名,则扩展后回到(2)再次进行token分解过程。如果检查出它是函数,则执行函数体中的复合命令。如果它既是别名,又是函数(即命令别名和函数同名称的情况),则优先执行别名。在概念上,别名的临时性最强,优先级最高。

(5).进行各种扩展。扩展顺序为:大括号扩展;波浪号扩展;参数、变量和命令替换、算术扩展(如果系统支持,此步还进行进程替换);单词拆分;文件名扩展。

不同引号的引用方式,将改变扩展的起始步骤,正如上图所画,没有任何引号时将从头到尾全部扩展,使用单引号时将完全不会进行任何扩展,使用双引号时将从变量替换开始继续扩展。

①大括号扩展:如/tmp/{a,b}.log扩展为/tmp/a.log和/tmp/b.log。

②波浪号扩展:扩展为家目录。如root用户下的~/.ssh扩展为/root/.ssh。

③变量扩展:即操作和替换变量值。如$a替换为它的值24, ${name:-longshuai} 替换为longshuai。

④命令替换:此过程将执行命令替换中的命令,并将结果替换到token的对应位置处。

⑤进程替换:将进程的执行结果替换到对应位置。类似于命令替换。替换格式为"<(cmd_list)"和">(cmd_list)",例如 cat <(cat /etc/hosts) 。redhat系列应该都支持进程替换。

⑥算术扩展:计算算术值,并将计算结果替换到对应位置处。例如$((a+4))替换为28。

经过以上几种扩展后,得到如下结果:

⑦单词拆分:扫描变量扩展、命令替换和算术扩展的结果,对非引号内的结果按照$IFS的值对这些结果进行单词分割。

注意,如果没有进行扩展,或者扩展结果使用引号包围了,则不会进行此步的单词拆分。

默认情况下,$IFS值为"   \t\n",所以扩展结果中每遇到空格、制表符、换行符都将被分割为两个单词。

这一步其实很容易犯错,典型的是test命令。例如变量 name="Ma longshuai" ,则 test $name == "longshuai" 将报错,因为变量扩展后该语句变为 test Ma longshuai == "longshuai" ,由于是变量替换,所以随后进行单词拆分,使得Ma和longshuai被拆分为两个单词,但实际上它们共同组成变量name的值。

所以,为了正确操作变量替换和命令替换,尽量将它们使用引号包围。例如 test "$name" == "longshuai" ,这时将不会进行单词拆分。

⑧文件名扩展:对每个token进行搜索,将搜索"*"、"?"和"["符号,搜索到了将进行文件名扩展。例如将上面的"/root/i*"扩展为"/root/inotify.sh /root/inotify.sh.ori"。

(6).引号去除。经过上面的过程,该扩展的都扩展了,不需要的引号在此步就可以去掉了。

所以得到如下结果。

(7).搜索和执行命令。

单词分割后,复杂的命令行将由各个简单命令结构组成。于是可以搜索每个简单命令结构的第一个token中的命令,同时还带有一系列命令选项。例如上面的"echo"和"-e"。

如果命令中不含任何斜杠:

①则先判断是否有此名称的shell function存在,如果有则调用它,否则进行下一步搜索。

②判断该命令是否为bash内置命令,如果是则执行它,否则进行下一步搜索。

③从$PATH的路径下搜索该命令,如果搜索到了,则执行,否则报错。

如果命令中包含一个或多个斜杠,则进行相对路径扩展、绝对路径查找,找到了则执行,否则报错。

(8).返回退出状态码。

1.2 eval命令

正常情况下,当搜索到命令时将会执行命令,但如果搜索到的命令为eval时,则处理方式有所不同。

它的语法格式为:

eval command arguments

按照前文所述shell解析过程,将最终得到eval command和一系列扩展后的选项、参数,当搜索命令时,搜索到的结果为eval命令,于是eval命令将除了eval命令(以及eval的选项)的所有token再次传递给shell进行二次解析。但重定向所在token除外,因为重定向token早已被shell保存下来,所以不会再次截断文件。

也就是说,"command arguments"被当作eval命令的参数,被传递给shell进行解析、执行。

执行过程如下图所示:

shell解析命令行的过程以及eval命令_第2张图片

使用示例来说明:

[root@xuexi ~]# a=24;name='long$a'     # 注意,使用的是单引号,禁止$a被扩展

如果直接执行 echo $name ,则结果为"long$a",但如果执行 eval echo $name ,结果将是"long24"。

[root@xuexi ~]# eval echo $name
long24

首先shell按照正常过程解析,在变量替换时由于使用了单引号,所以$name第一次变量替换的结果为"long$a",直到命令搜索时发现搜索到的命令是eval命令,执行eval命令,该命令将其参数 echo long$a 再次传递给shell,相当于在标准输入中输入了 echo long$a ,于是shell进行二次解析,这次的变量替换将$a替换为24,最后搜索命令发现是echo命令,于是最终得到"long24"。

关于eval,更多的用法是间接变量$$var的用法,在bash shell中需要在第一个$前加上反斜线,即 \$$var ,这么做的原因是显然的:防止第一次shell解析时被当作特殊变量"$$"被扩展。

[root@xuexi ~]# a=b
[root@xuexi ~]# b=haha

[root@xuexi ~]# eval echo \$$a
haha

 

注:本文并非一定准确,只是根据man bash总结而来。如有错误,请明确指出。多谢

你可能感兴趣的:(shell解析命令行的过程以及eval命令)