Ghi chú cú pháp. Trong chương này và các chương tiếp theo, ký hiệu BNF mở rộng sẽ được sử dụng để mô tả cú pháp, không phải phân tích từ vựng. Khi [một thay thế của] quy tắc cú pháp có dạng
name ::= othername
và không có ngữ nghĩa nào được đưa ra, ngữ nghĩa của dạng
parenth_form ::= "[" [starred_expression
] "]"
4 này cũng giống như đối với parenth_form ::= "[" [starred_expression
] "]"
56. 1. Chuyển đổi số học¶
Khi mô tả toán tử số học bên dưới sử dụng cụm từ “các đối số số được chuyển đổi thành một loại phổ biến”, điều này có nghĩa là việc triển khai toán tử cho các loại tích hợp hoạt động như sau
Nếu một trong hai đối số là một số phức, thì đối số kia được chuyển đổi thành số phức;
mặt khác, nếu một trong hai đối số là số dấu phẩy động, thì đối số kia được chuyển đổi thành dấu phẩy động;
mặt khác, cả hai phải là số nguyên và không cần chuyển đổi
Một số quy tắc bổ sung áp dụng cho một số nhà khai thác nhất định [e. g. , một chuỗi làm đối số bên trái cho toán tử '%']. Các tiện ích mở rộng phải xác định hành vi chuyển đổi của riêng chúng
6. 2. Nguyên tử¶
Nguyên tử là phần tử cơ bản nhất của biểu thức. Các nguyên tử đơn giản nhất là định danh hoặc chữ. Các hình thức được đặt trong ngoặc đơn, dấu ngoặc hoặc dấu ngoặc nhọn cũng được phân loại theo cú pháp là nguyên tử. Cú pháp cho các nguyên tử là
atom ::=identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
6. 2. 1. Số nhận dạng [Tên]¶
Một định danh xuất hiện dưới dạng một nguyên tử là một cái tên. Xem phần Số nhận dạng và từ khóa để biết định nghĩa từ vựng và phần Đặt tên và ràng buộc để biết .
Khi tên được liên kết với một đối tượng, việc đánh giá nguyên tử sẽ mang lại đối tượng đó. Khi một tên không bị ràng buộc, một nỗ lực để đánh giá nó sẽ tạo ra một ngoại lệ
parenth_form ::= "[" [starred_expression
] "]"
6xáo trộn tên riêng. Khi một mã định danh xuất hiện theo văn bản trong định nghĩa lớp bắt đầu bằng hai hoặc nhiều ký tự gạch dưới và không kết thúc bằng hai hoặc nhiều dấu gạch dưới, thì nó được coi là tên riêng của lớp đó. Tên riêng được chuyển thành dạng dài hơn trước khi tạo mã cho chúng. Phép biến đổi chèn tên lớp, loại bỏ dấu gạch dưới ở đầu và chèn một dấu gạch dưới vào trước tên. Ví dụ: định danh
parenth_form ::= "[" [starred_expression
] "]"
7 xuất hiện trong một lớp có tên parenth_form ::= "[" [starred_expression
] "]"
8 sẽ được chuyển đổi thành parenth_form ::= "[" [starred_expression
] "]"
9. Sự chuyển đổi này độc lập với ngữ cảnh cú pháp trong đó định danh được sử dụng. Nếu tên được chuyển đổi quá dài [dài hơn 255 ký tự], việc cắt bớt do triển khai xác định có thể xảy ra. Nếu tên lớp chỉ bao gồm dấu gạch dưới, thì không có chuyển đổi nào được thực hiện6. 2. 2. Chữ¶
Python hỗ trợ các chuỗi ký tự và byte cũng như các ký tự số khác nhau
________số 8Đánh giá một chữ tạo ra một đối tượng thuộc loại đã cho [chuỗi, byte, số nguyên, số dấu phẩy động, số phức] với giá trị đã cho. Giá trị có thể được tính gần đúng trong trường hợp dấu phẩy động và ký tự ảo [phức tạp]. Xem phần Chữ để biết chi tiết.
Tất cả các chữ tương ứng với các loại dữ liệu bất biến và do đó, danh tính của đối tượng ít quan trọng hơn giá trị của nó. Nhiều đánh giá của các chữ có cùng giá trị [cùng một lần xuất hiện trong văn bản chương trình hoặc một lần xuất hiện khác] có thể thu được cùng một đối tượng hoặc một đối tượng khác có cùng giá trị
6. 2. 3. Biểu mẫu có dấu ngoặc đơn¶
Biểu mẫu có dấu ngoặc đơn là danh sách biểu thức tùy chọn được đặt trong dấu ngoặc đơn
parenth_form ::= "[" [starred_expression
] "]"
Danh sách biểu thức được đặt trong ngoặc đơn mang lại bất kỳ thứ gì mà danh sách biểu thức đó mang lại. nếu danh sách chứa ít nhất một dấu phẩy, thì nó tạo ra một bộ;
Một cặp dấu ngoặc rỗng tạo ra một đối tượng tuple trống. Vì các bộ dữ liệu là bất biến, các quy tắc tương tự như đối với nghĩa đen được áp dụng [i. e. , hai lần xuất hiện của bộ dữ liệu trống có thể hoặc không thể mang lại cùng một đối tượng]
Lưu ý rằng các bộ dữ liệu không được hình thành bởi dấu ngoặc đơn, mà bằng cách sử dụng dấu phẩy. Ngoại lệ là bộ dữ liệu trống, trong đó bắt buộc phải có dấu ngoặc đơn — việc cho phép “không có gì” không được đặt trong ngoặc đơn trong các biểu thức sẽ gây ra sự mơ hồ và cho phép các lỗi đánh máy phổ biến không được phát hiện
6. 2. 4. Hiển thị cho danh sách, bộ và từ điển¶
Để xây dựng một danh sách, một tập hợp hoặc một từ điển, Python cung cấp cú pháp đặc biệt gọi là "hiển thị", mỗi cú pháp có hai loại
nội dung vùng chứa được liệt kê rõ ràng hoặc
chúng được tính toán thông qua một tập hợp các hướng dẫn lặp và lọc, được gọi là khả năng hiểu
Các yếu tố cú pháp phổ biến để hiểu là
parenth_form ::= "[" [starred_expression
] "]"
0Phần hiểu bao gồm một biểu thức duy nhất theo sau bởi ít nhất một mệnh đề
parenth_form ::= "[" [starred_expression
] "]"
00 và không hoặc nhiều hơn mệnh đề parenth_form ::= "[" [starred_expression
] "]"
00 hoặc parenth_form ::= "[" [starred_expression
] "]"
02. Trong trường hợp này, các phần tử của vùng chứa mới là những phần tử sẽ được tạo ra bằng cách coi mỗi mệnh đề trong số các mệnh đề parenth_form ::= "[" [starred_expression
] "]"
00 hoặc parenth_form ::= "[" [starred_expression
] "]"
02 là một khối, lồng từ trái sang phải và đánh giá biểu thức để tạo ra một phần tử mỗi khi đạt đến khối trong cùngTuy nhiên, ngoài biểu thức có thể lặp lại trong mệnh đề
parenth_form ::= "[" [starred_expression
] "]"
00 ngoài cùng bên trái, việc hiểu được thực thi trong một phạm vi lồng nhau hoàn toàn riêng biệt. Điều này đảm bảo rằng các tên được gán trong danh sách mục tiêu không "rò rỉ" vào phạm vi kèm theoBiểu thức lặp trong mệnh đề
parenth_form ::= "[" [starred_expression
] "]"
00 ngoài cùng bên trái được đánh giá trực tiếp trong phạm vi kèm theo và sau đó được chuyển thành đối số cho phạm vi được lồng hoàn toàn. Các mệnh đề parenth_form ::= "[" [starred_expression
] "]"
00 tiếp theo và bất kỳ điều kiện lọc nào trong mệnh đề parenth_form ::= "[" [starred_expression
] "]"
00 ngoài cùng bên trái không thể được đánh giá trong phạm vi kèm theo vì chúng có thể phụ thuộc vào các giá trị thu được từ lần lặp ngoài cùng bên trái. Ví dụ. parenth_form ::= "[" [starred_expression
] "]"
09Để đảm bảo việc hiểu luôn dẫn đến một vùng chứa thuộc loại phù hợp, các biểu thức
parenth_form ::= "[" [starred_expression
] "]"
10 và parenth_form ::= "[" [starred_expression
] "]"
11 bị cấm trong phạm vi lồng nhau ngầmKể từ Python 3. 6, trong hàm
parenth_form ::= "[" [starred_expression
] "]"
12, mệnh đề parenth_form ::= "[" [starred_expression
] "]"
13 có thể được sử dụng để lặp lại một trình lặp không đồng bộ . Việc hiểu trong hàm parenth_form ::= "[" [starred_expression
] "]"
12 có thể bao gồm mệnh đề parenth_form ::= "[" [starred_expression
] "]"
00 hoặc parenth_form ::= "[" [starred_expression
] "]"
13 theo sau biểu thức dẫn đầu, có thể chứa mệnh đề bổ sung parenth_form ::= "[" [starred_expression
] "]"
00 hoặc parenth_form ::= "[" [starred_expression
] "]"
13 và cũng có thể sử dụng biểu thức parenth_form ::= "[" [starred_expression
] "]"
19. Nếu một cách hiểu có chứa các mệnh đề parenth_form ::= "[" [starred_expression
] "]"
13 hoặc các biểu thức parenth_form ::= "[" [starred_expression
] "]"
19 hoặc cách hiểu không đồng bộ khác thì nó được gọi là một cách hiểu không đồng bộ. Việc hiểu không đồng bộ có thể tạm dừng việc thực thi chức năng coroutine mà nó xuất hiện. Xem thêm PEP 530. Mới trong phiên bản 3. 6. Tính năng hiểu không đồng bộ đã được giới thiệu.
Đã thay đổi trong phiên bản 3. 8. ______210 và
parenth_form ::= "[" [starred_expression
] "]"
11 bị cấm trong phạm vi lồng nhau ngầm. Đã thay đổi trong phiên bản 3. 11. Việc hiểu không đồng bộ hiện được phép hiểu bên trong các chức năng không đồng bộ. Hiểu bên ngoài hoàn toàn trở thành không đồng bộ.
6. 2. 5. Danh sách hiển thị¶
Hiển thị danh sách là một chuỗi các biểu thức có thể trống được đặt trong dấu ngoặc vuông
parenth_form ::= "[" [starred_expression
] "]"
1Hiển thị danh sách mang lại một đối tượng danh sách mới, nội dung được chỉ định bởi một danh sách các biểu thức hoặc một cách hiểu. Khi một danh sách các biểu thức được phân tách bằng dấu phẩy được cung cấp, các phần tử của nó được đánh giá từ trái sang phải và được đặt vào đối tượng danh sách theo thứ tự đó. Khi một sự hiểu biết được cung cấp, danh sách được xây dựng từ các yếu tố do sự hiểu biết
6. 2. 6. Đặt hiển thị¶
Hiển thị tập hợp được biểu thị bằng dấu ngoặc nhọn và có thể phân biệt với hiển thị từ điển do không có dấu hai chấm ngăn cách các khóa và giá trị
atom ::=6identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Một màn hình tập hợp tạo ra một đối tượng tập hợp có thể thay đổi mới, nội dung được chỉ định bởi một chuỗi các biểu thức hoặc một cách hiểu. Khi một danh sách các biểu thức được phân tách bằng dấu phẩy được cung cấp, các phần tử của nó được đánh giá từ trái sang phải và được thêm vào đối tượng đã đặt. Khi một sự hiểu biết được cung cấp, tập hợp được xây dựng từ các yếu tố do sự hiểu biết
Không thể xây dựng một tập rỗng với
atom ::=64;identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
6. 2. 7. Từ điển hiển thị¶
Hiển thị từ điển là một chuỗi các cặp khóa/mốc có thể trống được đặt trong dấu ngoặc nhọn
atom ::=8identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Một màn hình từ điển mang lại một đối tượng từ điển mới
Nếu một chuỗi các cặp khóa/dữ liệu được phân tách bằng dấu phẩy được cung cấp, chúng sẽ được đánh giá từ trái sang phải để xác định các mục nhập của từ điển. mỗi đối tượng khóa được sử dụng làm khóa vào từ điển để lưu dữ liệu tương ứng. Điều này có nghĩa là bạn có thể chỉ định cùng một khóa nhiều lần trong danh sách khóa/mốc và giá trị từ điển cuối cùng cho khóa đó sẽ là giá trị cuối cùng được cung cấp
Dấu hoa thị kép
atom ::=65 biểu thị việc giải nén từ điển. Toán hạng của nó phải là một ánh xạ . Mỗi mục ánh xạ được thêm vào từ điển mới. Các giá trị sau này thay thế các giá trị đã được đặt bởi các cặp khóa/dữ liệu trước đó và các lần giải nén từ điển trước đó.identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Mới trong phiên bản 3. 5. Giải nén vào màn hình từ điển, do PEP 448 đề xuất ban đầu.
Khả năng hiểu chính tả, trái ngược với khả năng hiểu danh sách và tập hợp, cần hai biểu thức được phân tách bằng dấu hai chấm, theo sau là các mệnh đề “for” và “if” thông thường. Khi quá trình hiểu được chạy, các thành phần khóa và giá trị kết quả được chèn vào từ điển mới theo thứ tự chúng được tạo
Các hạn chế về loại giá trị khóa được liệt kê trước đó trong phần Hệ thống phân cấp loại tiêu chuẩn . [Tóm lại, loại khóa phải là có thể băm , loại trừ tất cả các đối tượng có thể thay đổi. ] Không phát hiện xung đột giữa các phím trùng lặp; .
Đã thay đổi trong phiên bản 3. 8. Trước Python 3. 8, trong phần hiểu chính tả, thứ tự đánh giá của khóa và giá trị không được xác định rõ. Trong CPython, giá trị được đánh giá trước khóa. Bắt đầu với 3. 8, khóa được đánh giá trước giá trị, theo đề xuất của PEP 572.
6. 2. 8. Biểu thức trình tạo¶
Biểu thức trình tạo là một ký hiệu trình tạo nhỏ gọn trong ngoặc đơn
parenth_form ::= "[" [starred_expression
] "]"
0Một biểu thức trình tạo mang lại một đối tượng trình tạo mới. Cú pháp của nó giống như cú pháp để hiểu, ngoại trừ việc nó được đặt trong dấu ngoặc đơn thay vì dấu ngoặc nhọn hoặc dấu ngoặc nhọn
Các biến được sử dụng trong biểu thức trình tạo được đánh giá một cách lười biếng khi phương thức
atom ::=66 được gọi cho đối tượng trình tạo [theo cách tương tự như các trình tạo thông thường]. Tuy nhiên, biểu thức lặp trong mệnh đềidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
00 ngoài cùng bên trái được đánh giá ngay lập tức, do đó, một lỗi do nó tạo ra sẽ được phát ra tại điểm mà biểu thức trình tạo được xác định, thay vì tại điểm mà giá trị đầu tiên được truy xuất. Các mệnh đề parenth_form ::= "[" [starred_expression
] "]"
00 tiếp theo và bất kỳ điều kiện lọc nào trong mệnh đề parenth_form ::= "[" [starred_expression
] "]"
00 ngoài cùng bên trái không thể được đánh giá trong phạm vi kèm theo vì chúng có thể phụ thuộc vào các giá trị thu được từ lần lặp ngoài cùng bên trái. Ví dụ. atom ::=80identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Dấu ngoặc đơn có thể được bỏ qua trong các cuộc gọi chỉ với một đối số. Xem phần Cuộc gọi để biết chi tiết.
Để tránh cản trở hoạt động dự kiến của chính biểu thức trình tạo, các biểu thức
parenth_form ::= "[" [starred_expression
] "]"
10 và parenth_form ::= "[" [starred_expression
] "]"
11 bị cấm trong trình tạo được xác định ngầm địnhNếu một biểu thức trình tạo có chứa mệnh đề
parenth_form ::= "[" [starred_expression
] "]"
13 hoặc biểu thức parenth_form ::= "[" [starred_expression
] "]"
19 thì nó được gọi là biểu thức trình tạo không đồng bộ. Một biểu thức trình tạo không đồng bộ trả về một đối tượng trình tạo không đồng bộ mới, là một trình lặp không đồng bộ [xem Trình lặp không đồng bộ ]. Mới trong phiên bản 3. 6. Các biểu thức trình tạo không đồng bộ đã được giới thiệu.
Đã thay đổi trong phiên bản 3. 7. Trước Python 3. 7, các biểu thức trình tạo không đồng bộ chỉ có thể xuất hiện trong
parenth_form ::= "[" [starred_expression
] "]"
12 coroutines. Bắt đầu với 3. 7, bất kỳ hàm nào cũng có thể sử dụng biểu thức trình tạo không đồng bộ. Đã thay đổi trong phiên bản 3. 8. ______210 và
parenth_form ::= "[" [starred_expression
] "]"
11 bị cấm trong phạm vi lồng nhau ngầm. 6. 2. 9. Biểu thức năng suất¶
parenth_form ::= "[" [starred_expression
] "]"
3Biểu thức năng suất được sử dụng khi xác định hàm trình tạo hoặc trình tạo không đồng bộ function and thus can only be used in the body of a function definition. Using a yield expression in a function’s body causes that function to be a generator function, and using it in an
parenth_form ::= "[" [starred_expression
] "]"
12 function’s body causes that coroutine function to be an asynchronous generator function. For example:atom ::=0identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Do các tác dụng phụ của chúng đối với phạm vi chứa, các biểu thức
parenth_form ::= "[" [starred_expression
] "]"
10 không được phép như một phần của phạm vi được xác định ngầm định được sử dụng để triển khai biểu thức hiểu và trình tạoĐã thay đổi trong phiên bản 3. 8. Các biểu thức lợi nhuận bị cấm trong các phạm vi lồng nhau ngầm được sử dụng để triển khai các biểu thức trình tạo và hiểu.
Các chức năng của bộ tạo được mô tả bên dưới, trong khi các chức năng của bộ tạo không đồng bộ được mô tả riêng trong phần Các chức năng của bộ tạo không đồng bộ .
Khi một hàm tạo được gọi, nó sẽ trả về một trình vòng lặp được gọi là trình tạo. Trình tạo đó sau đó điều khiển việc thực thi chức năng của trình tạo. Quá trình thực thi bắt đầu khi một trong các phương thức của trình tạo được gọi. Vào thời điểm đó, quá trình thực thi sẽ chuyển sang biểu thức lợi nhuận đầu tiên, ở đó biểu thức này lại bị treo, trả về giá trị của
parenth_form ::= "[" [starred_expression
] "]"
00 cho trình gọi của trình tạo. Bằng cách treo, chúng tôi muốn nói rằng tất cả trạng thái cục bộ được giữ lại, bao gồm các ràng buộc hiện tại của biến cục bộ, con trỏ lệnh, ngăn xếp đánh giá nội bộ và trạng thái của bất kỳ xử lý ngoại lệ nào. Khi thực thi được tiếp tục bằng cách gọi một trong các phương thức của trình tạo, hàm có thể tiến hành chính xác như thể biểu thức năng suất chỉ là một lệnh gọi bên ngoài khác. Giá trị của biểu thức năng suất sau khi tiếp tục phụ thuộc vào phương thức đã tiếp tục thực thi. Nếu atom ::=66 được sử dụng [thường thông qua nội dung dựng sẵnidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
00 hoặc parenth_form ::= "[" [starred_expression
] "]"
03] thì kết quả là parenth_form ::= "[" [starred_expression
] "]"
04. Mặt khác, nếu sử dụng parenth_form ::= "[" [starred_expression
] "]"
05, thì kết quả sẽ là giá trị được truyền vào phương thức đóTất cả những điều này làm cho các chức năng của trình tạo khá giống với coroutines; . Sự khác biệt duy nhất là một hàm tạo không thể kiểm soát nơi thực thi sẽ tiếp tục sau khi nó mang lại kết quả;
Biểu thức năng suất được phép ở bất kỳ đâu trong cấu trúc
parenth_form ::= "[" [starred_expression
] "]"
06. Nếu trình tạo không được tiếp tục lại trước khi nó được hoàn thiện [bằng cách đạt đến số tham chiếu bằng 0 hoặc bằng cách thu gom rác], phương thức parenth_form ::= "[" [starred_expression
] "]"
07 của trình tạo-iterator sẽ được gọi, cho phép mọi mệnh đề parenth_form ::= "[" [starred_expression
] "]"
08 đang chờ xử lý thực thiKhi sử dụng
parenth_form ::= "[" [starred_expression
] "]"
09, biểu thức được cung cấp phải là biểu thức có thể lặp lại. Các giá trị được tạo bằng cách lặp lại có thể lặp lại đó được chuyển trực tiếp đến người gọi các phương thức của trình tạo hiện tại. Bất kỳ giá trị nào được truyền vào bằng parenth_form ::= "[" [starred_expression
] "]"
05 và bất kỳ ngoại lệ nào được truyền vào bằng parenth_form ::= "[" [starred_expression
] "]"
31 đều được chuyển đến trình lặp bên dưới nếu nó có các phương thức phù hợp. Nếu đây không phải là trường hợp, thì parenth_form ::= "[" [starred_expression
] "]"
05 sẽ tăng parenth_form ::= "[" [starred_expression
] "]"
33 hoặc parenth_form ::= "[" [starred_expression
] "]"
34, trong khi parenth_form ::= "[" [starred_expression
] "]"
31 sẽ chỉ tăng ngoại lệ được thông qua ngay lập tứcKhi trình vòng lặp cơ bản hoàn tất, thuộc tính
parenth_form ::= "[" [starred_expression
] "]"
36 của đối tượng parenth_form ::= "[" [starred_expression
] "]"
37 được nâng lên sẽ trở thành giá trị của biểu thức năng suất. Nó có thể được đặt rõ ràng khi tăng parenth_form ::= "[" [starred_expression
] "]"
37 hoặc tự động khi trình tạo phụ là trình tạo [bằng cách trả về một giá trị từ trình tạo phụ]Đã thay đổi trong phiên bản 3. 3. Đã thêm
parenth_form ::= "[" [09 để ủy quyền luồng điều khiển cho một bộ phụ.starred_expression
] "]"
Dấu ngoặc đơn có thể được bỏ qua khi biểu thức năng suất là biểu thức duy nhất ở phía bên tay phải của câu lệnh gán
Xem thêm
PEP 255 - Máy phát điện đơn giảnĐề xuất thêm trình tạo và câu lệnh
parenth_form ::= "[" [starred_expression
] "]"
10 vào PythonPEP 342 - Coroutines thông qua Trình tạo nâng caoĐề xuất nâng cao API và cú pháp của trình tạo, giúp chúng có thể sử dụng được như các coroutine đơn giản
PEP 380 - Cú pháp ủy quyền cho Trình tạo conĐề xuất giới thiệu cú pháp
atom ::=01, giúp việc ủy quyền cho các trình tạo con trở nên dễ dàngidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Đề xuất mở rộng trên PEP 492 bằng cách thêm các khả năng của trình tạo vào các chức năng coroutine
6. 2. 9. 1. Phương pháp trình tạo lặp¶
Tiểu mục này mô tả các phương thức của trình lặp trình tạo. Chúng có thể được sử dụng để kiểm soát việc thực hiện chức năng tạo
Lưu ý rằng việc gọi bất kỳ phương thức trình tạo nào bên dưới khi trình tạo đang thực thi sẽ làm tăng ngoại lệ
atom ::=02máy phát điện. __next__[] ¶identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Bắt đầu thực hiện chức năng tạo hoặc tiếp tục nó ở biểu thức năng suất được thực hiện lần cuối. Khi chức năng tạo được tiếp tục bằng phương pháp
atom ::=66, biểu thức năng suất hiện tại luôn ước tính thànhidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
04. Sau đó, quá trình thực thi tiếp tục đến biểu thức năng suất tiếp theo, trong đó trình tạo lại bị treo và giá trị của parenth_form ::= "[" [starred_expression
] "]"
00 được trả lại cho trình gọi của atom ::=66. Nếu trình tạo thoát mà không mang lại giá trị khác, ngoại lệidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
37 sẽ được đưa raPhương pháp này thường được gọi ngầm, e. g. bằng vòng lặp
parenth_form ::= "[" [starred_expression
] "]"
00 hoặc bằng hàm parenth_form ::= "[" [starred_expression
] "]"
03 tích hợpmáy phát điện. gửi[giá trị] ¶Tiếp tục thực thi và “gửi” một giá trị vào hàm tạo. Đối số giá trị trở thành kết quả của biểu thức năng suất hiện tại. Phương thức
parenth_form ::= "[" [starred_expression
] "]"
05 trả về giá trị tiếp theo do trình tạo tạo ra hoặc tăng parenth_form ::= "[" [starred_expression
] "]"
37 nếu trình tạo thoát mà không mang lại giá trị khác. Khi parenth_form ::= "[" [starred_expression
] "]"
05 được gọi để khởi động trình tạo, nó phải được gọi với đối số là parenth_form ::= "[" [starred_expression
] "]"
04, vì không có biểu thức năng suất nào có thể nhận giá trịmáy phát điện. ném[giá trị] ¶ . generator.ném[loại[ , value[, traceback]]]Tăng một ngoại lệ tại điểm mà trình tạo bị tạm dừng và trả về giá trị tiếp theo do hàm tạo tạo ra. Nếu trình tạo thoát mà không mang lại giá trị khác, ngoại lệ
parenth_form ::= "[" [starred_expression
] "]"
37 sẽ được đưa ra. Nếu hàm tạo không bắt được ngoại lệ được truyền vào hoặc đưa ra một ngoại lệ khác, thì ngoại lệ đó sẽ lan truyền đến người gọiTrong sử dụng thông thường, điều này được gọi với một trường hợp ngoại lệ duy nhất tương tự như cách sử dụng từ khóa
atom ::=15identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Tuy nhiên, để tương thích ngược, chữ ký thứ hai được hỗ trợ, tuân theo quy ước từ các phiên bản Python cũ hơn. Đối số kiểu phải là một lớp ngoại lệ và giá trị phải là một thể hiện ngoại lệ. Nếu giá trị không được cung cấp, hàm tạo kiểu được gọi để lấy một thể hiện. Nếu truy nguyên được cung cấp, thì nó được đặt thành ngoại lệ, nếu không, bất kỳ thuộc tính
atom ::=16 hiện có nào được lưu trữ trong giá trị có thể bị xóamáy phát điện. đóng[] ¶identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Tăng một
atom ::=17 tại điểm chức năng tạo bị tạm dừng. Nếu chức năng tạo sau đó thoát ra một cách duyên dáng, đã bị đóng hoặc tăngidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=17 [do không bắt ngoại lệ], thì hàm đóng sẽ trả về trình gọi của nó. Nếu trình tạo mang lại một giá trị, mộtidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=19 được nâng lên. Nếu trình tạo phát sinh bất kỳ ngoại lệ nào khác, nó sẽ được truyền tới người gọi.identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
07 không làm gì nếu trình tạo đã thoát do ngoại lệ hoặc thoát bình thường6. 2. 9. 2. Ví dụ¶
Dưới đây là một ví dụ đơn giản thể hiện hành vi của các trình tạo và các hàm tạo
atom ::=1identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Để biết các ví dụ sử dụng
parenth_form ::= "[" [starred_expression
] "]"
11, hãy xem PEP 380. Cú pháp ủy quyền cho Trình tạo con trong “Có gì mới trong Python. ”6. 2. 9. 3. Hàm tạo không đồng bộ¶
Sự hiện diện của biểu thức năng suất trong một hàm hoặc phương thức được xác định bằng cách sử dụng
parenth_form ::= "[" [starred_expression
] "]"
12 xác định thêm hàm dưới dạng một hàm tạo không đồng bộ . Khi một hàm tạo không đồng bộ được gọi, nó sẽ trả về một trình lặp không đồng bộ được gọi là đối tượng trình tạo không đồng bộ. Đối tượng đó sau đó kiểm soát việc thực hiện chức năng tạo. Một đối tượng trình tạo không đồng bộ thường được sử dụng trong câu lệnh
parenth_form ::= "[" [starred_expression
] "]"
13 trong hàm coroutine tương tự như cách một đối tượng trình tạo sẽ được sử dụng trong câu lệnh parenth_form ::= "[" [starred_expression
] "]"
00Việc gọi một trong các phương thức của trình tạo không đồng bộ sẽ trả về một đối tượng awaitable và quá trình thực thi bắt đầu khi đối tượng này được chờ trên. Vào thời điểm đó, quá trình thực thi sẽ chuyển sang biểu thức năng suất đầu tiên, ở đó nó lại bị treo, trả về giá trị của
parenth_form ::= "[" [starred_expression
] "]"
00 cho quy trình đăng ký đang chờ. Như với một trình tạo, tạm ngưng có nghĩa là tất cả trạng thái cục bộ được giữ lại, bao gồm các liên kết hiện tại của biến cục bộ, con trỏ lệnh, ngăn xếp đánh giá nội bộ và trạng thái của bất kỳ xử lý ngoại lệ nào. Khi quá trình thực thi được tiếp tục bằng cách đợi đối tượng tiếp theo được trả về bởi các phương thức của trình tạo không đồng bộ, hàm có thể tiến hành chính xác như thể biểu thức năng suất chỉ là một lệnh gọi bên ngoài khác. Giá trị của biểu thức năng suất sau khi tiếp tục phụ thuộc vào phương thức đã tiếp tục thực thi. Nếu sử dụng atom ::=26 thì kết quả làidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
04. Mặt khác, nếu sử dụng atom ::=28, thì kết quả sẽ là giá trị được truyền vào phương thức đó.identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Nếu trình tạo không đồng bộ xảy ra thoát sớm trước
atom ::=29, tác vụ của trình gọi bị hủy hoặc các ngoại lệ khác, thì mã dọn dẹp không đồng bộ của trình tạo sẽ chạy và có thể đưa ra các ngoại lệ hoặc truy cập các biến ngữ cảnh trong ngữ cảnh không mong muốn–có thể sau thời gian tồn tại của các tác vụ tùy thuộc vào, . Để ngăn chặn điều này, người gọi phải đóng trình tạo async một cách rõ ràng bằng cách gọi phương thứcidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=30 để hoàn thiện trình tạo và cuối cùng tách nó khỏi vòng lặp sự kiệnidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Trong hàm tạo không đồng bộ, biểu thức năng suất được cho phép ở bất kỳ đâu trong cấu trúc
parenth_form ::= "[" [starred_expression
] "]"
06. Tuy nhiên, nếu trình tạo không đồng bộ không được tiếp tục lại trước khi nó được hoàn thiện [bằng cách đạt đến số tham chiếu bằng không hoặc bằng cách thu gom rác], thì biểu thức năng suất trong cấu trúc parenth_form ::= "[" [starred_expression
] "]"
06 có thể dẫn đến lỗi thực thi mệnh đề parenth_form ::= "[" [starred_expression
] "]"
08 đang chờ xử lý. Trong trường hợp này, trách nhiệm của vòng lặp sự kiện hoặc bộ lập lịch chạy trình tạo không đồng bộ là gọi phương thức atom ::=30 của trình tạo-iterator không đồng bộ và chạy đối tượng coroutine kết quả, do đó cho phép mọi mệnh đềidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
08 đang chờ xử lý thực thiĐể xử lý việc hoàn thiện khi kết thúc vòng lặp sự kiện, một vòng lặp sự kiện phải xác định một hàm hoàn thiện nhận một trình lặp-trình tạo không đồng bộ và có lẽ gọi
atom ::=30 và thực thi coroutine. Bộ hoàn thiện này có thể được đăng ký bằng cách gọiidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=37. Khi được lặp lại lần đầu tiên, một trình lặp-trình tạo không đồng bộ sẽ lưu trữ trình hoàn thiện đã đăng ký để được gọi khi hoàn thiện. Để biết ví dụ tham khảo về phương pháp hoàn thiện, hãy xem triển khai củaidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=38 trong Lib/asyncio/base_events. pyidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Biểu thức
parenth_form ::= "[" [starred_expression
] "]"
09 là lỗi cú pháp khi được sử dụng trong hàm tạo không đồng bộ6. 2. 9. 4. Các phương thức tạo-lặp không đồng bộ¶
Tiểu mục này mô tả các phương thức của trình lặp trình tạo không đồng bộ, được sử dụng để kiểm soát việc thực thi hàm trình tạo
quy trình đại lý. __anext__[] ¶Trả về một sự chờ đợi mà khi chạy bắt đầu thực thi trình tạo không đồng bộ hoặc tiếp tục nó ở biểu thức năng suất được thực hiện lần cuối. Khi chức năng tạo không đồng bộ được tiếp tục bằng phương thức
atom ::=26, biểu thức năng suất hiện tại luôn đánh giá thànhidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
04 trong phần chờ được trả về, khi chạy sẽ tiếp tục đến biểu thức năng suất tiếp theo. Giá trị của parenth_form ::= "[" [starred_expression
] "]"
00 của biểu thức năng suất là giá trị của ngoại lệ parenth_form ::= "[" [starred_expression
] "]"
37 được đưa ra bởi quy trình hoàn thành. Nếu trình tạo không đồng bộ thoát mà không mang lại giá trị khác, thay vào đó, giá trị có thể chờ sẽ tăng ngoại lệ atom ::=44, báo hiệu rằng quá trình lặp không đồng bộ đã hoàn tấtidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Phương thức này thường được gọi ngầm bởi vòng lặp
parenth_form ::= "[" [starred_expression
] "]"
13quy trình đại lý. asend[giá trị] ¶Trả về một sự chờ đợi mà khi chạy sẽ tiếp tục thực hiện trình tạo không đồng bộ. Như với phương pháp
parenth_form ::= "[" [starred_expression
] "]"
05 cho trình tạo, điều này "gửi" một giá trị vào hàm trình tạo không đồng bộ và đối số giá trị trở thành kết quả của biểu thức năng suất hiện tại. Sự chờ đợi được trả về bởi phương thức atom ::=28 sẽ trả về giá trị tiếp theo do trình tạo tạo ra dưới dạng giá trị củaidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
37 đã tăng hoặc tăng atom ::=44 nếu trình tạo không đồng bộ thoát mà không mang lại giá trị khác. Khiidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=28 được gọi để khởi động trình tạo không đồng bộ, nó phải được gọi với đối số làidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
04, vì không có biểu thức năng suất nào có thể nhận giá trịquy trình đại lý. throw[loại[ , value[, traceback]]]¶Trả về một sự chờ đợi làm tăng ngoại lệ loại
atom ::=52 tại điểm mà trình tạo không đồng bộ bị tạm dừng và trả về giá trị tiếp theo do hàm trình tạo tạo ra dưới dạng giá trị của ngoại lệidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
37 đã nêu. Nếu trình tạo không đồng bộ thoát mà không mang lại giá trị khác, ngoại lệ atom ::=44 được đưa ra bởi lệnh chờ. Nếu hàm tạo không bắt được ngoại lệ được truyền vào hoặc đưa ra một ngoại lệ khác, thì khi lệnh có thể chờ được chạy, ngoại lệ đó sẽ lan truyền tới người gọi của lệnh có thể chờquy trình đại lý. đóng[] ¶identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Trả về một sự chờ đợi mà khi chạy sẽ ném một
atom ::=17 vào hàm tạo không đồng bộ tại điểm mà nó bị tạm dừng. Nếu chức năng tạo không đồng bộ sau đó thoát ra một cách duyên dáng, đã đóng hoặc tăngidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=17 [bằng cách không bắt ngoại lệ], thì hàm chờ được trả về sẽ tăng ngoại lệidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
37. Bất kỳ sự chờ đợi nào khác được trả về bởi các cuộc gọi tiếp theo tới trình tạo không đồng bộ sẽ đưa ra một ngoại lệ atom ::=44. Nếu bộ tạo không đồng bộ mang lại một giá trị, mộtidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=19 được nâng lên bởi giá trị chờ đợi. Nếu trình tạo không đồng bộ đưa ra bất kỳ ngoại lệ nào khác, thì nó sẽ được truyền tới người gọi của lệnh chờ. Nếu trình tạo không đồng bộ đã thoát do một ngoại lệ hoặc thoát bình thường, thì các cuộc gọi tiếp theo tớiidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=30 sẽ trả về một điều có thể chờ đợi mà không làm gì cảidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
6. 3. Gốc bầu cử¶
Bầu cử sơ bộ đại diện cho các hoạt động ràng buộc chặt chẽ nhất của ngôn ngữ. cú pháp của họ là
atom ::=2identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
6. 3. 1. Tham chiếu thuộc tính¶
Tham chiếu thuộc tính là thuộc tính chính theo sau là dấu chấm và tên
atom ::=3identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Chính phải đánh giá một đối tượng thuộc loại hỗ trợ tham chiếu thuộc tính, điều mà hầu hết các đối tượng làm. Đối tượng này sau đó được yêu cầu tạo thuộc tính có tên là định danh. Quá trình sản xuất này có thể được tùy chỉnh bằng cách ghi đè phương thức
atom ::=61. Nếu thuộc tính này không khả dụng, ngoại lệidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
33 sẽ được đưa ra. Mặt khác, loại và giá trị của đối tượng được tạo ra được xác định bởi đối tượng. Nhiều đánh giá của cùng một tham chiếu thuộc tính có thể mang lại các đối tượng khác nhau6. 3. 2. Đăng ký¶
Việc đăng ký một phiên bản của lớp vùng chứa thường sẽ chọn một phần tử từ vùng chứa. Việc đăng ký một lớp chung thường sẽ trả về một đối tượng GenericAlias .
atom ::=4identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Khi một đối tượng được đăng ký, trình thông dịch sẽ đánh giá danh sách chính và biểu thức
Chính phải đánh giá đối tượng hỗ trợ đăng ký. Một đối tượng có thể hỗ trợ đăng ký thông qua việc xác định một hoặc cả hai
atom ::=63 vàidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=64. Khi chính được đăng ký, kết quả được đánh giá của danh sách biểu thức sẽ được chuyển đến một trong các phương thức này. Để biết thêm chi tiết về thời điểm gọiidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=65 thay vìidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=66, hãy xem __class_getitem__ so với __getitem__ .identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Nếu danh sách biểu thức chứa ít nhất một dấu phẩy, nó sẽ đánh giá thành một
atom ::=67 chứa các mục của danh sách biểu thức. Nếu không, danh sách biểu thức sẽ đánh giá giá trị của thành viên duy nhất của danh sáchidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Đối với các đối tượng tích hợp sẵn, có hai loại đối tượng hỗ trợ đăng ký qua
atom ::=63identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Ánh xạ. Nếu chính là một ánh xạ , danh sách biểu thức phải đánh giá một đối tượng có giá trị là một trong các khóa của ánh xạ và đăng ký chọn giá trị . Một ví dụ về lớp ánh xạ dựng sẵn là lớp
atom ::=
69.identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Chuỗi. Nếu phần chính là một dãy , thì danh sách biểu thức phải đánh giá thành một
atom ::=
70 hoặc mộtidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=
71 [như được thảo luận trong phần sau]. Ví dụ về các lớp trình tự được xây dựng bao gồm các lớp ________ 372, ________ 373 và ________ 367.identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Cú pháp chính thức không cung cấp đặc biệt cho các chỉ số phủ định trong trình tự . Tuy nhiên, tất cả các trình tự dựng sẵn đều cung cấp một phương pháp
atom ::=63 diễn giải các chỉ số phủ định bằng cách thêm độ dài của trình tự vào chỉ mục để, ví dụ:identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=76 chọn mục cuối cùng củaidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=77. Giá trị kết quả phải là một số nguyên không âm nhỏ hơn số mục trong chuỗi và đăng ký chọn mục có chỉ mục là giá trị đó [đếm từ 0]. Vì hỗ trợ cho các chỉ số âm và cắt xảy ra trong phương thứcidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=63 của đối tượng, nên các lớp con ghi đè phương thức này sẽ cần thêm hỗ trợ đó một cách rõ ràng.identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=79 là một loại trình tự đặc biệt có các mục là các ký tự. Một ký tự không phải là một kiểu dữ liệu riêng biệt mà là một chuỗi có đúng một ký tựidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
6. 3. 3. Cắt lát¶
Một lần cắt chọn một loạt các mục trong một đối tượng chuỗi [e. g. , một chuỗi, bộ hoặc danh sách]. Các lát cắt có thể được sử dụng làm biểu thức hoặc làm mục tiêu trong câu lệnh gán hoặc
atom ::=80. Cú pháp cho một sliceidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=5identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Có sự mơ hồ trong cú pháp chính thức ở đây. bất cứ thứ gì trông giống như một danh sách biểu thức cũng giống như một danh sách lát, vì vậy bất kỳ đăng ký nào cũng có thể được hiểu là một lát. Thay vì làm phức tạp thêm cú pháp, điều này được làm rõ bằng cách xác định rằng trong trường hợp này, diễn giải dưới dạng đăng ký được ưu tiên hơn diễn giải dưới dạng cắt lát [đây là trường hợp nếu danh sách lát cắt không chứa lát cắt thích hợp]
Ngữ nghĩa của một slice như sau. Chính được lập chỉ mục [sử dụng cùng một phương thức
atom ::=63 như đăng ký thông thường] với một khóa được tạo từ danh sách lát, như sau. Nếu danh sách lát chứa ít nhất một dấu phẩy, khóa là một bộ chứa chuyển đổi của các mục lát; . Việc chuyển đổi một mục lát là một biểu thức là biểu thức đó. Việc chuyển đổi một lát thích hợp là một đối tượng lát [xem phần Hệ thống phân cấp loại tiêu chuẩn ] có các thuộc tínhidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=82,identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=83 vàidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=84 là giá trị của các biểu thức đã cho .identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
6. 3. 4. Cuộc gọi¶
Một cuộc gọi gọi một đối tượng có thể gọi được [e. g. , một hàm ] với một chuỗi đối số trống.
atom ::=6identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Dấu phẩy tùy chọn có thể xuất hiện sau các đối số vị trí và từ khóa nhưng không ảnh hưởng đến ngữ nghĩa
Đối tượng chính phải đánh giá đối tượng có thể gọi được [hàm do người dùng định nghĩa, hàm tích hợp, phương thức của đối tượng tích hợp, đối tượng lớp, phương thức của thể hiện lớp và tất cả đối tượng có phương thức
atom ::=86 đều có thể gọi được]. Tất cả các biểu thức đối số được đánh giá trước khi thực hiện cuộc gọi. Vui lòng tham khảo phần Định nghĩa hàm để biết cú pháp của danh sách tham số chính thức.identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Nếu có đối số từ khóa, trước tiên chúng được chuyển đổi thành đối số vị trí, như sau. Đầu tiên, một danh sách các vị trí chưa được lấp đầy được tạo cho các tham số chính thức. Nếu có N đối số vị trí, chúng được đặt trong N vị trí đầu tiên. Tiếp theo, đối với mỗi đối số từ khóa, mã định danh được sử dụng để xác định vị trí tương ứng [nếu mã định danh giống với tên tham số chính thức đầu tiên, thì vị trí đầu tiên được sử dụng, v.v.]. Nếu vị trí đã được lấp đầy, một ngoại lệ
parenth_form ::= "[" [starred_expression
] "]"
34 sẽ được đưa ra. Mặt khác, đối số được đặt vào vị trí, lấp đầy nó [ngay cả khi biểu thức là parenth_form ::= "[" [starred_expression
] "]"
04, nó sẽ lấp đầy vị trí]. Khi tất cả các đối số đã được xử lý, các vị trí vẫn chưa được lấp đầy sẽ được lấp đầy bằng giá trị mặc định tương ứng từ định nghĩa hàm. [Các giá trị mặc định được tính toán một lần khi hàm được xác định; do đó, một đối tượng có thể thay đổi như danh sách hoặc từ điển được sử dụng làm giá trị mặc định sẽ được chia sẻ bởi tất cả các lệnh gọi không chỉ định giá trị đối số cho vị trí tương ứng; điều này nên . ] Nếu có bất kỳ vị trí nào chưa được lấp đầy mà không có giá trị mặc định nào được chỉ định, một ngoại lệ parenth_form ::= "[" [starred_expression
] "]"
34 sẽ được đưa ra. Mặt khác, danh sách các vị trí đã lấp đầy được sử dụng làm danh sách đối số cho cuộc gọiChi tiết triển khai CPython. Việc triển khai có thể cung cấp các hàm tích hợp có tham số vị trí không có tên, ngay cả khi chúng được 'đặt tên' cho mục đích tài liệu và do đó không thể được cung cấp theo từ khóa. Trong CPython, đây là trường hợp đối với các hàm được triển khai trong C sử dụng
atom ::=90 để phân tích các đối số của chúngidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Nếu có nhiều đối số vị trí hơn số vị trí tham số chính thức, ngoại lệ
parenth_form ::= "[" [starred_expression
] "]"
34 sẽ được đưa ra, trừ khi có tham số chính thức sử dụng cú pháp atom ::=92;identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Nếu bất kỳ đối số từ khóa nào không tương ứng với tên tham số chính thức, ngoại lệ
parenth_form ::= "[" [starred_expression
] "]"
34 sẽ được đưa ra, trừ khi có tham số chính thức sử dụng cú pháp atom ::=94;identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Nếu cú pháp
atom ::=95 xuất hiện trong lệnh gọi hàm, thìidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=96 phải đánh giá thành một có thể lặp lại . Các phần tử từ các lần lặp này được xử lý như thể chúng là các đối số vị trí bổ sung. Đối với lời gọiidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=97, nếu y đánh giá một chuỗi y1, …, yM, điều này tương đương với một lời gọi với M+4 đối số vị trí x1, x2, y1, …, yM, x3, x4.identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Hậu quả của việc này là mặc dù cú pháp
atom ::=95 có thể xuất hiện sau các đối số từ khóa rõ ràng, nhưng nó được xử lý trước các đối số từ khóa [và bất kỳ đối sốidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=99 nào – xem bên dưới]. Vì thếidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=7identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Việc cả đối số từ khóa và cú pháp
atom ::=95 được sử dụng trong cùng một lệnh gọi là điều bất thường, vì vậy trong thực tế, sự nhầm lẫn này không thường xảy raidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Nếu cú pháp
atom ::=99 xuất hiện trong lệnh gọi hàm, thìidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=96 phải đánh giá thành một ánh xạ , nội dung của ánh xạ này được coi là đối số từ khóa bổ sung. Nếu một tham số khớp với một khóa đã được cung cấp một giá trị [bởi một đối số từ khóa rõ ràng hoặc từ một giải nén khác], một ngoại lệidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
34 sẽ được đưa ra. Khi sử dụng
atom ::=99, mỗi khóa trong ánh xạ này phải là một chuỗi. Mỗi giá trị từ ánh xạ được gán cho tham số chính thức đầu tiên đủ điều kiện để gán từ khóa có tên bằng với khóa. Khóa không nhất thiết phải là mã định danh Python [e. g.identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
literal ::=05 được chấp nhận, mặc dù nó sẽ không khớp với bất kỳ tham số chính thức nào có thể được khai báo]. Nếu không khớp với tham số chính thức, cặp khóa-giá trị được thu thập bởi tham sốstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
atom ::=65, nếu có hoặc nếu không có, ngoại lệidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
34 sẽ được đưa raCác tham số chính thức sử dụng cú pháp
atom ::=92 hoặcidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=94 không thể được sử dụng làm vùng đối số vị trí hoặc làm tên đối số từ khóaidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Đã thay đổi trong phiên bản 3. 5. Các lệnh gọi hàm chấp nhận bất kỳ số lần giải nén
literal ::=10 vàstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
atom ::=65 nào, các đối số vị trí có thể tuân theo các lần giải nén lặp lại [identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
literal ::=10] và các đối số từ khóa có thể tuân theo các lần giải nén từ điển [stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
atom ::=65]. Ban đầu được đề xuất bởi PEP 448.identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Một cuộc gọi luôn trả về một số giá trị, có thể là
parenth_form ::= "[" [starred_expression
] "]"
04, trừ khi nó đưa ra một ngoại lệ. Cách tính giá trị này tùy thuộc vào loại đối tượng có thể gọi đượcNếu nó là-
chức năng do người dùng định nghĩastringliteral
| bytesliteral
| integer
| floatnumber
| imagnumber
15, câu lệnh này chỉ định giá trị trả về của lệnh gọi hàm. Function definitions. When the code block executes a
literal ::=15 statement, this specifies the return value of the function call.một chức năng hoặc phương pháp tích hợpstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
identifier
| literal
| enclosure
enclosure ::= parenth_form
| list_display
| dict_display
| set_display
| generator_expression
| yield_atom
86;
6. 4. Chờ biểu thức¶
Tạm dừng việc thực thi coroutine trên đối tượng awaitable . Chỉ có thể được sử dụng bên trong chức năng coroutine .
atom ::=8identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Mới trong phiên bản 3. 5
6. 5. Người vận hành quyền lực¶
Toán tử lũy thừa liên kết chặt chẽ hơn các toán tử đơn nguyên ở bên trái của nó; . Cú pháp là
atom ::=9identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Do đó, trong một chuỗi các toán tử lũy thừa và đơn nguyên không được mở ngoặc, các toán tử được đánh giá từ phải sang trái [điều này không hạn chế thứ tự đánh giá cho các toán hạng].
literal ::=17 kết quả trongstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=18stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Toán tử lũy thừa có ngữ nghĩa giống như hàm
literal ::=19 tích hợp, khi được gọi với hai đối số. nó mang lại đối số bên trái của nó được nâng lên thành sức mạnh của đối số bên phải của nó. Các đối số số trước tiên được chuyển đổi thành một loại phổ biến và kết quả là loại đóstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Đối với toán hạng kiểu int, kết quả có cùng kiểu với toán hạng trừ khi đối số thứ hai là số âm; . Ví dụ:
literal ::=20 trả vềstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=21, nhưngstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=22 trả vềstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=23stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Tăng
literal ::=24 lên công suất âm dẫn đếnstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=25. Việc nâng một số âm lên lũy thừa phân số sẽ dẫn đến một sốstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=26. [Trong các phiên bản trước, nó đã tăngstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
atom ::=02. ]identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Thao tác này có thể được tùy chỉnh bằng phương pháp
literal ::=28 đặc biệtstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
6. 6. Các phép toán số học đơn vị và bit¶
Tất cả các hoạt động số học đơn phương và bitwise có cùng mức độ ưu tiên
literal ::=0stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Toán tử
literal ::=29 [trừ] đơn nguyên mang lại phủ định cho đối số số của nó;stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Toán tử
literal ::=31 [cộng] đơn nguyên mang lại đối số số của nó không thay đổi;stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Toán tử
literal ::=33 [đảo ngược] một ngôi mang lại phép nghịch đảo bit của đối số nguyên của nó. Đảo ngược bitwise củastringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
atom ::=77 được định nghĩa làidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
literal ::=35. It only applies to integral numbers or to custom objects that override thestringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=36 special methodstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
In all three cases, if the argument does not have the proper type, a
parenth_form ::= "[" [starred_expression
] "]"
34 exception is raised6. 7. Binary arithmetic operations¶
The binary arithmetic operations have the conventional priority levels. Note that some of these operations also apply to certain non-numeric types. Apart from the power operator, there are only two levels, one for multiplicative operators and one for additive operators
literal ::=1stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The
literal ::=10 [multiplication] operator yields the product of its arguments. The arguments must either both be numbers, or one argument must be an integer and the other must be a sequence. In the former case, the numbers are converted to a common type and then multiplied together. In the latter case, sequence repetition is performed; a negative repetition factor yields an empty sequencestringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
This operation can be customized using the special
literal ::=39 andstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=40 methodsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The
literal ::=41 [at] operator is intended to be used for matrix multiplication. No builtin Python types implement this operatorstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Mới trong phiên bản 3. 5
The
literal ::=42 [division] andstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=43 [floor division] operators yield the quotient of their arguments. The numeric arguments are first converted to a common type. Division of integers yields a float, while floor division of integers results in an integer; the result is that of mathematical division with the ‘floor’ function applied to the result. Division by zero raises thestringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=25 exceptionstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
This operation can be customized using the special
literal ::=45 andstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=46 methodsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The
literal ::=47 [modulo] operator yields the remainder from the division of the first argument by the second. The numeric arguments are first converted to a common type. A zero right argument raises thestringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=25 exception. The arguments may be floating point numbers, e. g. ,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=49 equalsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=50 [sincestringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=51 equalsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=52. ] The modulo operator always yields a result with the same sign as its second operand [or zero]; the absolute value of the result is strictly smaller than the absolute value of the second operand 1stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The floor division and modulo operators are connected by the following identity.
literal ::=53. Floor division and modulo are also connected with the built-in functionstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=54.stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=55. 2stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
In addition to performing the modulo operation on numbers, the
literal ::=47 operator is also overloaded by string objects to perform old-style string formatting [also known as interpolation]. The syntax for string formatting is described in the Python Library Reference, section printf-style String Formatting .stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The modulo operation can be customized using the special
literal ::=57 methodstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The floor division operator, the modulo operator, and the
literal ::=54 function are not defined for complex numbers. Thay vào đó, hãy chuyển đổi thành số dấu phẩy động bằng hàmstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=59 nếu thích hợpstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The
literal ::=31 [addition] operator yields the sum of its arguments. The arguments must either both be numbers or both be sequences of the same type. In the former case, the numbers are converted to a common type and then added together. In the latter case, the sequences are concatenatedstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
This operation can be customized using the special
literal ::=61 andstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=62 methodsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The
literal ::=29 [subtraction] operator yields the difference of its arguments. The numeric arguments are first converted to a common typestringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
This operation can be customized using the special
literal ::=64 methodstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
6. 8. Shifting operations¶
The shifting operations have lower priority than the arithmetic operations
literal ::=2stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
These operators accept integers as arguments. They shift the first argument to the left or right by the number of bits given by the second argument
This operation can be customized using the special
literal ::=65 andstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=66 methodsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
A right shift by n bits is defined as floor division by
literal ::=67. A left shift by n bits is defined as multiplication withstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=67stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
6. 9. Binary bitwise operations¶
Each of the three bitwise operations has a different priority level
literal ::=3stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The
literal ::=69 operator yields the bitwise AND of its arguments, which must be integers or one of them must be a custom object overridingstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=70 orstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=71 special methodsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The
literal ::=72 operator yields the bitwise XOR [exclusive OR] of its arguments, which must be integers or one of them must be a custom object overridingstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=73 orstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=74 special methodsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The
literal ::=75 operator yields the bitwise [inclusive] OR of its arguments, which must be integers or one of them must be a custom object overridingstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=76 orstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=77 special methodsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
6. 10. Comparisons¶
Unlike C, all comparison operations in Python have the same priority, which is lower than that of any arithmetic, shifting or bitwise operation. Also unlike C, expressions like
literal ::=78 have the interpretation that is conventional in mathematicsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=4stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Comparisons yield boolean values.
literal ::=79 orstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=80. Custom rich comparison methods may return non-boolean values. In this case Python will callstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=81 on such value in boolean contextsstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Comparisons can be chained arbitrarily, e. g. ,
literal ::=82 is equivalent tostringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=83, except thatstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=84 is evaluated only once [but in both casesstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=85 is not evaluated at all whenstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=86 is found to be false]stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Formally, if a, b, c, …, y, z are expressions and op1, op2, …, opN are comparison operators, then
literal ::=87 is equivalent tostringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=88, except that each expression is evaluated at most oncestringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Note that
literal ::=89 doesn’t imply any kind of comparison between a and c, so that, e. g. ,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=90 is perfectly legal [though perhaps not pretty]stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
6. 10. 1. Value comparisons¶
The operators
literal ::=91,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=92,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=93,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=94,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=95, andstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=96 compare the values of two objects. The objects do not need to have the same typestringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Chapter Objects, values and types states that objects have a value [in addition to type and identity]. The value of an object is a rather abstract notion in Python. For example, there is no canonical access method for an object’s value. Also, there is no requirement that the value of an object should be constructed in a particular way, e. g. comprised of all its data attributes. Các toán tử so sánh thực hiện một khái niệm cụ thể về giá trị của một đối tượng là gì. One can think of them as defining the value of an object indirectly, by means of their comparison implementation.
Because all types are [direct or indirect] subtypes of
literal ::=97, they inherit the default comparison behavior fromstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=97. Types can customize their comparison behavior by implementing rich comparison methods likestringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=99, described in Basic customization .stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Hành vi mặc định để so sánh đẳng thức [
literal ::=93 vàstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=96] dựa trên danh tính của các đối tượng. Hence, equality comparison of instances with the same identity results in equality, and equality comparison of instances with different identities results in inequality. A motivation for this default behavior is the desire that all objects should be reflexive [i. e.stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
02 implies parenth_form ::= "[" [starred_expression
] "]"
03]A default order comparison [
literal ::=91,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=92,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=95, andstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=94] is not provided; an attempt raisesstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
34. A motivation for this default behavior is the lack of a similar invariant as for equalityHành vi so sánh đẳng thức mặc định, rằng các trường hợp có danh tính khác nhau luôn không bằng nhau, có thể trái ngược với loại nào sẽ cần có định nghĩa hợp lý về giá trị đối tượng và bình đẳng dựa trên giá trị. Các loại như vậy sẽ cần tùy chỉnh hành vi so sánh của chúng và trên thực tế, một số loại tích hợp đã làm được điều đó
Danh sách sau đây mô tả hành vi so sánh của các loại tích hợp quan trọng nhất
Số lượng kiểu số tích hợp sẵn [ Kiểu số — int, float, complex ] và kiểu thư viện chuẩn
parenth_form ::= "[" [
09 vàstarred_expression
] "]"parenth_form ::= "[" [
10 có thể . Trong giới hạn của các loại liên quan, chúng so sánh chính xác về mặt toán học [thuật toán] mà không làm mất độ chính xác.starred_expression
] "]"Các giá trị không phải là số
parenth_form ::= "[" [
11 vàstarred_expression
] "]"parenth_form ::= "[" [
12 là đặc biệt. Mọi so sánh theo thứ tự của một số với một giá trị không phải là số đều sai. Một hàm ý phản trực giác là các giá trị không phải là số không bằng chính chúng. Ví dụ: nếustarred_expression
] "]"parenth_form ::= "[" [
13,starred_expression
] "]"parenth_form ::= "[" [
14,starred_expression
] "]"parenth_form ::= "[" [
15 vàstarred_expression
] "]"parenth_form ::= "[" [
16 đều sai, trong khistarred_expression
] "]"parenth_form ::= "[" [
17 là đúng. Hành vi này phù hợp với IEEE 754starred_expression
] "]"parenth_form ::= "[" [
04 vàstarred_expression
] "]"parenth_form ::= "[" [
19 là những người độc thân. PEP 8 khuyên rằng việc so sánh các singletons phải luôn được thực hiện vớistarred_expression
] "]"parenth_form ::= "[" [
20 hoặcstarred_expression
] "]"parenth_form ::= "[" [
21, không bao giờ là các toán tử đẳng thứcstarred_expression
] "]"Các chuỗi nhị phân [ví dụ về
parenth_form ::= "[" [
22 hoặcstarred_expression
] "]"parenth_form ::= "[" [
23] có thể được so sánh trong và giữa các loại của chúng. Họ so sánh từ điển bằng cách sử dụng các giá trị số của các phần tử của họstarred_expression
] "]"Các chuỗi [ví dụ của
atom ::=
72] so sánh theo từ điển bằng cách sử dụng các điểm mã Unicode số [kết quả của hàm tích hợp sẵnidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [
25] của các ký tự của chúng. 3starred_expression
] "]"Chuỗi và chuỗi nhị phân không thể được so sánh trực tiếp
Các chuỗi [ví dụ về
atom ::=
67,identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
atom ::=
73 hoặcidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [
28] chỉ có thể được so sánh trong từng loại của chúng, với hạn chế là các phạm vi không hỗ trợ so sánh thứ tự. So sánh bình đẳng giữa các loại này dẫn đến bất bình đẳng và so sánh thứ tự giữa các loại này làm tăngstarred_expression
] "]"parenth_form ::= "[" [
34starred_expression
] "]"Các chuỗi so sánh từ điển bằng cách sử dụng so sánh các phần tử tương ứng. Các bộ chứa tích hợp thường giả sử các đối tượng giống hệt nhau bằng chính chúng. Điều đó cho phép họ bỏ qua các bài kiểm tra bình đẳng cho các đối tượng giống hệt nhau để cải thiện hiệu suất và duy trì các bất biến bên trong của chúng
So sánh từ điển giữa các bộ sưu tập tích hợp hoạt động như sau
Để hai tập hợp được so sánh bằng nhau, chúng phải cùng loại, có cùng độ dài và mỗi cặp phần tử tương ứng phải được so sánh bằng nhau [ví dụ:
parenth_form ::= "[" [
30 là sai vì loại không giống nhau]starred_expression
] "]"Các tập hợp hỗ trợ so sánh thứ tự được sắp xếp giống như các phần tử không bằng nhau đầu tiên của chúng [ví dụ:
parenth_form ::= "[" [
31 có cùng giá trị vớistarred_expression
] "]"parenth_form ::= "[" [
32]. Nếu một phần tử tương ứng không tồn tại, bộ sưu tập ngắn hơn sẽ được sắp xếp trước [ví dụ:starred_expression
] "]"parenth_form ::= "[" [
33 là đúng]starred_expression
] "]"
Ánh xạ [ví dụ của
atom ::=
69] so sánh bằng nhau khi và chỉ khi chúng có cặpidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [
35 bằng nhau. So sánh bình đẳng của các khóa và giá trị thực thi tính phản xạstarred_expression
] "]"So sánh đơn đặt hàng [
literal ::=
91,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=
92,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=
95 vàstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=
94] tăngstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [
34starred_expression
] "]"Các bộ [ví dụ về
parenth_form ::= "[" [
41 hoặcstarred_expression
] "]"parenth_form ::= "[" [
42] có thể được so sánh trong và giữa các loại của chúngstarred_expression
] "]"Họ định nghĩa các toán tử so sánh thứ tự để kiểm tra tập hợp con và tập hợp con trung bình. Các mối quan hệ đó không xác định thứ tự tổng [ví dụ: hai tập hợp
parenth_form ::= "[" [
43 vàstarred_expression
] "]"parenth_form ::= "[" [
44 không bằng nhau, không phải là tập hợp con của nhau, cũng không phải tập hợp con của nhau]. Theo đó, các tập hợp không phải là đối số thích hợp cho các hàm phụ thuộc vào tổng thứ tự [ví dụ:starred_expression
] "]"parenth_form ::= "[" [
45,starred_expression
] "]"parenth_form ::= "[" [
46 vàstarred_expression
] "]"parenth_form ::= "[" [
47 tạo ra kết quả không xác định với danh sách các tập hợp làm đầu vào]starred_expression
] "]"So sánh các tập hợp thực thi tính phản xạ của các phần tử của nó
Hầu hết các loại tích hợp khác không có phương thức so sánh nào được triển khai, vì vậy chúng kế thừa hành vi so sánh mặc định
Các lớp do người dùng định nghĩa tùy chỉnh hành vi so sánh của chúng phải tuân theo một số quy tắc nhất quán, nếu có thể
So sánh bình đẳng nên được phản xạ. Nói cách khác, các đối tượng giống hệt nhau nên so sánh bằng nhau
parenth_form ::= "[" [
02 impliesstarred_expression
] "]"parenth_form ::= "[" [
03starred_expression
] "]"Comparison should be symmetric. In other words, the following expressions should have the same result
parenth_form ::= "[" [
03 vàstarred_expression
] "]"parenth_form ::= "[" [
51starred_expression
] "]"parenth_form ::= "[" [
52 andstarred_expression
] "]"parenth_form ::= "[" [
53starred_expression
] "]"literal ::=
86 andstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [
55starred_expression
] "]"parenth_form ::= "[" [
32 andstarred_expression
] "]"parenth_form ::= "[" [
57starred_expression
] "]"Comparison should be transitive. The following [non-exhaustive] examples illustrate that
parenth_form ::= "[" [
58 ngụ ýstarred_expression
] "]"parenth_form ::= "[" [
59starred_expression
] "]"literal ::=
83 ngụ ýstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [
61starred_expression
] "]"So sánh nghịch đảo sẽ dẫn đến phủ định boolean. Nói cách khác, các biểu thức sau đây sẽ có cùng một kết quả
parenth_form ::= "[" [
03 vàstarred_expression
] "]"parenth_form ::= "[" [
63starred_expression
] "]"literal ::=
86 vàstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [
65 [đối với tổng số đơn đặt hàng]starred_expression
] "]"parenth_form ::= "[" [
66 vàstarred_expression
] "]"parenth_form ::= "[" [
67 [đối với tổng số đơn đặt hàng]starred_expression
] "]"Hai biểu thức cuối cùng áp dụng cho các tập hợp được sắp xếp hoàn toàn [e. g. đến các chuỗi, nhưng không phải cho các tập hợp hoặc ánh xạ]. Xem thêm trang trí
parenth_form ::= "[" [
68starred_expression
] "]"Kết quả
parenth_form ::= "[" [
69 phải nhất quán với đẳng thức. Các đối tượng bằng nhau phải có cùng giá trị băm hoặc được đánh dấu là không thể bămstarred_expression
] "]"
Python không thực thi các quy tắc nhất quán này. Trên thực tế, các giá trị không phải là số là một ví dụ cho việc không tuân theo các quy tắc này
6. 10. 2. Hoạt động kiểm tra tư cách thành viên¶
Các toán tử
parenth_form ::= "[" [starred_expression
] "]"
70 và parenth_form ::= "[" [starred_expression
] "]"
71 kiểm tra tư cách thành viên. parenth_form ::= "[" [starred_expression
] "]"
72 đánh giá thành literal ::=79 nếu x là thành viên của s vàstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=80 nếu không.stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
75 trả về phủ định của parenth_form ::= "[" [starred_expression
] "]"
72. Tất cả các loại trình tự và tập hợp tích hợp đều hỗ trợ điều này cũng như từ điển, trong đó parenth_form ::= "[" [starred_expression
] "]"
70 kiểm tra xem từ điển có khóa đã cho hay không. Đối với các loại vùng chứa như danh sách, bộ dữ liệu, bộ, bộ đóng băng, dict hoặc bộ sưu tập. deque, biểu thức parenth_form ::= "[" [starred_expression
] "]"
78 tương đương với parenth_form ::= "[" [starred_expression
] "]"
79Đối với các loại chuỗi và byte,
parenth_form ::= "[" [starred_expression
] "]"
78 là literal ::=79 khi và chỉ khi x là chuỗi con của y. Một bài kiểm tra tương đương làstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
82. Chuỗi rỗng luôn được coi là chuỗi con của bất kỳ chuỗi nào khác, vì vậy, parenth_form ::= "[" [starred_expression
] "]"
83 sẽ trả về literal ::=79stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Đối với các lớp do người dùng định nghĩa xác định phương thức
parenth_form ::= "[" [starred_expression
] "]"
85, parenth_form ::= "[" [starred_expression
] "]"
78 trả về literal ::=79 nếustringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
88 trả về giá trị thực và literal ::=80 nếu ngược lạistringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Đối với các lớp do người dùng định nghĩa không định nghĩa
parenth_form ::= "[" [starred_expression
] "]"
85 nhưng định nghĩa parenth_form ::= "[" [starred_expression
] "]"
91, parenth_form ::= "[" [starred_expression
] "]"
78 là literal ::=79 nếu một số giá trịstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=85, mà biểu thứcstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
95 là đúng, được tạo ra trong khi lặp lại trên literal ::=84. Nếu một ngoại lệ được đưa ra trong quá trình lặp lại, thì như thểstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
70 đã đưa ra ngoại lệ đóCuối cùng, giao thức lặp kiểu cũ đã được thử. nếu một lớp định nghĩa
atom ::=63,identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
78 là literal ::=79 khi và chỉ khi có chỉ số nguyên không âm i sao chostringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
001 và không có chỉ số nguyên nào thấp hơn làm tăng ngoại lệ parenth_form ::= "[" [starred_expression
] "]"
002. [Nếu có bất kỳ ngoại lệ nào khác được đưa ra, thì như thể parenth_form ::= "[" [starred_expression
] "]"
70 đã đưa ra ngoại lệ đó]Toán tử
parenth_form ::= "[" [starred_expression
] "]"
71 được định nghĩa là có giá trị chân lý nghịch đảo của parenth_form ::= "[" [starred_expression
] "]"
706. 10. 3. So sánh danh tính¶
Toán tử
parenth_form ::= "[" [starred_expression
] "]"
20 và parenth_form ::= "[" [starred_expression
] "]"
21 kiểm tra danh tính của đối tượng. parenth_form ::= "[" [starred_expression
] "]"
02 đúng khi và chỉ khi x và y là cùng một đối tượng. Danh tính của Đối tượng được xác định bằng hàm parenth_form ::= "[" [starred_expression
] "]"
009. parenth_form ::= "[" [starred_expression
] "]"
010 mang lại giá trị thực nghịch đảo. 46. 11. Các phép toán Boolean¶
literal ::=5stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Trong ngữ cảnh của các phép toán Boolean và cả khi các biểu thức được sử dụng bởi các câu lệnh luồng điều khiển, các giá trị sau được hiểu là sai.
literal ::=80,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
04, số 0 của tất cả các loại, chuỗi và vùng chứa trống [bao gồm chuỗi, bộ dữ liệu, danh sách, từ điển, bộ và bộ đóng băng]. Tất cả các giá trị khác được hiểu là đúng. Các đối tượng do người dùng xác định có thể tùy chỉnh giá trị thực của chúng bằng cách cung cấp phương thức parenth_form ::= "[" [starred_expression
] "]"
013Toán tử
parenth_form ::= "[" [starred_expression
] "]"
014 trả về literal ::=79 nếu đối số của nó là sai, ngược lại làstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=80stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
The expression
parenth_form ::= "[" [starred_expression
] "]"
017 first evaluates x; if x is false, its value is returned; otherwise, y is evaluated and the resulting value is returnedBiểu thức
parenth_form ::= "[" [starred_expression
] "]"
018 đánh giá x đầu tiên; Note that neither
parenth_form ::= "[" [starred_expression
] "]"
019 nor parenth_form ::= "[" [starred_expression
] "]"
020 restrict the value and type they return to literal ::=80 andstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=79, but rather return the last evaluated argument. This is sometimes useful, e. g. , ifstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
023 is a string that should be replaced by a default value if it is empty, the expression parenth_form ::= "[" [starred_expression
] "]"
024 yields the desired value. Because parenth_form ::= "[" [starred_expression
] "]"
014 has to create a new value, it returns a boolean value regardless of the type of its argument [for example, parenth_form ::= "[" [starred_expression
] "]"
026 produces literal ::=80 rather thanstringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
parenth_form ::= "[" [starred_expression
] "]"
028. ]6. 12. Assignment expressions¶
literal ::=6stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
An assignment expression [sometimes also called a “named expression” or “walrus”] assigns an
atom ::=96 to anidentifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
030, while also returning the value of the atom ::=96identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
One common use case is when handling matched regular expressions
literal ::=7stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Or, when processing a file stream in chunks
literal ::=8stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Assignment expressions must be surrounded by parentheses when used as sub-expressions in slicing, conditional, lambda, keyword-argument, and comprehension-if expressions and in
parenth_form ::= "[" [starred_expression
] "]"
032 and parenth_form ::= "[" [starred_expression
] "]"
033 statements. In all other places where they can be used, parentheses are not required, including in parenth_form ::= "[" [starred_expression
] "]"
02 and parenth_form ::= "[" [starred_expression
] "]"
035 statementsNew in version 3. 8. See PEP 572 for more details about assignment expressions.
6. 13. Biểu thức điều kiện¶
literal ::=9stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Biểu thức điều kiện [đôi khi được gọi là “toán tử bậc ba”] có mức ưu tiên thấp nhất trong tất cả các phép toán Python
Biểu thức
parenth_form ::= "[" [starred_expression
] "]"
036 đầu tiên đánh giá điều kiện, C chứ không phải x. Nếu C là đúng, x được đánh giá và giá trị của nó được trả về; Xem PEP 308 để biết thêm chi tiết về biểu thức điều kiện
6. 14. Lambdas¶
parenth_form ::= "[" [starred_expression
] "]"
0Biểu thức lambda [đôi khi được gọi là biểu mẫu lambda] được sử dụng để tạo hàm ẩn danh. Biểu thức
parenth_form ::= "[" [starred_expression
] "]"
037 mang lại một đối tượng chức năng. Đối tượng chưa được đặt tên hoạt động giống như một đối tượng chức năng được xác định bằngparenth_form ::= "[" [starred_expression
] "]"
1Xem phần Định nghĩa hàm để biết cú pháp của danh sách tham số. Lưu ý rằng các hàm được tạo bằng biểu thức lambda không thể chứa câu lệnh hoặc chú thích.
6. 15. Danh sách biểu thức¶
parenth_form ::= "[" [starred_expression
] "]"
2Ngoại trừ khi là một phần của danh sách hoặc tập hợp hiển thị, danh sách biểu thức chứa ít nhất một dấu phẩy sẽ tạo ra một bộ. Độ dài của bộ dữ liệu là số biểu thức trong danh sách. Các biểu thức được đánh giá từ trái sang phải
Dấu hoa thị
literal ::=10 biểu thị quá trình giải nén có thể lặp lại. Toán hạng của nó phải là một có thể lặp lại . Iterable được mở rộng thành một chuỗi các mục, được bao gồm trong bộ, danh sách hoặc bộ mới, tại vị trí giải nén.stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Mới trong phiên bản 3. 5. Giải nén lặp lại trong danh sách biểu thức, do PEP 448 đề xuất ban đầu.
Dấu phẩy ở cuối chỉ được yêu cầu để tạo một bộ đơn [a. k. a. một người độc thân]; . Một biểu thức duy nhất không có dấu phẩy ở cuối không tạo ra một bộ dữ liệu, mà mang lại giá trị của biểu thức đó. [Để tạo một bộ trống, hãy sử dụng một cặp dấu ngoặc đơn trống.
parenth_form ::= "[" [starred_expression
] "]"
039. ]6. 16. Trình tự đánh giá¶
Python đánh giá các biểu thức từ trái sang phải. Lưu ý rằng trong khi đánh giá một bài tập, phía bên tay phải được đánh giá trước phía bên trái
Trong các dòng sau, các biểu thức sẽ được đánh giá theo thứ tự số học của các hậu tố của chúng
parenth_form ::= "[" [starred_expression
] "]"
36. 17. Thứ tự ưu tiên của toán tử¶
Bảng sau đây tóm tắt mức độ ưu tiên của toán tử trong Python, từ mức độ ưu tiên cao nhất [liên kết nhiều nhất] đến mức độ ưu tiên thấp nhất [ít ràng buộc nhất]. Các toán tử trong cùng một hộp có cùng quyền ưu tiên. Trừ khi cú pháp được đưa ra rõ ràng, các toán tử là nhị phân. Các toán tử trong cùng một hộp nhóm từ trái sang phải [trừ biểu thức lũy thừa và biểu thức điều kiện nhóm từ phải sang trái]
Lưu ý rằng các phép so sánh, kiểm tra tư cách thành viên và kiểm tra danh tính, tất cả đều có cùng mức độ ưu tiên và có tính năng xâu chuỗi từ trái sang phải như được mô tả trong phần So sánh section.
Nhà điều hành
Sự mô tả
parenth_form ::= "[" [starred_expression
] "]"
040,parenth_form ::= "[" [starred_expression
] "]"
041, parenth_form ::= "[" [starred_expression
] "]"
042, parenth_form ::= "[" [starred_expression
] "]"
043Biểu thức ràng buộc hoặc trong ngoặc đơn, hiển thị danh sách, hiển thị từ điển, hiển thị tập hợp
parenth_form ::= "[" [starred_expression
] "]"
044, parenth_form ::= "[" [starred_expression
] "]"
045, parenth_form ::= "[" [starred_expression
] "]"
046, parenth_form ::= "[" [starred_expression
] "]"
047Đăng ký, cắt, gọi, tham chiếu thuộc tính
parenth_form ::= "[" [starred_expression
] "]"
048chờ đợi biểu hiện
atom ::=65identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
lũy thừa 5
parenth_form ::= "[" [starred_expression
] "]"
050, parenth_form ::= "[" [starred_expression
] "]"
051, parenth_form ::= "[" [starred_expression
] "]"
052Tích cực, tiêu cực, bitwise KHÔNG
literal ::=10,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=41,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=42,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=43,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=47stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Phép nhân, phép nhân ma trận, phép chia, chia sàn, lấy dư 6
literal ::=31,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=29stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Cộng và trừ
parenth_form ::= "[" [starred_expression
] "]"
060, parenth_form ::= "[" [starred_expression
] "]"
061Ca làm việc
literal ::=69stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Bitwise AND
literal ::=72stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Bitwise XOR
literal ::=75stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Bitwise HOẶC
parenth_form ::= "[" [starred_expression
] "]"
70, parenth_form ::= "[" [starred_expression
] "]"
71, parenth_form ::= "[" [starred_expression
] "]"
20, parenth_form ::= "[" [starred_expression
] "]"
21, literal ::=91,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=95,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=92,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=94,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=96,stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
literal ::=93stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
So sánh, bao gồm kiểm tra tư cách thành viên và kiểm tra danh tính
parenth_form ::= "[" [starred_expression
] "]"
075Boolean KHÔNG
parenth_form ::= "[" [starred_expression
] "]"
019Boolean AND
parenth_form ::= "[" [starred_expression
] "]"
020Boolean HOẶC
parenth_form ::= "[" [starred_expression
] "]"
02 – parenth_form ::= "[" [starred_expression
] "]"
079Biểu thức điều kiện
parenth_form ::= "[" [starred_expression
] "]"
080biểu thức lambda
parenth_form ::= "[" [starred_expression
] "]"
081biểu thức gán
chú thích
1Mặc dù
parenth_form ::= "[" [starred_expression
] "]"
082 đúng về mặt toán học, nhưng đối với số float, nó có thể không đúng về mặt số do làm tròn. Ví dụ: và giả sử một nền tảng trên đó Python float là số có độ chính xác kép IEEE 754, để parenth_form ::= "[" [starred_expression
] "]"
083 có cùng dấu với parenth_form ::= "[" [starred_expression
] "]"
084, kết quả được tính toán là parenth_form ::= "[" [starred_expression
] "]"
085, chính xác bằng số với parenth_form ::= "[" [starred_expression
] "]"
084. Thay vào đó, hàm parenth_form ::= "[" [starred_expression
] "]"
087 trả về kết quả có dấu khớp với dấu của đối số đầu tiên và do đó trả về parenth_form ::= "[" [starred_expression
] "]"
088 trong trường hợp này. Cách tiếp cận nào phù hợp hơn tùy thuộc vào ứng dụng2Nếu x rất gần với bội số nguyên chính xác của y, thì có thể
parenth_form ::= "[" [starred_expression
] "]"
089 lớn hơn parenth_form ::= "[" [starred_expression
] "]"
090 do làm tròn số. Trong những trường hợp như vậy, Python trả về kết quả cuối cùng, để đảm bảo rằng parenth_form ::= "[" [starred_expression
] "]"
091 rất gần với atom ::=773identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
Tiêu chuẩn Unicode phân biệt giữa các điểm mã [e. g. U+0041] và ký tự trừu tượng [e. g. “CHỮ VỐN LATIN A”]. Trong khi hầu hết các ký tự trừu tượng trong Unicode chỉ được biểu diễn bằng một điểm mã, ngoài ra còn có một số ký tự trừu tượng có thể được biểu diễn bằng một chuỗi gồm nhiều hơn một điểm mã. Ví dụ: ký tự trừu tượng “CHỮ VỐN LATIN C VỚI CEDILLA” có thể được biểu diễn dưới dạng một ký tự được soạn trước duy nhất tại vị trí mã U+00C7 hoặc dưới dạng một chuỗi ký tự cơ sở tại vị trí mã U+0043 [CHỮ IN HOA LATIN C],
Các toán tử so sánh trên các chuỗi so sánh ở mức điểm mã Unicode. Điều này có thể phản trực giác với con người. Ví dụ:
parenth_form ::= "[" [starred_expression
] "]"
093 là literal ::=80, mặc dù cả hai chuỗi đại diện cho cùng một ký tự trừu tượng “CHỮ VỐN LATIN C VỚI CEDILLA”stringliteral
|bytesliteral
|integer
|floatnumber
|imagnumber
Để so sánh các chuỗi ở cấp ký tự trừu tượng [nghĩa là theo cách trực quan đối với con người], hãy sử dụng
parenth_form ::= "[" [starred_expression
] "]"
0954Do tính năng thu gom rác tự động, danh sách miễn phí và tính chất động của bộ mô tả, bạn có thể nhận thấy hành vi có vẻ bất thường trong một số cách sử dụng nhất định của toán tử
parenth_form ::= "[" [starred_expression
] "]"
20, chẳng hạn như những hành vi liên quan đến so sánh giữa các phương thức mẫu hoặc hằng số. Kiểm tra tài liệu của họ để biết thêm thông tin5Toán tử lũy thừa
atom ::=65 liên kết kém chặt chẽ hơn so với toán tử một ngôi số học hoặc bitwise ở bên phải của nó, nghĩa là,identifier
|literal
|enclosure
enclosure ::=parenth_form
|list_display
|dict_display
|set_display
|generator_expression
|yield_atom
parenth_form ::= "[" [starred_expression
] "]"
098 là parenth_form ::= "[" [starred_expression
] "]"
099