Почему между «[[» и «-e xxx» в ksh требуется пробел?

Например, следующая команда не работает:

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

Кш дает следующую ошибку

[[-e: command not found

Это потому, что «[[-» неоднозначно?

Самое простое объяснение было бы, потому что в руководстве это выглядит [[ expression ]]так, что должно быть пространство между [[и expressionи закрытием ]]. Но, конечно, мы можем попытаться взглянуть на это более подробно. Оболочки имеют несколько сложную грамматику и в значительной степени полагаются на понятие «разбиение слов». В частности, руководство ksh (1) заявляет:

Оболочка начинает анализировать входные данные, разбивая их на слова. Слова, которые являются последовательностями символов, отделяются символами пробела без кавычек (пробел, табуляция и новая строка) или метасимволами (<,>, |,;, &, (и)). Помимо разграничения слов, пробелы и символы табуляции игнорируются, а символы новой строки обычно разделяют команды.

Таким образом, как указано в руководстве, последовательность символов [[-eсчитается словом оболочки. kshбудет искать такую ​​команду в списке встроенных и специальных операторов (например, forили while), затем искать внешнюю команду - и вуаля - ни одна не найдена, поэтому появляется сообщение об ошибке о команде не найдена.

В этом случае [[также не специальные метасимволы. Если бы это было так, то -eчасть [[-eбыла бы названа словом оболочки, а не аргументом для [[самого себя. Однако [[описывается как составная команда, а в руководстве говорится следующее:

Составные команды создаются с использованием следующих зарезервированных слов - эти слова распознаются только в том случае, если они не заключены в кавычки и если они используются в качестве первого слова команды (т. Е. Им не может предшествовать присвоение параметров или перенаправление):

Таким образом, [[чтобы быть распознанным как составная команда, это должно быть первое слово команды или списка команд, которое согласно предыдущему определению «слова» подразумевает, что оно должно быть отделено пробелами, символами табуляции или переводами строки от других слова / аргументы.

В комментариях вы спросили : «Почему анализатор не может остановиться, как только найдет» [[»шаблон, и рассматривает его как начало условной команды?» Краткий ответ, вероятно, объясняется тем, что: 1) влияние [синтаксиса, поскольку оно изначально было внешней командой, и для POSIX соответствие стандарту существует как внешняя команда даже сегодня, и 2) потому что анализатор оболочки построен так. Оболочка синтаксического анализатора может распознавать другие специальные символы, не разделенные пробелами, echo $((2+2))и (echo foobar)отлично работать. Возможно, в будущем, когда kshразработка возобновится, или, как представляется, будет форк или клон (например, mkshили pdksh), кто-то будет реализовывать синтаксис без пробелов в [[-e.

Смотрите также:

• В терминах грамматики POSIX, [[называется «зарезервированным словом» (см. Раздел 2.9 языка командных команд оболочки ). По определению POSIX зарезервированное слово должно быть разделено пробелами. В отличие (от этого, оператор является стандартным, и в разделе 2.9 говорится, что «представления включают интервалы между токенами в некоторых местах, где <blank>s не требуется (когда один из токенов является оператором)». См. Соответствующее обсуждение: грамматика оболочки POSIX: почему группе скобок нужен первый пробел, а вспомогательной - нет?

Важно отметить, что [это команда, и в [[ее основе лежит ключевое слово shell в bash и ksh [.

[[используется аналогично [. Иногда вы можете даже заменить [ ]с [[ ]]без каких - либо изменений в поведении. При использовании [, как и любой команды, между командой и ее аргументами обязательно должен быть пробел. То же самое относится и к [[.

Раньше было только /usr/bin/[. Сейчас большинство оболочек [встроено для повышения эффективности, но синтаксис тот же. В оболочках, которые предоставляют [[, он функционирует как более универсальная альтернатива [.

Вот описание для [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 `['.

Так [что эквивалентно test(кроме ожидания ]аргумента в самом конце). help testдаст еще больше подробностей об этом. Вы можете сравнить это с help [[.

Также есть справочная страница для внешней команды [( man \[).

На случай, если

if [[-e

• Ни там, [ни [[там нет команды. Полное слово [[-eесть.
• Это if [[-eделает тест на истину / ложь. Так есть ли команда [[-e?

Это потому, что «[[-» неоднозначно?

Да. Или нет [[-eэто то, что есть: ничего, что оболочка не понимает, поэтому она предполагает, что это ее собственная команда. ;-)

Пространство является разделителем и является обязательным. Как вы можете видеть из 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 ]].

(Поддерживаются как ksh, так и bash, [[и они не работают без пробела. Shellcheck выдает именно такой вывод с помощью похожих сценариев ksh и bash, содержащих эту строку с ошибками.)

Для чего нужны разделители, имеет отношение к токенам и лексиконам .

[[может быть внешней командой! То есть это может быть программа, а не какой-то синтаксис, поддерживаемый вашей оболочкой напрямую. Поддержка синтаксиса без пробелов возможна, kshно в системах с внешним [[интерфейсом она не будет работать, поэтому по соображениям совместимости лучше сохранить необходимое пространство.

[[Например, BusyBox предоставляет в качестве внешней команды .

Так как [[-eможет участвовать в расширении оболочки (его можно использовать как

echo [[-e]*

для того, чтобы перечислить все файлы, начинающиеся с буквы между [и eвключительно), было бы полным беспорядком, если бы [и ]были специальными символами, не участвующими в нормальном разделении слов с пробелами.