嵌套的双引号在投票很高的单行代码中

一个具有> 3.5K票数的StackOverflow 答案具有此一类功能，可用于分配给DIR当前bash脚本的目录：

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"

我对嵌套的双引号感到困惑。据我所知，以下片段被双引号括起来：

"$( cd "
"${BASH_SOURCE[0]}"
" && pwd )"

...，而=（）$( dirname和（)）右边的其他所有内容均未引用。换句话说，我假设第二，第四和第六个"字符分别“关闭”了第一，第三和第五个"字符。

我知道"${BASH_SOURCE[0]}"实现了双引号，但是其他两对双引号的目的是什么？

另一方面，（尽管获得较高的投票分数）上述片段不正确，那么实现其名义意图的正确方法是什么？

（按名义意图，我的意思是：将pwd第一个cd-ing 之后的返回值收集到由返回的目录中dirname "${BASH_SOURCE[0]}"，并cd在子外壳中执行-ing，以便$PWD父外壳的保持不变。）

您的难题与如何bash（通常是外壳）解析输入不正确。在：

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"

首先，bash将赋值的右侧解析为一个长字符串，$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )因为双引号可以出现在双引号内。

然后，bash开始解析命令替换。因为在开括号后到括号后的所有字符都用于在命令替换内构造命令，所以您将获得：

cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd

Shell继续解析该复合命令，将其分为两部分：

• cd "$( dirname "${BASH_SOURCE[0]}" )"
• 密码

然后对施加相同的解析规则cd "$( dirname "${BASH_SOURCE[0]}" )"，但是这次双引号不是多余的，而是有意义的。它们防止在的结果上发生字段分裂$( dirname "${BASH_SOURCE[0]}" )，并且防止的扩展${BASH_SOURCE[0]}（与最外面的双引号相反，在变量分配的RHS中为防止split+glob，没有必要）。

此规则适用于所有POSIX shell中的命令替换。您可以在POSIX规范的“令牌识别”部分中阅读更多详细的难题。

一旦进入内部$(...)，报价便从头开始。

换句话说，"..."和$(...)罐巢内彼此。进程替换$(...)可以包含一个或多个完整的双引号字符串。另外，双引号字符串可能包含一个或多个完整的字符串过程替换。 但是，它们不会交错。 因此，在流程替换内部开始的双引号字符串永远不会在其外部扩展，反之亦然。

因此，请考虑：

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"

内部的$(...)是：

dirname "${BASH_SOURCE[0]}"

以上${BASH_SOURCE[0]}是双引号。引号之外的任何双引号或单引号$(...)确定均无关紧要${BASH_SOURCE[0]}。

外部$(...)包含：

cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd

在此，表达式用$( dirname "${BASH_SOURCE[0]}" )双引号引起来。外部有引号的事实$(...)考虑内部的内容时是无关紧要的。内层内部有引号的事实$(...)也无关紧要。

这是双引号匹配的方式：