Hướng dẫn how do i use bytecode in python? - làm cách nào để sử dụng bytecode trong python?

python -m compileall file_1.py ... file_n.py

Đối tượng mã

Hàm

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

a = 5
type(a)  # Output is: int

Theo một cách tương tự, mã byte được tạo bởi hàm biên dịch được lưu trữ trong đối tượng

python -m compileall file_1.py ... file_n.py

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

Đối tượng mã không chỉ chứa mã byte mà còn một số thông tin khác cần thiết để cpython chạy mã byte (chúng sẽ được thảo luận sau). Một đối tượng mã có thể được thực thi hoặc đánh giá bằng cách chuyển nó cho hàm

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

Khi bạn xác định một hàm trong Python, nó sẽ tạo một đối tượng mã cho nó và bạn có thể truy cập nó bằng thuộc tính

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

Và đầu ra sẽ là:

python -m compileall file_1.py ... file_n.py

Giống như bất kỳ đối tượng nào khác, đối tượng mã có một số thuộc tính và để nhận mã byte được lưu trữ trong một đối tượng mã, bạn có thể sử dụng thuộc tính

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

Đầu ra là:

python -m compileall file_1.py ... file_n.py

Kết quả là một byte theo nghĩa đen được đặt trước với

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

gives:

python -m compileall file_1.py ... file_n.py

Vì phần tử đầu tiên có giá trị thập phân là 101 và có thể được hiển thị với ký tự

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

gives:

python -m compileall file_1.py ... file_n.py

Vì phần tử thứ 4 có giá trị thập phân là 131. Giá trị thập lục phân là 131 là 83. Vì vậy, byte này có thể được hiển thị với một ký tự có mã ký tự là

python -m compileall file_1.py ... file_n.py

Các chuỗi byte này có thể được giải thích bằng Cpython, nhưng chúng không thân thiện với con người. Vì vậy, chúng ta cần hiểu làm thế nào các byte này được ánh xạ tới các hướng dẫn thực tế sẽ được thực thi bởi CPython. Trong phần tiếp theo, chúng tôi sẽ tháo rời mã byte thành một số hướng dẫn thân thiện với con người để xem mã byte được thực thi bởi CPython như thế nào.

Chi tiết mã byte

Trước khi đi sâu vào chi tiết, điều quan trọng cần lưu ý là việc triển khai chi tiết mã byte thường thay đổi giữa các phiên bản của Python. Vì vậy, những gì bạn thấy trong bài viết này có thể không hợp lệ cho tất cả các phiên bản của Python. Trên thực tế, nó bao gồm các thay đổi xảy ra trong phiên bản 3.6 và một số chi tiết có thể không hợp lệ cho các phiên bản cũ hơn. Mã trong bài viết này đã được thử nghiệm với Python 3.7.

Mã byte có thể được coi là một loạt các hướng dẫn hoặc một chương trình cấp thấp cho trình thông dịch Python. Sau phiên bản 3.6, Python sử dụng 2 byte cho mỗi lệnh. Một byte là cho mã của hướng dẫn đó được gọi là opcode và một byte được dành riêng cho itargumentwhich được gọi là oparg. Mỗi opcode có một tên thân thiện với con người được gọi là opname. Các hướng dẫn bytecode có định dạng chung như thế này:

python -m compileall file_1.py ... file_n.py

Chúng tôi đã có mã hóa trong mã byte của chúng tôi và chúng tôi chỉ cần ánh xạ chúng đến tên opname tương ứng của chúng. Có một mô -đun gọi là

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

Một số hướng dẫn không cần một đối số, vì vậy họ bỏ qua byte sau opcode. Các opcodes có giá trị dưới một số nhất định bỏ qua đối số của họ. Giá trị này được lưu trữ trong

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

Ví dụ, giả sử rằng chúng ta có một mã byte ngắn

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Đầu ra sẽ là:

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Hai byte đầu tiên của mã byte là

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

và kết quả là

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Hai byte cuối cùng trong mã byte là

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Ngoài ra, một số hướng dẫn có thể có một đối số quá lớn để phù hợp với một byte mặc định. Có một opcode đặc biệt

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Tuy nhiên, số lượng tối đa mà một byte có thể lưu trữ là 255 và 260 không phù hợp với byte. Vì vậy, opcode này được tiền tố với

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Khi trình thông dịch thực thi

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Vì vậy, giá trị nhị phân

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Điều này giống như thêm giá trị của OPARG vào

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

và giá trị này sẽ được sử dụng làm oparg thực tế của

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

được giải thích là:

compile("a=5 \na+=1 \nprint(a)", "", "exec")

Đối với mỗi opcode, nhiều nhất là ba tiền tố

python -m compileall file_1.py ... file_n.py

Bây giờ chúng ta có thể tập trung vào chính Oparg. Nó có nghĩa là gì? Trên thực tế, ý nghĩa của mỗi oparg phụ thuộc vào opcode của nó. Như đã đề cập trước đây, đối tượng mã lưu trữ một số thông tin khác ngoài mã byte. Thông tin này có thể được truy cập bằng cách sử dụng các thuộc tính khác nhau của đối tượng mã và chúng tôi cần một số thuộc tính này để giải mã ý nghĩa của mỗi oparg. Các thuộc tính này là:

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

Thuộc tính đối tượng mã

Tôi sẽ giải thích ý nghĩa của các thuộc tính này bằng một ví dụ. Giả sử bạn có đối tượng mã của mã nguồn này:

compile("a=5 \na+=1 \nprint(a)", "", "exec")

Bây giờ chúng ta có thể kiểm tra những gì được lưu trữ trong mỗi thuộc tính này:

1 -________ 190: Một tuple chứa các chữ được sử dụng bởi mã byte. Ở đây

python -m compileall file_1.py ... file_n.py

compile("a=5 \na+=1 \nprint(a)", "", "exec")

Vì vậy, các chữ

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

compile("a=5 \na+=1 \nprint(a)", "", "exec")

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

Nếu bạn cố gắng lấy

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

Kết quả sẽ là

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

2 -________ 191: Một tuple chứa các tên được sử dụng bởi mã byte có thể là các biến, hàm và các lớp toàn cầu hoặc các thuộc tính được tải từ các đối tượng. Ví dụ, đối với mã đối tượng trong Liệt kê 1,

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

3 -________ 192: Một tuple chứa các tên cục bộ được sử dụng bởi mã byte (đối số đầu tiên, sau đó là các biến cục bộ). Nếu chúng tôi thử nó cho mã đối tượng của Danh sách 1, nó sẽ cho một bộ xử lý trống. Lý do là các tên cục bộ được xác định bên trong các chức năng và hàm bên trong Liệt kê 1 được lưu trữ dưới dạng đối tượng mã riêng biệt, do đó các biến cục bộ của nó sẽ không được đưa vào trong bộ thuật này. Để truy cập các biến cục bộ của một hàm, chúng ta nên sử dụng thuộc tính này cho đối tượng mã của hàm đó. Vì vậy, trước tiên chúng tôi viết mã nguồn này:

compile("a=5 \na+=1 \nprint(a)", "", "exec")

Bây giờ

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

Tại sao

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

4 -________ 193: Một tuple chứa tên của các biến không thuộc địa. Đây là các biến cục bộ của một hàm được truy cập bởi các hàm bên trong của nó. Vì vậy,

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

5 -________ 194: Một tuple chứa tên của các biến miễn phí. Các biến miễn phí là các biến cục bộ của hàm bên ngoài được truy cập bởi hàm bên trong của nó. Vì vậy, thuộc tính này nên được sử dụng với đối tượng mã của việc đóng

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

Bây giờ chúng ta đã quen thuộc với các thuộc tính này, chúng ta có thể quay lại Opargs. Ý nghĩa của mỗi oparg phụ thuộc vào opcode của nó. Chúng tôi có các loại opcode khác nhau và đối với mỗi loại, oparg có một ý nghĩa khác nhau. Trong mô -đun

python -m compileall file_1.py ... file_n.py

1 -________ 232: Danh sách này bằng [100]. Vì vậy, chỉ có opcode 100 (opname của nó là load_const) nằm trong danh mục

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

compile("a+7", "", "eval")

sau đó OPARG là yếu tố của

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

compile("a+7", "", "eval")

Tương tự, có một số danh sách khác trong mô -đun

python -m compileall file_1.py ... file_n.py

2 -________ 240: Oparg cho các opcode trong danh sách này, là chỉ số của một phần tử trong

python -m compileall file_1.py ... file_n.py

3 -________ 242: Oparg cho các opcode trong danh sách này, là chỉ số của một yếu tố trong

python -m compileall file_1.py ... file_n.py

4 -________ 244: Oparg cho các opcode trong danh sách này, là chỉ số của một phần tử trong

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

5 -________ 246: Oparg cho opcode trong danh sách này, là chỉ số của một phần tử của tuple

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

6 -________ 250: OPARG cho các opcode trong danh sách này, nên được thay thế bằng

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Đối tượng mã có một thuộc tính quan trọng hơn cần được thảo luận ở đây. Nó được gọi là

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a+7", "", "eval")

Bây giờ chúng tôi có một ánh xạ từ mã ByteCode đến các số dòng như bảng này:

ByteCode Offset luôn bắt đầu ở 0. Đối tượng mã có một thuộc tính có tên

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Hai cột gia tăng này được nén lại với nhau theo một chuỗi như thế này:

compile("a+7", "", "eval")

Mỗi số được lưu trữ trong một byte và toàn bộ chuỗi được lưu trữ dưới dạng byte theo nghĩa đen trong

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a+7", "", "eval")

đó là các byte theo nghĩa đen cho chuỗi trước. Vì vậy, bằng cách có các thuộc tính

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Sau đó, mức tăng bù so với mức tăng số dòng phải là:

139 bằng 127 + 12. Vì vậy, hàng trước nên được viết là:

và nên được lưu trữ dưới dạng

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Tháo rời mã byte

Bây giờ chúng tôi đã quen thuộc với cấu trúc byte, chúng tôi có thể viết một chương trình Disassembler đơn giản. Trước tiên, chúng tôi viết một hàm trình tạo để giải nén từng lệnh và mang lại phần bù, opcode và oparg:

Hàm này đọc cặp byte tiếp theo từ mã byte. Byte đầu tiên là opcode. Bằng cách so sánh opcode này với

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

Trong lần lặp tiếp theo, biến tạm thời này sẽ được thêm vào OPARG tiếp theo và thêm một byte vào nó. Quá trình này tiếp tục nếu opcode tiếp theo là

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

The

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

It first divided the

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

The

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

The

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Now we can use all these functions to disassemble the bytecode. The

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

It will first unpack the offset, opcode and oparg for each pair of bytes in the bytecode of the code object. Then it finds the corresponding source code line numbers, and checks if the offset is a jump target. Finally, it finds the opname and the meaning of the oparg and prints all the information. As mentioned before each function definition is stored in a separate code object. So at the end the function calls itself recursively to disassemble all the function definitions in the bytecode. Here is an example of using this function. Initially, we have this source code:

compile("a+7", "", "eval")

We first store it in a string and compile it to get the object code. Then we use the

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a+7", "", "eval")

The output is:

compile("a+7", "", "eval")

So 4 lines of source code are converted into 38 bytes of bytecode or 19 lines of bytecode. In the next section, I will explain the meaning of these instructions and how they will be interpreted by CPython.

The module

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Disassembling a pyc file

As mentioned before, when the source code is compiled, the bytecode is stored in a

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

Bytecode operations

So far we learned how to disassemble the bytecode instructions. We can now focus on the meaning of these instructions and how they are executed by CPython. CPython which is the default implementation of Python uses a stack-based virtual machine. So first we should get familiar with the stack.

Stack and heap

Stack is a data structure with a LIFO (Last In First Out) order. It has two principal operations:

• push: adds an element to the stack
• pop: removes the most recently added element

So the last element added or pushed to the stack is the first element to be removed or popped. The advantage of using stack to store data is that memory is managed for you. Reading from and writing to stack is very fast, however, the size of stack is limited.

Data in Python is represented as objects stored on a private heap. Accessing the data on heap is a bit slower compared to stack, however, the size of heap is only limited by the size of virtual memory. The elements of heap have no dependencies with each other and can be accessed randomly at any time. Everything in Python is an object and objects are always stored on the heap. It’s only the reference (or the pointer) to the object that is stored in the stack.

CPython uses the call stack for running a Python program. When a function is called in Python, a new frameis pushed onto the call stack, and every time a function call returns, its frame is popped off. The module in which the program runs has the bottom-most frame which is called the global frame or the module frame.

Each frame has an evaluation stack where the execution of a Python function occurs. The function arguments and its local variables are pushed into this evaluation stack. CPython uses the evaluation stack to store the parameters required for any operations and also the result of those operations. Before starting that operation, all the required parameters are pushed onto the evaluation stack. Then the operation is started and it pops its parameters. When the operation is finished, it pushes the result back onto the evaluation stack.

Tất cả các đối tượng được lưu trữ trên đống và ngăn xếp đánh giá trong các khung liên quan đến các tham chiếu đến chúng. Vì vậy, các tham chiếu đến các đối tượng này có thể được đẩy vào ngăn xếp đánh giá tạm thời được sử dụng cho các hoạt động sau này. Hầu hết các hướng dẫn mã byte Python, thao tác ngăn xếp đánh giá trong khung hiện tại. Trong bài viết này bất cứ khi nào chúng ta nói về ngăn xếp, điều đó có nghĩa là ngăn xếp đánh giá trong khung hiện tại hoặc ngăn xếp đánh giá trong khung toàn cầu nếu chúng ta không ở trong phạm vi của bất kỳ chức năng nào.

Hãy để tôi bắt đầu với một ví dụ đơn giản và tháo rời mã byte của mã nguồn sau:

compile("a+7", "", "eval")

Để làm điều đó, chúng ta có thể viết:

# This does not work:
compile("a=a+1", "", "eval")

Và chúng tôi nhận được:

# This does not work:
compile("a=a+1", "", "eval")

Ngoài ra, chúng ta có thể kiểm tra một số thuộc tính khác của đối tượng mã:

# This does not work:
compile("a=a+1", "", "eval")

Ở đây mã đang chạy trong mô -đun, vì vậy chúng tôi đang ở trong khung toàn cầu. Hướng dẫn đầu tiên là

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

# This does not work:
compile("a=a+1", "", "eval")

Đẩy giá trị của

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Điều quan trọng cần lưu ý là Stack hoạt động với các tham chiếu đến các đối tượng. Vì vậy, bất cứ khi nào chúng ta nói rằng một lệnh đẩy một đối tượng hoặc giá trị của một đối tượng lên ngăn xếp, điều đó có nghĩa là một tham chiếu (hoặc con trỏ) đến đối tượng đó đang được đẩy. Điều tương tự cũng xảy ra khi một đối tượng hoặc giá trị của nó được bật ra khỏi ngăn xếp. Một lần nữa tài liệu tham khảo của nó được bật lên. Trình thông dịch biết cách truy xuất hoặc lưu trữ dữ liệu của đối tượng bằng các tài liệu tham khảo này.

Hướng dẫn

# This does not work:
compile("a=a+1", "", "eval")

Bật phần trên cùng của ngăn xếp và lưu trữ nó vào một đối tượng có tài liệu tham khảo được lưu trữ trong

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

# This does not work:
compile("a=a+1", "", "eval")

Bật hai yếu tố hàng đầu của ngăn xếp (

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

python -m compileall file_1.py ... file_n.py

compile("a=5 \na+=1 \nprint(a)", "", "exec")

python -m compileall file_1.py ... file_n.py

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

# This does not work:
compile("a=a+1", "", "eval")

Trả về với phần trên cùng của ngăn xếp cho người gọi của chức năng. Tất nhiên, ở đây chúng tôi đang ở trong phạm vi mô -đun và không có chức năng người gọi, vì vậy

python -m compileall file_1.py ... file_n.py

Chức năng, biến toàn cầu và địa phương

Bây giờ, hãy để xem những gì xảy ra nếu chúng ta cũng có một chức năng. Chúng tôi sẽ tháo rời mã byte của mã nguồn có chức năng:

# This does not work:
compile("a=a+1", "", "eval")

Đầu ra là:

# This does not work:
compile("a=a+1", "", "eval")

Ngoài ra, chúng ta có thể kiểm tra một số thuộc tính khác của đối tượng mã:

# This does not work:
compile("a=a+1", "", "eval")

Ở đây mã đang chạy trong mô -đun, vì vậy chúng tôi đang ở trong khung toàn cầu. Hướng dẫn đầu tiên là

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Đẩy giá trị của

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=a+1", "", "single")

Điều quan trọng cần lưu ý là Stack hoạt động với các tham chiếu đến các đối tượng. Vì vậy, bất cứ khi nào chúng ta nói rằng một lệnh đẩy một đối tượng hoặc giá trị của một đối tượng lên ngăn xếp, điều đó có nghĩa là một tham chiếu (hoặc con trỏ) đến đối tượng đó đang được đẩy. Điều tương tự cũng xảy ra khi một đối tượng hoặc giá trị của nó được bật ra khỏi ngăn xếp. Một lần nữa tài liệu tham khảo của nó được bật lên. Trình thông dịch biết cách truy xuất hoặc lưu trữ dữ liệu của đối tượng bằng các tài liệu tham khảo này.

Hướng dẫn

compile("a=a+1", "", "single")

được sử dụng để tạo chức năng. Nó cần một số thông số nên được đẩy lên ngăn xếp. Tên của chức năng phải nằm trên đầu ngăn xếp và đối tượng mã chức năng phải ở bên dưới nó. Trong ví dụ này, OPARG của nó bằng không, nhưng nó có thể có các giá trị khác. Ví dụ: nếu định nghĩa hàm có đối số từ khóa như:

compile("a=a+1", "", "single")

Sau đó, mã byte được tháo rời cho dòng 2 sẽ là:

compile("a=a+1", "", "single")

Một oparg là

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

Bây giờ, hãy để Lừa nhìn vào bên trong đối tượng mã của

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=a+1", "", "single")

Đẩy một tham chiếu đến đối tượng được đề cập bởi

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=a+1", "", "single")

Đẩy một tham chiếu đến đối tượng có tham chiếu là

compile("a=5 \na+=1 \nprint(a)", "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

compile("a=a+1", "", "single")

Vì vậy,

compile("a=5 \na+=1 \nprint(a)", "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=a+1", "", "single")

Bật đỉnh của ngăn xếp và lưu trữ nó vào một đối tượng có tài liệu tham khảo được lưu trữ trong

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

python -m compileall file_1.py ... file_n.py

Nhưng làm thế nào chức năng này được gọi? Nếu bạn nhìn vào mã byte của dòng 8, trước tiên,

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=a+1", "", "single")

gọi một đối tượng có thể gọi với các đối số vị trí. OPARG của nó, ARGC chỉ ra số lượng đối số vị trí. Phần trên của ngăn xếp chứa các đối số vị trí, với đối số bên phải trên cùng. Bên dưới các đối số là đối tượng có thể gọi chức năng để gọi.

python -m compileall file_1.py ... file_n.py

Trong ví dụ của chúng tôi, chúng tôi chỉ có một đối số vị trí, vì vậy hướng dẫn sẽ là

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=a+1", "", "single")

bật các mặt hàng trên đầu ngăn xếp. Đó là bởi vì chúng tôi không cần giá trị trả về của hàm nữa. Hình 2 cho thấy tất cả các hoạt động bytecode với độ lệch từ 16 đến 22. Các hướng dẫn byte bên trong

compile("a=5 \na+=1 \nprint(a)", "", "exec")

Chức năng tích hợp sẵn

Trong dòng 9 của mã byte được tháo rời của Danh sách 2, chúng tôi muốn

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

python -m compileall file_1.py ... file_n.py

compile("a=5 \na+=1 \nprint(a)", "", "exec")

python -m compileall file_1.py ... file_n.py

Python sử dụng các chức năng tích hợp của nó để tạo cấu trúc dữ liệu. Ví dụ: dòng sau:

 at 0x000001A1DED95540, file "", line 1>

 at 0x000001A1DED95540, file "", line 1>

 at 0x000001A1DED95540, file "", line 1>

compile("a=5 \na+=1 \nprint(a)", "", "exec")

python -m compileall file_1.py ... file_n.py

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

 at 0x000001A1DED95540, file "", line 1>

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

 at 0x000001A1DED95540, file "", line 1>

compile("a=5 \na+=1 \nprint(a)", "", "exec")

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

 at 0x000001A1DED95540, file "", line 1>

python -m compileall file_1.py ... file_n.py

compile("a=5 \na+=1 \nprint(a)", "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

 at 0x000001A1DED95540, file "", line 1>

 at 0x000001A1DED95540, file "", line 1>

compile("a=5 \na+=1 \nprint(a)", "", "exec")

python -m compileall file_1.py ... file_n.py

 at 0x000001A1DED95540, file "", line 1>

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

python -m compileall file_1.py ... file_n.py

compile("a+7", "", "eval")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a+7", "", "eval")

 at 0x000001A1DED95540, file "", line 1>

compile("a+7", "", "eval")

a = 5
type(a)  # Output is: int

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

a = 5
type(a)  # Output is: int

compile("a+7", "", "eval")

a = 5
type(a)  # Output is: int

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

a = 5
type(a)  # Output is: int

a = 5
type(a)  # Output is: int

compile("a+7", "", "eval")

python -m compileall file_1.py ... file_n.py

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

a = 5
type(a)  # Output is: int

a = 5
type(a)  # Output is: int

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

a = 5
type(a)  # Output is: int

compile("a+7", "", "eval")

compile("a+7", "", "eval")

a = 5
type(a)  # Output is: int

compile("a+7", "", "eval")

a = 5
type(a)  # Output is: int

compile("a+7", "", "eval")

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

compile("a+7", "", "eval")

python -m compileall file_1.py ... file_n.py

compile("a+7", "", "eval")

compile("a+7", "", "eval")

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

compile("a+7", "", "eval")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a+7", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a+7", "", "eval")

python -m compileall file_1.py ... file_n.py

compile("a+7", "", "eval")

compile("a+7", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a+7", "", "eval")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

python -m compileall file_1.py ... file_n.py

compile("a=5 \na+=1 \nprint(a)", "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

python -m compileall file_1.py ... file_n.py

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

compile("a+7", "", "eval")

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

compile("a+7", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

compile("a+7", "", "eval")

compile("a+7", "", "eval")

compile("a+7", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

compile("a+7", "", "eval")

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

c = compile("a=a+1", "", "single")
type(c)  # Output is: code

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

# This does not work:
compile("a=a+1", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

compile("a+7", "", "eval")

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

compile("a+7", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

compile("a=5 \na+=1 \nprint(a)", "", "exec")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

# This does not work:
compile("a=a+1", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

# This does not work:
compile("a=a+1", "", "eval")

s='''
a=5
a+=1
print(a)
'''
compile(s, "", "exec")

# This does not work:
compile("a=a+1", "", "eval")

# This does not work:
compile("a=a+1", "", "eval")

python -m compileall file_1.py ... file_n.py

python -m compileall file_1.py ... file_n.py

# This does not work:
compile("a=a+1", "", "eval")

python -m compileall file_1.py ... file_n.py

compile("a+7", "", "eval")

python -m compileall file_1.py ... file_n.py