TL; DR : Tại sao nhóm niềng răng POSIX cần khoảng trắng sau {từ dành riêng nhưng subshell không sau từ dành riêng (?

Ngữ pháp shell POSIX định nghĩa nhóm nẹp và subshell như sau

brace_group      : Lbrace compound_list Rbrace

subshell         : '(' compound_list ')'

Bây giờ, nếu chúng ta đọc theo nghĩa đen, không gian là đáng kể. Điều này có nghĩa là phải có không gian phân định mở và đóng dấu ngoặc và dấu ngoặc đơn như trong

{ echo hello world; }

( echo hello world )

Điều này cũng sẽ phù hợp với các định nghĩa Lệnh Hợp chất :

Mỗi lệnh ghép này có một từ hoặc toán tử điều khiển dành riêng ở đầu và một từ kết thúc hoặc toán tử dành riêng tương ứng ở cuối.

Tuy nhiên, điều không có ý nghĩa là tại sao (list)và ( list )chỉ hoạt động tốt (không gian đó sau đó (là không bắt buộc), tuy nhiên việc mở rộng niềng răng phải có một không gian hàng đầu, tức là {echo hello;}sẽ không hoạt động.

Tất nhiên, từ dành riêng được coi là từ vỏ sẽ có nghĩa là cần một khoảng trắng sau đó để phù hợp với khái niệm phân tách trường , tuy nhiên định nghĩa tự nó không đề cập đến khoảng trắng. Hơn nữa, nếu {và (cả hai đều được coi là các từ dành riêng theo định nghĩa POSIX của lệnh ghép, tại sao chúng được xử lý khác nhau về ký tự khoảng trắng sau các từ dành riêng này? Bây giờ, hướng dẫn ksh (1) hiện trạng thái:

Các từ, là chuỗi các ký tự, được phân cách bằng các ký tự khoảng trắng không được trích dẫn (dấu cách, tab và dòng mới) hoặc ký tự meta (<,>, |,;, &, (và))

Nói cách khác, nó có ý nghĩa rằng ksh sẽ nhận ra (là dấu phân cách từ, trong đó từ đầu tiên sẽ là một lệnh hoặc gán biến. POSIX, tuy nhiên dường như không đề cập đến (như là siêu ký tự. Lời giải thích khả dĩ duy nhất tôi tìm thấy theo ngữ pháp POSIX là nó {được coi là "mã thông báo", trong đó (không được liệt kê là một.

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


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

Vì vậy, lý do chính xác cho sự khác biệt này là gì?

Ghi chú trả lời được chấp nhận:

• Đã chuyển dấu kiểm được chấp nhận vào câu trả lời của Isaac vì nó cung cấp cho q uote mẫu chính tiêu chuẩn trực tiếp giải quyết câu hỏi của tôi:

  Chẳng hạn, '(' và ')' là các toán tử điều khiển, do đó không <space>cần thiết trong (danh sách). Tuy nhiên, '{' và '}' là các từ dành riêng trong {list;}, do đó, trong trường hợp này là hàng đầu <space>và <semicolon>được yêu cầu.

• Chấp nhận câu trả lời của Kusalananda . Câu trả lời của Kusalananda giải quyết những gì tôi cần, mặc dù chủ yếu theo quan điểm không chính thức và trực quan; nó chỉ ra {là một từ dành riêng và (là toán tử. Michael Homer cũng lưu ý tương tự trong các bình luận - rằng trạng thái định nghĩa Lệnh Hợp chất (nhấn mạnh thêm):

  Mỗi lệnh ghép này có một từ dành riêng hoặc toán tử điều khiển ở đầu

• {được định nghĩa là từ dành riêng, tương tự forhoặc while, được liệt kê trong Shell Grammar (xem khối mã cuối cùng trong câu hỏi)

• Mục 2.9 tiểu bang (nhấn mạnh thêm):

  Cụ thể, các biểu diễn bao gồm khoảng cách giữa các mã thông báo ở một số nơi <blank>không cần thiết (khi một trong số các mã thông báo là toán tử).

• Trong khi tiêu chuẩn không xác định rõ ràng (là một toán tử, (được gọi là toán tử; cụ thể, mục 2.9.2 nói

  Nếu đường ống bắt đầu với từ dành riêng! và lệnh1 là một lệnh con, ứng dụng sẽ đảm bảo rằng (toán tử ở đầu lệnh1 được tách biệt với! bởi một hoặc nhiều ký tự. Hành vi của từ dành riêng! ngay lập tức theo sau (toán tử là không xác định.

• Câu hỏi về Stack Overflow của Digital Trauma chỉ ra Phần 2.4 về các từ dành riêng:

  Sự công nhận này chỉ xảy ra khi không có ký tự nào được trích dẫn và khi từ được sử dụng là:

  -Từ đầu tiên của một lệnh

• Như đã đề cập trong câu trả lời của Kusalananda "Các khoảng trắng hiển thị trong ngữ pháp POSIX không phải là khoảng trắng cần có trong dữ liệu đầu vào shell, mà chỉ là một cách hiển thị ngữ pháp. Đó là thực tế rằng dấu ngoặc nhọn là những từ dành riêng ngụ ý rằng chúng phải được bao quanh bởi khoảng trắng "Như Michael Homer đã đề cập trong các bình luận:" Nếu các không gian có ý nghĩa theo cách riêng của chúng, thì chúng cần phải được liệt kê trong sản xuất "

Trường hợp đóng cửa.

Đó là một hạn chế về cách thức mà vỏ phá vỡ các dòng thành mã thông báo.

Shell đọc các dòng từ tệp đầu vào và Theo mục 2 "Giới thiệu Shell" chuyển đổi chúng thành một từ hoặc một toán tử :

2. Shell phá vỡ đầu vào thành mã thông báo: từ và toán tử

{là một từ dành riêng

Một số từ là từ dành riêng

Từ dành riêng là những từ có ý nghĩa đặc biệt đối với vỏ. Các từ sau đây sẽ được công nhận là từ dành riêng:

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

Các từ, để được công nhận là từ, phải được phân định .

Các từ dành riêng chỉ được nhận ra khi chúng được phân định ...

Chủ yếu là bởi khoảng trống (điểm 7) và bởi các nhà khai thác.

7. Nếu ký tự hiện tại là <un> không được trích dẫn, mọi mã thông báo có chứa ký tự trước đó được phân cách và ký tự hiện tại sẽ bị loại bỏ.

(là một nhà điều hành

Các nhà khai thác đứng một mình :

trong khi các nhà khai thác là chính họ phân định.

Trong đó "toán tử" là :

Toán tử 3.260

Trong ngôn ngữ lệnh shell, hoặc là một kiểm soát điều hành hoặc một chuyển hướng điều hành.

Toán tử chuyển hướng là :

Toán tử chuyển hướng

Trong ngôn ngữ lệnh shell, mã thông báo thực hiện chức năng chuyển hướng. Đây là một trong những biểu tượng sau:

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

Toán tử điều khiển là :

3.113 Toán tử điều khiển

Trong ngôn ngữ lệnh shell, mã thông báo thực hiện chức năng điều khiển. Đây là một trong những biểu tượng sau:

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

Phần kết luận

Vì vậy, '(' và ')' là các toán tử điều khiển trong khi '{' '}' là các từ dành riêng.

Và mô tả chính xác của câu hỏi của bạn nằm trong thông số kỹ thuật :

Chẳng hạn, '(' và ')' là các toán tử điều khiển, do đó không cần <dấu cách> trong (danh sách). Tuy nhiên, '{' và '}' là các từ dành riêng trong {list;}, do đó, trong trường hợp này, <space> và <dấu chấm phẩy> hàng đầu là bắt buộc.

Mà chính xác giải thích tại sao một không gian (hoặc một số dấu phân cách khác) được yêu cầu sau a {.

Điều này hợp lệ:

{ echo yes;}

Như thế này:

{(echo yes);}

Điều này:

{(echo yes)}

Hoặc thậm chí này:

{>/dev/tty echo yes;}

Sự khác biệt giữa các dấu ngoặc nhọn và dấu ngoặc đơn là rằng niềng răng (và !) là những từ dành riêng, giống như for, if, thenvv trong khi ngoặc là nhà khai thác kiểm soát. Các từ cần phải được phân tách bằng khoảng trắng.

Điều này có nghĩa là giống như bạn không thể có

foriin*; do

bạn không thể có

{somecommand;} >file

hoặc là

if !somecommand; then

Các khoảng trắng được hiển thị trong ngữ pháp POSIX không phải là khoảng trắng cần có trong dữ liệu đầu vào shell, mà chỉ là một cách hiển thị ngữ pháp. Đó là thực tế rằng các dấu ngoặc nhọn là những từ dành riêng ngụ ý rằng chúng phải được bao quanh bởi khoảng trắng, trong khi dấu ngoặc đơn của một hàm con thì không.