Chciałbym wyjaśnić AKTUALIZACJĘ 3 odpowiedzi udzielonej przez Marcelo Cantos:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)(Exception())
Wyjaśnienie
lambda: 0jest instancją builtins.functionklasy.
type(lambda: 0)jest builtins.functionklasą.
(lambda: 0).__code__jest codeprzedmiotem. Obiekt jest obiektem, który posiada skompilowany kod bajtowy między innymi. Jest zdefiniowany tutaj w CPython https://github.com/python/cpython/blob/master/Include/code.h . Jego metody są zaimplementowane tutaj https://github.com/python/cpython/blob/master/Objects/codeobject.c . Możemy uruchomić pomoc dotyczącą obiektu kodu:
code
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__)to klasa kodu.
Więc kiedy mówimy
type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b'')
wywołujemy konstruktora obiektu kodu z następującymi argumentami:
- argcount = 1
- kwonlyargcount = 0
- nlocals = 1
- stacksize = 1
- flagi = 67
- codestring = b '| \ 0 \ 202 \ 1 \ 0'
- stałe = ()
- nazwy = ()
- varnames = ('x',)
- filename = ''
- name = ''
- firstlineno = 1
- lnotab = b ''
O tym, co oznaczają argumenty, możesz przeczytać w definicji PyCodeObject
https://github.com/python/cpython/blob/master/Include/code.h . Na przykład wartość 67 flagsargumentu to CO_OPTIMIZED | CO_NEWLOCALS | CO_NOFREE.
Najważniejszym argumentem jest ten, codestringktóry zawiera kody instrukcji. Zobaczmy, co mają na myśli.
>>> import dis
>>> dis.dis(b'|\0\202\1\0')
0 LOAD_FAST 0 (0)
2 RAISE_VARARGS 1
4 <0>
Dokumentację kodów operacyjnych można znaleźć tutaj
https://docs.python.org/3.8/library/dis.html#python-bytecode-instructions . Pierwszy bajt to kod LOAD_FASToperacji, drugi bajt to jego argument, tj. 0.
LOAD_FAST(var_num)
Pushes a reference to the local co_varnames[var_num] onto the stack.
Więc umieszczamy odniesienie do xna stosie. varnamesJest listą ciągów zawierających tylko „x”. Jedyny argument funkcji, którą definiujemy, wrzucimy na stos.
Następny bajt to kod operacji dla, RAISE_VARARGSa następny bajt to jego argument, tj. 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 jest szczytem stosu. Ponieważ umieściliśmy pierwszy argument ( x) naszej funkcji na stosie i argcwynosi 1, podniesiemy wartość,
xjeśli jest to wyjątek, lub utworzymy instancję xi podniesiemy ją w przeciwnym razie.
Ostatni bajt, czyli 0, nie jest używany. To nie jest prawidłowy kod operacji. Równie dobrze może go tam nie być.
Wracając do fragmentu kodu, który teraz analizujemy:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)(Exception())
Nazwaliśmy konstruktora obiektu kodu:
type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b'')
Przekazujemy obiekt kodu i pusty słownik do konstruktora obiektu funkcji:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)
Wywołajmy pomoc dotyczącą obiektu funkcji, aby zobaczyć, co oznaczają argumenty.
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
Następnie wywołujemy skonstruowaną funkcję, przekazując jako argument wystąpienie wyjątku. W konsekwencji nazwaliśmy funkcję lambda, która zgłasza wyjątek. Uruchommy fragment i przekonajmy się, że rzeczywiście działa zgodnie z przeznaczeniem.
>>> 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
Improvements
Widzieliśmy, że ostatni bajt kodu bajtowego jest bezużyteczny. Nie zaśmiecajmy tej skomplikowanej ekspresji igliwie. Usuńmy ten bajt. Również jeśli chcemy trochę pograć w golfa, możemy pominąć tworzenie wystąpienia Exception i zamiast tego przekazać klasę Exception jako argument. Te zmiany spowodowałyby następujący kod:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1',(),(),('x',),'','',1,b''),{}
)(Exception)
Kiedy go uruchomimy, uzyskamy taki sam wynik jak poprzednio. Jest po prostu krótszy.