Почему в циклах sh нет «;» после «do»?

Почему ;после doцикла в оболочке не появляется символ после одной строки?

Вот что я имею в виду. Когда написано в несколько строк, forцикл выглядит так:

$ for i in $(jot 2)
> do
>     echo $i
> done

И в единственной строке:

$ for i in $(jot 2); do echo $i; done

Все рухнувшие линии получить ;после них , за исключением для doлинии, и если включать ;, это ошибка. Кто-то, вероятно, чертовски умнее меня, решил, что это правильно делать по какой-то причине, но я не могу понять, в чем причина. Это кажется мне противоречивым.

То же самое с whileпетлями тоже.

$ while something
> do
>     anotherthing
> done
$ while something; do anotherthing; done

Это синтаксис команды. Смотрите составные команды

for name [ [in [words …] ] ; ] do commands; done

Обратите особое внимание: do commands

Большинство людей ставят doи commandsв отдельной строке, чтобы облегчить чтение, но это не обязательно, вы можете написать:

for i in thing
do something
done

Я знаю, что этот вопрос конкретно о оболочке, и я связан с руководством по bash. Так не написано в руководстве по оболочке, но так написано в статье, написанной Стивеном Борном для журнала байтов.

Стивен говорит:

Список команд - это последовательность из одной или нескольких простых команд, разделенных или завершенных новой строкой или ;(точкой с запятой). Кроме того, зарезервированные слова, такие как do и done , обычно начинаются с новой строки или ;... По очереди каждый раз, когда выполняется список команд, следующий за do .

Я не знаю, какова первоначальная причина этого синтаксиса, но давайте рассмотрим тот факт, что whileциклы могут принимать несколько команд в разделе условий, например

while a=$(somecmd);
      [ -n "$a" ];
do
    echo "$a"
done

Здесь doключевое слово необходимо, чтобы отделить раздел условия от основной части цикла. doявляется ключевым словом, подобным while, ifи then(и done), и кажется, что оно соответствует другим, что для него не требуется точка с запятой или символ новой строки после него, но оно появляется непосредственно перед командой.

Альтернатива (обобщенная к ifи while) будет выглядеть несколько уродливо, нам нужно написать, например,

if; [ -n "$a" ]; then
    some command here
fi

Синтаксис forциклов просто похож.

Синтаксис оболочки основан на префиксах. В нем есть пункты, введенные специальными ключевыми словами. Некоторые пункты должны идти вместе.

whileПетля сделана из одного или более команд тестирования:

test ; test ; test ; ...

и одной или несколькими командами тела:

body ; body ; body ; ...

Что-то должно сказать оболочке, что цикл while начинается. Это цель whileслова:

while test ; test ; test ; ...

Но тогда, вещи неоднозначны. Какая команда является началом тела? Что-то должно указывать на это, и вот что doделает префикс:

do body ; body ; body ; ...

и, наконец, что-то должно указывать на то, что последнее тело было замечено; специальное ключевое слово doneделает это.

Эти ключевые слова оболочки не требуют разделения точки с запятой даже на одной строке. Например, если вы закроете несколько вложенных циклов, вы можете просто иметь done done done ....

Скорее точка с запятой находится между, ... test ; body ... если они находятся на одной строке. Эта точка с запятой понимается как терминатор: она принадлежит test. Поэтому, если doключевое слово вставлено между ними, оно должно быть между точкой с запятой и body. Если бы он был на другой стороне точки с запятой, он был бы неправильно встроен в testсинтаксис команды, а не помещен между командами.

Синтаксис оболочки был первоначально разработан Стивеном Борном и вдохновлен Алголом . Борн настолько любил Algol, что использовал множество макросов C в исходном коде оболочки, чтобы C выглядел как Algol. Вы можете просмотреть источники оболочки 1979 года из Версии 7 Unix . Макросы находятся внутри mac.h, и они используются повсеместно. Например ifзаявления предоставляются в качестве IF... ELSE... ELIF... FI.

Я бы сказал, что doздесь нет ничего особенного. Вы получаете ошибку, потому что ;не можете запустить список команд. Если это так, первая команда будет пустой, а грамматика не разрешает пустые команды (присваивание переменных или перенаправление без команды, да, но абсолютно ничего, нет). Это верно в любом количестве мест, где ожидается список команд:

$ while true; do ; echo foo; done
dash: 1: Syntax error: ";" unexpected
$ while ; true; do; echo; done
dash: 1: Syntax error: ";" unexpected
$ { ; echo foo; }
dash: 1: Syntax error: ";" unexpected
$ if ; true; then echo foo; fi
dash: 1: Syntax error: ";" unexpected

Четное:

$ ; ;
dash: 1: Syntax error: ";" unexpected

Во всех этих местах ожидается список команд, поэтому ведение ;является неожиданным.

Синтаксис:

for i in [whitespace separated list of values]
do [newline separated list of commands]
done

Любой символ новой строки, либо в списке команд, либо перед «do» или «done» может быть заменен на «;».

Новая строка (но не «;») разрешается после «do» и перед «in», только для того, чтобы все выглядело лучше, но не было бы смысла требовать новой строки там.

if аналогично с его ключевыми словами: это вполне читабельно, когда команды короткие:

if   test_commands
then true_commands
else false_commands
fi

Короткий ответ, потому что это определяется грамматикой оболочки POSIX . Все, что находится между doи doneсчитается группой операторов, в то время как ;является последовательным разделителем:

for_clause       : For name                                      do_group
                 | For name                       sequential_sep do_group
                 | For name linebreak in          sequential_sep do_group
                 | For name linebreak in wordlist sequential_sep do_group

do_group         : Do compound_list Done 

sequential_sep   : ';' linebreak
                 | newline_list

Кроме того, если ;необходимы стандарт будет явно указать , так и будет включать в себя sequential_sepпосле Do.

Потому что do - это ключевое слово, а то, что следует, по сути являются параметрами. Интерпретатор Bash знает, что еще следует. Это похоже на то, как нет ';' после я в для команды. Вы можете добавить новую строку после i в for и набрать остальное в новой строке, и она будет работать нормально.