Saya ingin memberikan penjelasan UPDATE 3 dari jawaban yang diberikan oleh Marcelo Cantos:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)(Exception())
Penjelasan
lambda: 0adalah turunan dari builtins.functionkelas.
type(lambda: 0)adalah builtins.functionkelasnya.
(lambda: 0).__code__adalah sebuah codeobjek.
Sebuah codeobjek adalah obyek yang memegang bytecode disusun antara lain. Ini didefinisikan di sini di CPython https://github.com/python/cpython/blob/master/Include/code.h . Metodenya diterapkan di sini https://github.com/python/cpython/blob/master/Objects/codeobject.c . Kami dapat menjalankan bantuan pada objek kode:
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__)adalah kelas kode.
Jadi saat kita bilang
type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b'')
kami memanggil konstruktor objek kode dengan argumen berikut:
- argcount = 1
- kwonlyargcount = 0
- nlocals = 1
- stacksize = 1
- bendera = 67
- codestring = b '| \ 0 \ 202 \ 1 \ 0'
- konstanta = ()
- nama = ()
- varnames = ('x',)
- nama file = ''
- nama = ''
- firstlineno = 1
- lnotab = b ''
Anda dapat membaca tentang apa arti argumen dalam definisi PyCodeObject
https://github.com/python/cpython/blob/master/Include/code.h . Nilai 67 untuk flagsargumen sebagai contoh CO_OPTIMIZED | CO_NEWLOCALS | CO_NOFREE.
Argumen yang paling penting adalah codestringyang berisi opcode instruksi. Mari kita lihat apa artinya.
>>> import dis
>>> dis.dis(b'|\0\202\1\0')
0 LOAD_FAST 0 (0)
2 RAISE_VARARGS 1
4 <0>
Dokumentasi opcode dapat ditemukan di sini
https://docs.python.org/3.8/library/dis.html#python-bytecode-instructions . Byte pertama adalah opcode untuk LOAD_FAST, byte kedua adalah argumennya yaitu 0.
LOAD_FAST(var_num)
Pushes a reference to the local co_varnames[var_num] onto the stack.
Jadi kami mendorong referensi ke xke tumpukan. Ini varnamesadalah daftar string yang hanya berisi 'x'. Kami akan mendorong satu-satunya argumen dari fungsi yang kami definisikan ke tumpukan.
Byte berikutnya adalah opcode untuk RAISE_VARARGSdan byte berikutnya adalah argumennya yaitu 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)
TOS adalah top-of-stack. Karena kita mendorong argumen pertama ( x) dari fungsi kita ke tumpukan dan argcbernilai 1, kita akan menaikkan
xjika itu adalah contoh pengecualian atau membuat contoh xdan menaikkannya sebaliknya.
Byte terakhir yaitu 0 tidak digunakan. Ini bukan opcode yang valid. Mungkin juga tidak ada di sana.
Kembali ke cuplikan kode yang kami analisis:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)(Exception())
Kami memanggil konstruktor objek kode:
type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b'')
Kami meneruskan objek kode dan kamus kosong ke konstruktor objek fungsi:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)
Mari panggil bantuan pada objek fungsi untuk melihat apa arti argumen tersebut.
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
Kami kemudian memanggil fungsi yang dibangun dengan meneruskan instance Exception sebagai argumen. Akibatnya kami memanggil fungsi lambda yang memunculkan pengecualian. Mari kita jalankan cuplikannya dan lihat apakah itu berfungsi sebagaimana mestinya.
>>> 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
Perbaikan
Kami melihat bahwa byte terakhir dari bytecode tidak berguna. Jangan mengacaukan ekspresi rumit ini dengan sia-sia. Mari hapus byte itu. Juga jika kita ingin bermain golf sedikit, kita bisa menghilangkan instansiasi Exception dan sebagai gantinya meneruskan kelas Exception sebagai argumen. Perubahan tersebut akan menghasilkan kode berikut:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1',(),(),('x',),'','',1,b''),{}
)(Exception)
Ketika kita menjalankannya kita akan mendapatkan hasil yang sama seperti sebelumnya. Itu hanya lebih pendek.