Por que um espaço em branco é necessário entre "[[" e "-e xxx" em ksh?

Por exemplo, o seguinte comando não funciona:

if [[-e xyz]]; then echo File exists;fi

ksh fornece o seguinte erro

[[-e: command not found

Isso é porque "[[-" é ambíguo?

A explicação mais simples seria, porque no manual parece que [[ expression ]]deve haver espaço entre [[e expressione fechando ]]. Mas é claro que podemos tentar analisá-lo mais profundamente. Os reservatórios têm uma gramática um tanto complexa e dependem muito do conceito de "divisão de palavras". Em particular, o manual do ksh (1) declara:

O shell começa a analisar sua entrada dividindo-a em palavras. As palavras, que são sequências de caracteres, são delimitadas por caracteres de espaço em branco sem aspas (espaço, tabulação e nova linha) ou metacaracteres (<,>, |,;, &, (e)). Além de delimitar palavras, espaços e tabulações são ignorados, enquanto novas linhas geralmente delimitam comandos.

Portanto, como declarado no manual, a sequência de caracteres [[-eé considerada uma palavra concha. kshprocuraria por esse comando na lista de operadores internos e especiais (como forou while), depois procuraria por um comando externo - e pronto - nenhum encontrado, portanto, há uma mensagem de erro sobre o comando não encontrado.

Nesse caso, [[também não são meta-caracteres especiais. Se fossem, a -eparte [[-eseria considerada uma palavra concha, não um argumento para [[si mesma. No entanto, [[é descrito como comando composto e o manual diz o seguinte:

Os comandos compostos são criados usando as seguintes palavras reservadas - essas palavras são reconhecidas apenas se não estiverem entre aspas e se forem usadas como a primeira palavra de um comando (ou seja, não poderão ser precedidas por atribuições ou redirecionamentos de parâmetros):

Portanto, para [[ser reconhecido como um comando composto, ele deve ser a primeira palavra de um comando ou lista de comandos, que por definição anterior de uma "palavra" implica que ela deve ser separada por espaços, tabulações ou novas linhas de outras palavras / argumentos.

Você perguntou nos comentários : "Por que o analisador não pode parar assim que encontra o padrão" [["e trata isso como o início de um comando condicional?" A resposta curta é provavelmente porque 1) influência da [sintaxe, uma vez que era originalmente um comando externo, e para a conformidade com o POSIX existe como comando externo ainda hoje, e 2) porque o analisador de shell é construído assim. O analisador de shell pode reconhecer outros caracteres especiais não delimitados por espaço: echo $((2+2))e (echo foobar)funciona perfeitamente bem. Talvez no futuro, quando o kshdesenvolvimento for retomado ou pareça haver um fork ou clone (como mkshou pdksh), alguém implementará uma sintaxe sem espaço [[-e.

Veja também:

• Em termos de gramática POSIX, [[é chamada de "palavra reservada" (consulte a seção 2.9 da Shell Command Language ). Pela definição do POSIX, a palavra reservada deve ser delimitada por espaços. Por outro lado, (é um operador, e os estados padrão na seção 2.9 "as representações incluem espaçamento entre tokens em alguns lugares onde <blank>s não seria necessário (quando um dos tokens é um operador)". Veja a discussão relacionada: POSIX Shell Grammar: Por que o Brace Group precisa do primeiro espaço, mas o subshell não?

O que é importante notar é que [é um comando, e a palavra-chave shell [[no bash e ksh é baseada [.

[[é usado de maneira semelhante a [. Às vezes você pode até mesmo substituir [ ]com [[ ]]com nenhuma mudança no comportamento. Com [, como qualquer comando, um espaço é obrigatório entre o comando e seus argumentos. O mesmo se aplica a [[.

Nós costumávamos ter apenas /usr/bin/[. Agora a maioria dos shells foi [incorporada para obter eficiência - mas a sintaxe é a mesma. Nas conchas que fornecem [[, ele funciona como uma alternativa mais versátil[ .

Aqui está a descrição para [no bash:

$ help [
[: [ arg... ]
    Evaluate conditional expression.

    This is a synonym for the "test" builtin, but the last argument must
    be a literal `]', to match the opening `['.

Então [é equivalente a test(além de esperar um ]argumento no final). help testdará ainda mais detalhes sobre isso. Você pode comparar isso com help [[.

Há também uma página de manual para o comando externo [( man \[).

No caso de

if [[-e

• Nem [nem [[é um comando, não. A palavra completa [[-eé.
• O if [[-etorna um teste para verdadeiro / falso. Então , [[-eexiste um comando ?

Isso é porque "[[-" é ambíguo?

Sim. Ou não. [[-eé o que é: nada que o shell entenda para assumir que é seu próprio comando. ;-)

O espaço é um deliminador e é necessário. Como você pode ver em shellcheck:

$ shellcheck gmail-browse-msgs-algorithm.sh

In gmail-browse-msgs-algorithm.sh line 847:
        [[$Today != "${DaysArr[ i + DAY_DELETED_ON_NDX ]}" ]] && continue
          ^-- SC1035: You need a space after the [[ and before the ]].

(O ksh e o bash suportam [[e não funcionam sem o espaço. O Shellcheck fornece exatamente essa saída com scripts semelhantes do ksh e do bash que contêm essa linha de buggy.)

Por que os deliminadores são necessários tem a ver com tokens e léxicos .

[[pode ser um comando externo! Ou seja, pode ser um programa e não uma sintaxe suportada diretamente pelo seu shell. Seria possível oferecer suporte a uma sintaxe sem espaço, kshmas ela falharia em sistemas externos, [[portanto, por motivos de compatibilidade, é melhor manter o espaço necessário.

O BusyBox está fornecendo [[como um comando externo , por exemplo.

Uma vez que [[-epode participar da expansão do shell (pode ser usado como

echo [[-e]*

para listar todos os arquivos que começam com uma letra entre [e einclusive), seria uma bagunça completa se [e ]se caracteres especiais não participassem da divisão normal de palavras governada por espaço em branco.