TL; DR : Perché il gruppo di parentesi graffe POSIX ha bisogno di spazi dopo la {parola riservata, ma la subshell non segue la parola riservata (?

La grammatica della shell POSIX definisce il gruppo di controventi e la subshell come segue

brace_group      : Lbrace compound_list Rbrace

subshell         : '(' compound_list ')'

Ora, se lo stiamo leggendo letteralmente, gli spazi sono significativi. Ciò significherebbe che deve esserci spazio che delinea l'apertura e la chiusura di parentesi graffe e parentesi come in

{ echo hello world; }

( echo hello world )

Ciò si allinea anche con le definizioni del comando composto :

Ognuno di questi comandi composti ha una parola riservata o un operatore di controllo all'inizio e una parola riservata o un operatore terminatore corrispondente alla fine.

Tuttavia, ciò che non ha senso è perché (list)e ( list )lavorare bene (quello spazio dopo (non è necessario), tuttavia l'espansione del rinforzo deve avere uno spazio iniziale, cioè {echo hello;}non funzionerebbe.

Naturalmente la parola riservata che viene trattata come parola shell avrebbe senso avere bisogno di uno spazio in seguito per allinearsi con il concetto di divisione del campo , tuttavia la definizione stessa non fa menzione di spazi. Inoltre, se {e (entrambi sono considerati parole riservate dalla definizione POSIX di comando composto, perché vengono trattati in modo diverso rispetto al carattere dello spazio dopo queste parole riservate? Ora, il manuale di ksh (1) afferma:

Le parole, che sono sequenze di caratteri, sono delimitate da caratteri di spazi bianchi non quotati (spazio, tabulazione e nuova riga) o meta-caratteri (<,>, |,;, &, (e))

In altre parole, ha senso che ksh riconoscesse (come delimitatore di parole, dove la prima parola sarebbe un comando o un'assegnazione variabile. POSIX, tuttavia, non sembra menzionare (come meta-personaggio. L'unica spiegazione possibile che ho trovato per quanto riguarda la grammatica POSIX è che {è considerato un "token", dove (non è elencato come uno.

/* These are reserved words, not operator tokens, and are
   recognized when reserved words are recognized. */


%token  Lbrace    Rbrace    Bang
/*      '{'       '}'       '!'   */

Quindi quale sarebbe il ragionamento preciso per questa discrepanza?

Note di risposta accettate:

• Sposta il segno di spunta accettato nella risposta di Isaac poiché fornisce q uote dallo standard stesso che risponde direttamente alla mia domanda:

  Ad esempio, "(" e ")" sono operatori di controllo, quindi non <space>è necessario in (elenco). Tuttavia, "{" e "}" sono parole riservate in {list;}, quindi in questo caso il comando iniziale <space>e <semicolon>sono obbligatori.

• Accettare la risposta di Kusalananda . La risposta di Kusalananda si rivolge a ciò di cui avevo bisogno, anche se principalmente dal punto di vista informale e intuitivo; indica {una parola riservata ed (è operatore. Anche Michael Homer ha notato lo stesso nei commenti - che la definizione di Comando composto afferma (enfasi aggiunta):

  Ognuno di questi comandi composti ha una parola riservata o un operatore di controllo all'inizio

• {sono definiti come parole riservate, simili a foro while, elencate in Shell Grammar (vedere l'ultimo blocco di codice nella domanda)

• La sezione 2.9 afferma (enfasi aggiunta):

  In particolare, le rappresentazioni includono la spaziatura tra i token in alcuni punti dove <blank>s non sarebbe necessario (quando uno dei token è un operatore).

• Mentre lo standard non definisce esplicitamente (come operatore, (viene indicato come operatore; in particolare, dice la sezione 2.9.2

  Se la pipeline inizia con la parola riservata! e command1 è un comando subshell, l'applicazione deve assicurarsi che l'operatore (all'inizio del comando1 sia separato da! da uno o più caratteri. Il comportamento della parola riservata! immediatamente seguito dall'operatore (non è specificato.

• La domanda su Stack Overflow di Digital Trauma sottolinea la Sezione 2.4 sulle parole riservate:

  Questo riconoscimento deve avvenire solo quando nessuno dei caratteri è citato e quando la parola è usata come:

  -La prima parola di un comando

• Come menzionato nella risposta di Kusalananda "Gli spazi mostrati nella grammatica POSIX non sono spazi che devono essere presenti nei dati di input della shell, ma solo un modo per visualizzare la grammatica stessa. È il fatto che le parentesi graffe sono parole riservate che implica che devono essere circondati da spazi bianchi "Come menzionato da Michael Homer nei commenti:" Se gli spazi fossero significativi di per sé, avrebbero bisogno di essere elencati nella produzione "

Caso chiuso.

Questa è una limitazione del modo in cui la shell spezza le linee in token.

La shell legge le righe dal file di input e secondo la sezione 2 "Introduzione alla shell" le converte in una parola o in un operatore :

2. La shell suddivide l'input in token: parole e operatori

{è una parola riservata

Alcune parole sono parole riservate

Le parole riservate sono parole che hanno un significato speciale per la shell. Le seguenti parole devono essere riconosciute come parole riservate:

! { } case do done elif else esac fi for if in then until while

Le parole, per essere riconosciute come parole, devono essere delimitate .

Le parole riservate vengono riconosciute solo quando sono delimitate ...

Principalmente per spazi vuoti (punto 7) e per operatori.

7. Se il personaggio corrente è un <blank> non quotato, qualsiasi token contenente il personaggio precedente viene delimitato e il personaggio corrente deve essere scartato.

(è un operatore

Gli operatori stanno da soli :

mentre gli operatori sono essi stessi delimitatori.

Dove "operatori" sono :

3.260 Operatore

Nel linguaggio dei comandi della shell, un operatore di controllo o un operatore di reindirizzamento .

Gli operatori di reindirizzamento sono :

Operatore di reindirizzamento

Nel linguaggio dei comandi della shell, un token che esegue una funzione di reindirizzamento. È uno dei seguenti simboli:

<     >     >|     <<     >>     <&     >&     <<-     <>

Gli operatori di controllo sono :

3.113 Operatore di controllo

Nel linguaggio dei comandi della shell, un token che esegue una funzione di controllo. È uno dei seguenti simboli:

&   &&   (   )   ;   ;;   newline   |   ||

Conclusione

Quindi, '(' e ')' sono operatori di controllo mentre '{' '}' sono parole riservate.

E la stessa descrizione esatta della tua domanda è all'interno della specifica :

Ad esempio, '(' e ')' sono operatori di controllo, quindi non è necessario <spazio> in (elenco). Tuttavia, "{" e "}" sono parole riservate in {list;}, quindi in questo caso sono richiesti <space> e <semicolon>.

Il che spiega esattamente perché uno spazio (o qualche altro delimitatore) è richiesto dopo a {.

Questo è valido:

{ echo yes;}

Come è questo:

{(echo yes);}

Questo:

{(echo yes)}

O anche questo:

{>/dev/tty echo yes;}

La differenza tra le parentesi e le parentesi sono che le parentesi (e !) sono parole riservate, come for, if, thenecc mentre parentesi sono operatori di controllo. Le parole devono essere separate da spazi bianchi.

Ciò significa che proprio come non puoi avere

foriin*; do

non puoi avere

{somecommand;} >file

o

if !somecommand; then

Gli spazi mostrati nella grammatica POSIX non sono spazi che devono essere presenti nei dati di input della shell, ma solo un modo per visualizzare la grammatica stessa. È il fatto che le parentesi graffe sono parole riservate, il che implica che devono essere circondate da spazi bianchi, mentre le parentesi di una subshell no.