aspas duplas aninhadas em uma linha altamente votada

Uma resposta StackOverflow com mais de 3,5 mil votos apresenta este recurso para atribuir ao DIRdiretório do script bash atual:

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

Estou intrigado com as aspas duplas aninhadas. Tanto quanto posso dizer, os seguintes fragmentos são citados duas vezes:

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

... e tudo o mais à direita do =(ie $( dirnamee )) não é citado. Em outras palavras, suponho que os caracteres 2, 4 e 6 "fechem os caracteres 1, 3 e 5 ", respectivamente.

Entendo o que as aspas duplas "${BASH_SOURCE[0]}"alcançam, mas qual é o objetivo dos outros dois pares de aspas duplas?

Se, por outro lado (e não obstante a alta pontuação dos votos), o trecho acima estiver incorreto, qual é o caminho certo para atingir sua intenção nominal?

(Por intenção nominal, quero dizer: colete o valor retornado pwddepois de first cd-ing no diretório retornado por dirname "${BASH_SOURCE[0]}"e faça cd-ing em um sub shell, para que o $PWDshell pai permaneça inalterado).

Seu quebra-cabeça não está certo sobre como bash(e o shell em geral) analisou a entrada. Em:

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

Primeiro, bashanalise o lado direito da atribuição em uma sequência longa, $( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )pois aspas duplas podem aparecer dentro de aspas duplas .

Depois disso, bashcomece a analisar a substituição do comando. Como todos os caracteres que seguem parênteses abertos a parênteses anexos são usados ​​para construir o comando dentro da substituição de comando, você obterá:

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

O shell continua analisando esse comando composto, divida-o em duas partes:

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

Em seguida, aplicando a mesma regra de análise para cd "$( dirname "${BASH_SOURCE[0]}" )", mas desta vez, aspas duplas não são redundantes, mas fazem sentido. Eles impedem a divisão do campo no resultado de $( dirname "${BASH_SOURCE[0]}" ), e também a expansão de ${BASH_SOURCE[0]}(Em contraste com as aspas duplas mais externas, não é necessário no RHS da atribuição de variáveis ​​para impedirsplit+glob ).

Esta regra se aplica à substituição de comandos em todos os shell POSIX . Um quebra-cabeça com mais detalhes você pode ler na seção Reconhecimento de token da especificação POSIX .

Uma vez dentro $(...), as citações começam do zero.

Em outras palavras, "..."e $(...)podem aninhar um dentro do outro. A substituição do processo,, $(...)pode conter uma ou mais seqüências completas de aspas duplas. Além disso, cadeias de caracteres com aspas duplas podem conter uma ou mais substituições de processo completas . Mas eles não se entrelaçam. Portanto, uma string de aspas duplas que inicia dentro de uma substituição de processo nunca se estende para fora dela ou vice-versa.

Então, considere:

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

Dentro do interior $(...)é:

dirname "${BASH_SOURCE[0]}"

No acima ${BASH_SOURCE[0]}é citado duplo. Quaisquer aspas, duplas ou simples, fora da $(...)são irrelevantes ao determinar que ${BASH_SOURCE[0]}são aspas duplas.

O exterior $(...)contém:

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

Aqui, a expressão $( dirname "${BASH_SOURCE[0]}" )está entre aspas duplas. O fato de haver aspas fora do exterior $(...)é irrelevante quando se considera o que está dentro dele. O fato de existirem aspas no interior $(...)também é irrelevante.

Aqui está como as aspas duplas coincidem: