Tôi muốn đưa ra lời giải thích về CẬP NHẬT 3 của câu trả lời được cung cấp bởi Marcelo Cantos:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)(Exception())
Giải trình
lambda: 0là một ví dụ của builtins.functionlớp.
type(lambda: 0)là builtins.functionlớp học
(lambda: 0).__code__là một codeđối tượng.
Một codeđối tượng là một đối tượng chứa mã byte được biên dịch trong số những thứ khác. Nó được định nghĩa ở đây trong CPython https://github.com/python/cpython/blob/master/Include/code.h . Các phương thức của nó được triển khai tại đây https://github.com/python/cpython/blob/master/Objects/codeobject.c . Chúng ta có thể chạy trợ giúp trên đối tượng mã:
Help on code object:
class code(object)
| code(argcount, kwonlyargcount, nlocals, stacksize, flags, codestring,
| constants, names, varnames, filename, name, firstlineno,
| lnotab[, freevars[, cellvars]])
|
| Create a code object. Not for the faint of heart.
type((lambda: 0).__code__)là lớp mã.
Vì vậy, khi chúng ta nói
type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b'')
chúng ta đang gọi hàm tạo của đối tượng mã với các đối số sau:
- đối số = 1
- kwonlyargcount = 0
- nlocals = 1
- xếp chồng = 1
- cờ = 67
- mã hóa = b '| \ 0 \ 202 \ 1 \ 0'
- hằng số = ()
- tên = ()
- tên biến = ('x',)
- tên tệp = ''
- tên = ''
- Firstlineno = 1
- lnotab = b ''
Bạn có thể đọc về ý nghĩa của các đối số trong định nghĩa của PyCodeObject
https://github.com/python/cpython/blob/master/Include/code.h . Giá trị 67 choflags đối số là ví dụ CO_OPTIMIZED | CO_NEWLOCALS | CO_NOFREE.
Đối số nhập khẩu nhiều nhất là đối số codestringchứa opcodes lệnh. Hãy xem ý nghĩa của chúng.
>>> import dis
>>> dis.dis(b'|\0\202\1\0')
0 LOAD_FAST 0 (0)
2 RAISE_VARARGS 1
4 <0>
Tài liệu về opcodes có thể được tìm thấy ở đây https://docs.python.org/3.8/l Library / dis.html.htmlpypy-bytecode-in thi
. Byte đầu tiên là opcode cho LOAD_FAST, byte thứ hai là đối số của nó tức là 0.
LOAD_FAST(var_num)
Pushes a reference to the local co_varnames[var_num] onto the stack.
Vì vậy, chúng tôi đẩy tham chiếu xlên ngăn xếp. Cácvarnames là danh sách các chuỗi chỉ chứa 'x'. Chúng ta sẽ đẩy đối số duy nhất của hàm mà chúng ta đang xác định vào ngăn xếp.
Byte tiếp theo là opcode cho RAISE_VARARGSvà byte tiếp theo là đối số của nó tức là 1.
RAISE_VARARGS(argc)
Raises an exception using one of the 3 forms of the raise statement, depending on the value of argc:
0: raise (re-raise previous exception)
1: raise TOS (raise exception instance or type at TOS)
2: raise TOS1 from TOS (raise exception instance or type at TOS1 with __cause__ set to TOS)
ĐKDV là đỉnh cao nhất. Vì chúng ta đã đẩy đối số đầu tiên ( x) của hàm của chúng ta lên ngăn xếp và argclà 1, chúng ta sẽ nâng lên
xnếu đó là một trường hợp ngoại lệ hoặc tạo một thể hiện xvà nâng nó theo cách khác.
Byte cuối cùng tức là 0 không được sử dụng. Nó không phải là một opcode hợp lệ. Nó cũng có thể không ở đó.
Quay trở lại đoạn mã chúng tôi đang cố gắng:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)(Exception())
Chúng tôi đã gọi hàm tạo của đối tượng mã:
type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b'')
Chúng ta truyền đối tượng mã và một từ điển trống cho hàm tạo của đối tượng hàm:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)
Chúng ta hãy gọi trợ giúp về một đối tượng hàm để xem các đối số có nghĩa là gì.
Help on class function in module builtins:
class function(object)
| function(code, globals, name=None, argdefs=None, closure=None)
|
| Create a function object.
|
| code
| a code object
| globals
| the globals dictionary
| name
| a string that overrides the name from the code object
| argdefs
| a tuple that specifies the default argument values
| closure
| a tuple that supplies the bindings for free variables
Sau đó, chúng ta gọi hàm được xây dựng đi qua một thể hiện Ngoại lệ làm đối số. Do đó, chúng tôi đã gọi một hàm lambda làm tăng ngoại lệ. Hãy chạy đoạn trích và thấy rằng nó thực sự hoạt động như dự định.
>>> type(lambda: 0)(type((lambda: 0).__code__)(
... 1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
... )(Exception())
Traceback (most recent call last):
File "<stdin>", line 3, in <module>
File "", line 1, in
Exception
Cải tiến
Chúng tôi đã thấy rằng byte cuối cùng của mã byte là vô dụng. Chúng ta đừng lộn xộn biểu hiện phức tạp này. Hãy xóa byte đó. Ngoài ra, nếu chúng ta muốn chơi gôn một chút, chúng ta có thể bỏ qua phần khởi tạo của Ngoại lệ và thay vào đó vượt qua lớp Ngoại lệ làm đối số. Những thay đổi đó sẽ dẫn đến mã sau đây:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1',(),(),('x',),'','',1,b''),{}
)(Exception)
Khi chúng tôi chạy nó, chúng tôi sẽ nhận được kết quả như trước đây. Nó chỉ ngắn hơn.