Различия между ключевым словом, зарезервированным словом и встроенным модулем?

Q1, Q2

Каково определение ключевого слова?

Является ли понятие "ключевое слово" тем же самым понятием, что и "зарезервированное слово" в Справочном руководстве Bash ?

В основном, особые слова важны для синтаксической структуры. В C есть goto , if , while , enum и так далее; в bash у вас есть if , while (звучит знакомо ...), time и т. д.

И да, они такие же.

Я беру некоторую вольность интерпретировать вопрос, поскольку основные синтаксические элементы оболочки POSIX и bash похожи. Итак, давайте посмотрим на определение в POSIX.1: 2013 Shell Command Language :

2.4 Зарезервированные слова

Зарезервированные слова - это слова, которые имеют особое значение для оболочки; см. Команды оболочки . Следующие слова должны быть признаны зарезервированными словами:

...

Это распознавание происходит только в том случае, если ни один из символов не цитируется и когда слово используется как:

...

См. грамматика в Shell Grammar .

Давайте посмотрим на грамматику POSIX, чтобы увидеть, как Специальные слова - теперь синтаксические токены после лексирования - в действии:

for_clause       : For name linebreak                            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           /* Apply rule 6 */

Это выглядит знакомо, верно? Обратите внимание, что For , Do и Done на самом деле являются токенами, которые должны отображаться и распознаваться лексером:

%token  If    Then    Else    Elif    Fi    Do    Done
/*      'if'  'then'  'else'  'elif'  'fi'  'do'  'done'   */


%token  Case    Esac    While    Until    For
/*      'case'  'esac'  'while'  'until'  'for'   */

/* and 'In' too -- They made a mistake! */
%token  In    /*      'in'   */

Если вы слышали о ] Yacc или Bison (ну, jison), вот как люди могут использовать грамматику. С помощью этих генераторов синтаксических анализаторов они могут генерировать что-то, что определяет, в каких частях грамматики используется данный поток входных «токенов».

Q3

Ключевое слово обязательно не является командой (или не встроенной командой) ?

В качестве ключевого слова time не является командой (или не встроенной командой)?

Ни одно из ключевых слов не обрабатывается как команды. Но конечно, у вас могут быть команды / функции с одинаковыми именами, например:

# make a command to avoid command-not-found for `FOO=BAR time cmd`
time(){ time "$@"; }

На основании определений ключевого слова и встроенного, почему время не встроенное, а ключевое слово?

Потому что так решили люди чтобы сделать это :

// Licensed under GPLv2, bash:parse.y
// Copyright (C) 1989-2012 Free Software Foundation, Inc.
pipeline_command: pipeline
                | BANG pipeline_command
                | timespec pipeline_command
                | timespec list_terminator
                | BANG list_terminator;
pipeline        : pipeline '|' newline_list pipeline
                | pipeline BAR_AND newline_list pipeline
                | command;
timespec        : TIME | TIME TIMEOPT | TIME TIMEOPT TIMEIGN;

И они получают от этого дополнительную силу (см. следующий вопрос).

Q4

Почему «вы можете сделать, например, time {foo; bar;} », потому что « time является ключевым словом»?

Как часть грамматики, люди, естественно, могут позволить синтаксическому анализатору обрабатывать все и принимать решения, такие как разрешение времени перед составными командами. Если time было реализовано как просто команда, вы получите синтаксическую ошибку для таких конструкций (попробуйте echo {foo; bar;} ), поскольку она действительно анализируется с помощью обычного ' правила.

Также подумайте о [[. Если [ не было ключевым словом, конструкции будут выглядеть как [[($ a == 2) || ($ b! = 3)]] заставит оболочку находить лишние скобки и жаловаться. (Замените [[ на [ и посмотрите »).

П.С. time - это служебная программа вместо ключевого слова в POSIX, хотя последнее по-прежнему считается приемлемым. Вся штука time-a-trunk-of-commands - это расширение ksh и bash.