Dlaczego w ksh wymagana jest spacja między „[[” a „-e xxx”?

Na przykład następujące polecenie nie działa:

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

ksh daje następujący błąd

[[-e: command not found

Czy to dlatego, że „[[-” jest niejednoznaczny?

Najprostszym wyjaśnieniem byłoby, ponieważ w instrukcji wydaje się, [[ expression ]]więc nie musi być przestrzeń pomiędzy [[a expressioni zamykanie ]]. Ale oczywiście możemy spróbować przyjrzeć się temu bardziej szczegółowo. Muszle mają nieco złożoną gramatykę i polegają w dużej mierze na koncepcji „dzielenia słów”. W szczególności instrukcja ksh (1) stwierdza:

Powłoka zaczyna analizować dane wejściowe, dzieląc je na słowa. Słowa, które są sekwencjami znaków, są rozdzielane niecytowanymi białymi znakami (spacja, tabulator i nowa linia) lub metaznakami (<,>, |,;, &, (i)). Oprócz ograniczania słów spacje i tabulatory są ignorowane, podczas gdy znaki nowej linii zwykle ograniczają polecenia.

Tak jak podano w instrukcji, sekwencja znaków [[-ejest uważana za słowo powłoki. kshszukałby takiego polecenia na liście wbudowanych i operatorów specjalnych (takich jak forlub while), a następnie szukał polecenia zewnętrznego - i voilà - nie znaleziono, stąd pojawia się komunikat o błędzie dotyczący polecenia nie znalezionego.

W tym przypadku [[nie są też specjalnymi metaznakami. Gdyby tak było, ta -eczęść [[-ebyłaby uważana za słowo powłoki, a nie argument [[sam w sobie. Jest jednak [[opisany jako polecenie złożone, a instrukcja mówi:

Polecenia złożone są tworzone przy użyciu następujących słów zastrzeżonych - słowa te są rozpoznawane tylko wtedy, gdy nie są cytowane i jeśli są używane jako pierwsze słowo polecenia (tzn. Nie mogą być poprzedzone przypisaniem parametrów ani przekierowaniem):

Aby więc [[mógł zostać rozpoznany jako polecenie złożone, musi być pierwszym słowem polecenia lub listy poleceń, co zgodnie z poprzednią definicją „słowa” oznacza, że ​​muszą być one oddzielone spacjami, tabulatorami lub znakami nowej linii od innych słowa / argumenty.

W komentarzach zapytałeś : „Dlaczego parser nie może zatrzymać się, gdy tylko znajdzie wzorzec” [[”, i traktuje to jako początek polecenia warunkowego?” Krótka odpowiedź jest prawdopodobnie spowodowana 1) wpływem [składni, ponieważ pierwotnie była to komenda zewnętrzna, a dla POSIX standardowa zgodność istnieje już jako komenda zewnętrzna, a 2) ponieważ parser powłoki jest tak zbudowany. Analizator składni powłoki rozpoznaje inne znaki specjalne rozdzielane spacjami: echo $((2+2))i (echo foobar)działa doskonale. Być może w przyszłości, gdy kshprogramowanie zostanie wznowione lub pojawi się widelec lub klon (jak mkshlub pdksh), ktoś zaimplementuje składnię bez spacji [[-e.

Zobacz też:

• Pod względem gramatyki POSIX [[nazywane jest „słowem zastrzeżonym” (patrz sekcja 2.9 języka poleceń powłoki ). Według definicji POSIX słowo zastrzeżone musi być oddzielone spacjami. Natomiast (operator jest, a standardowe stany w sekcji 2.9 „reprezentacje obejmują odstępy między tokenami w niektórych miejscach, w których <blank>s nie byłoby konieczne (gdy jeden z tokenów jest operatorem)”. Zobacz pokrewną dyskusję: Gramatyka powłoki POSIX: Dlaczego grupa Brace potrzebuje pierwszej przestrzeni, a podpowłoki nie?

Należy zauważyć, że [jest to polecenie, a słowo kluczowe powłoki [[w bash i ksh jest oparte [.

[[jest używany w podobny sposób jak [. Czasami można nawet zastąpić [ ]z [[ ]]bez zmiany zachowań. W przypadku [, jak każdego polecenia, spacja jest obowiązkowa między poleceniem a jego argumentami. To samo dotyczy [[.

Kiedyś mieliśmy tylko /usr/bin/[. Teraz większość powłok ma [wbudowaną wydajność - ale składnia jest taka sama. W powłokach, które to zapewniają [[, działa ona jako bardziej wszechstronna alternatywa dla [.

Oto opis [w 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 `['.

[Jest to więc równoważne z test(poza oczekiwaniem ]argumentu na samym końcu). help testpoda jeszcze więcej szczegółów. Możesz to porównać do help [[.

Istnieje również strona podręcznika dla zewnętrznego polecenia [( man \[).

W przypadku

if [[-e

• Tam też [nie [[ma polecenia. Pełne słowo [[-eto.
• To if [[-esprawia, że ​​jest to test na wartość prawda / fałsz. Czy istnieje polecenie [[-e?

Czy to dlatego, że „[[-” jest niejednoznaczny?

Tak. Albo nie. [[-ejest tym, czym jest: nic, co powłoka rozumie, więc zakłada, że ​​jest to jej własne polecenie. ;-)

Przestrzeń jest ogranicznikiem i jest wymagana. Jak widać z 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 ]].

(Zarówno obsługa ksh, jak i bash [[i nie działa bez spacji. Shellcheck daje dokładnie takie wyjście z podobnymi skryptami ksh i bash zawierającymi tę błędną linię.)

Dlaczego separatory są potrzebne, mają związek z tokenami i leksykonami .

[[może być poleceniem zewnętrznym! Oznacza to, że może to być program, a nie jakaś składnia obsługiwana bezpośrednio przez powłokę. Obsługa składni bez przestrzeni byłaby możliwa, kshale zawiodłaby w systemach z zewnętrznymi, [[więc ze względu na kompatybilność lepiej zachować wymaganą przestrzeń.

BusyBox udostępnia [[na przykład jako polecenie zewnętrzne .

Ponieważ [[-emoże uczestniczyć w rozszerzaniu powłoki (może być używany jak

echo [[-e]*

aby wymienić wszystkie pliki zaczynające się od litery pomiędzy [i ewłącznie), byłby to kompletny bałagan, jeśli [i ]były znaki specjalne, które nie uczestniczą w normalnej spacji rządzone słowo podziału.