Trong Python 3.2, là "lambda" được coi là "từ khóa", "toán tử" hay cả hai?

Question

Trong Python 3.2, theo điều này: http://docs.python.org/py3k/reference/expressions.html#summary

lambda là toán tử có mức ưu tiên thấp nhất trong Python.

Và theo này: http://docs.python.org/py3k/reference/lexical_analysis.html#keywords

lambda là một từ khóa ngôn ngữ Python.

Tuy nhiên, theo này: http://docs.python.org/py3k/reference/lexical_analysis.html#other-tokens

nhà khai thác và từ khóa là các đơn vị khác nhau.

Tôi đang cố gắng giải thích một cách có hệ thống Python 3.2 cho người nào đó và tôi không muốn gây nhầm lẫn cho họ. Tôi, bản thân mình, đang bối rối, mặc dù, trên các định nghĩa chính xác của các nhà khai thác và từ khóa.

Dự đoán tốt nhất của tôi là thuật ngữ "toán tử" có nghĩa là một cái gì đó hơi khác khi được sử dụng trong ngữ cảnh của trình phân tích cú pháp Python so với Python lexer.

Answer 1

lambda rõ ràng là từ khóa; đó là một từ đặc biệt được nhận dạng bởi trình phân tích cú pháp, nếu không sẽ nằm trong định nghĩa của một số identifier.

lambda không phải là semantically một nhà điều hành. Toán tử chỉ là một hàm, nhưng được gọi với một cú pháp khác. Chúng ta có thể tưởng tượng thay thế toán tử + bằng hàm add; tất cả các chương trình của chúng tôi với phần bổ sung sẽ có nhiều chi tiết hơn và khó đọc hơn, nhưng chúng tôi vẫn có thể viết chúng. Mặt khác, cấu trúc ngôn ngữ lambda không thể thay thế bằng chức năng; lambda x: x+1 không chỉ tính kết quả từ các giá trị x và x+1, bởi vì trong ngữ cảnh này, chúng không phải là giá trị (x là tên của tham số cho hàm được xác định và x+1 là mã của phần lambda).

Trong cùng một trang bạn liên kết với chúng ta có: http://docs.python.org/py3k/reference/lexical_analysis.html#operators

Các thẻ sau đây là nhà khai thác:

+  -  *  ** /  //  % 
<<  >>  &  |  ^  ~ 
<  >  <=  >=  ==  != 

Đó là toàn bộ nội dung của tiểu mục trên các nhà khai thác. Từ điều này, tôi có nghĩa là trong ngữ cảnh xác định mã của ngôn ngữ "toán tử" là toán tử biểu tượng, trong khi phần trên từ khóa rõ ràng là "những thứ này sẽ là từ định danh là từ khóa". Đó là lý do tại sao tôi nghĩ các toán tử từ khóa như not, is, in, v.v. không được liệt kê. Nhưng chắc chắn có những thứ là các toán tử ngữ nghĩa là các từ khóa, cho dù trình phân tích cú pháp có xét đến các lớp riêng biệt hay không.

Tôi không chắc chắn lý do tại sao http://docs.python.org/py3k/reference/expressions.html#summary mô tả lambda làm toán tử; Tôi chắc chắn sẽ không. Nói đúng ra nó không nói rõ ràng "lambda là toán tử có mức ưu tiên thấp nhất", nó chỉ liệt kê lambda trong một bảng có tiêu đề cột là "Toán tử". Có lẽ nó chỉ là một sự tiện lợi; mô tả lambda là một điều có ưu tiên thấp là một cách hay để làm rõ cách Python phân tích cú pháp lambda x: x + 1 (về mặt lý thuyết có thể là (lambda x: x) + 1 hoặc lambda x: (x + 1)).

Answer 2

Điều đó không nói rằng họ đang loại trừ lẫn nhau, chỉ là:

"các loại sau của thẻ tồn tại: định danh, từ khóa, literals, khai thác, và delimiters"

Tôi thuộc loại người và người Mỹ. Cấp, nó có thể có nghĩa là ngụ ý rằng họ đang loại trừ lẫn nhau, trong trường hợp đó các tài liệu không phù hợp.

Answer 3

Nhà khai thác và từ khóa là các thực thể riêng biệt.

Không có. is, in, and, or, not và tôi chắc chắn một số khác là cả hai.