Я хотів би дати пояснення ОНОВЛЕННЯ 3 відповіді, наданої Марсело Кантосом:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)(Exception())
Пояснення
lambda: 0є екземпляром builtins.functionкласу.
type(lambda: 0)є builtins.functionклас.
(lambda: 0).__code__є codeоб’єктом. Об'єкт є об'єктом , який містить скомпільований байткод серед інших речей. Він визначений тут у CPython https://github.com/python/cpython/blob/master/Include/code.h . Його методи реалізовані тут https://github.com/python/cpython/blob/master/Objects/codeobject.c . Ми можемо запустити довідку на об'єкт коду:
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__)- клас коду.
Так коли ми говоримо
type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b'')
ми викликаємо конструктор об'єкта коду з такими аргументами:
- аргумент = 1
- kwonlyargcount = 0
- nлокалі = 1
- stacksize = 1
- прапори = 67
- codestring = b '| \ 0 \ 202 \ 1 \ 0'
- константи = ()
- імена = ()
- varnames = ('x',)
- filename = ''
- name = ''
- firstlineno = 1
- lnotab = b ''
Ви можете прочитати про те, що означають аргументи у визначенні PyCodeObject
https://github.com/python/cpython/blob/master/Include/code.h . Значення 67 для flagsаргументу є, наприклад CO_OPTIMIZED | CO_NEWLOCALS | CO_NOFREE.
Найважливішим аргументом є той, codestringякий містить інструкції. Подивимося, що вони означають.
>>> import dis
>>> dis.dis(b'|\0\202\1\0')
0 LOAD_FAST 0 (0)
2 RAISE_VARARGS 1
4 <0>
Документацію опкодів можна знайти тут
https://docs.python.org/3.8/library/dis.html#python-bytecode-instructions . Перший байт - це опкод для LOAD_FAST, другий байт - його аргумент, тобто 0.
LOAD_FAST(var_num)
Pushes a reference to the local co_varnames[var_num] onto the stack.
Тож ми натискаємо посилання xна стек. Це varnamesсписок рядків, що містять лише "x". Ми висунемо єдиний аргумент функції, яку ми визначаємо, до стеку.
Наступний байт - це опкод для, RAISE_VARARGSа наступний байт - його аргумент, тобто 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 - це вершина стека. Оскільки ми висунули перший аргумент ( x) нашої функції до стеку і argcдорівнює 1, ми піднімемо
xif, якщо це випадок винятку, або зробимо екземпляр xта піднімемо його інакше.
Останній байт, тобто 0, не використовується. Це не дійсний код коду. Це може бути і не там.
Повертаючись до фрагмента коду, ми будь-що аналізуємо:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)(Exception())
Ми назвали конструктор об'єкта коду:
type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b'')
Передаємо об'єкт коду та порожній словник конструктору функціонального об'єкта:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)
Давайте подзвонимо довідку на об’єкт функції, щоб побачити, що означають аргументи.
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
Потім ми називаємо побудовану функцію, передаючи екземпляр Exception як аргумент. Отже, ми назвали лямбда-функцію, яка викликає виняток. Давайте запустимо фрагмент і побачимо, що він справді працює за призначенням.
>>> 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
Поліпшення
Ми бачили, що останній байт байт-коду марний. Давайте не захаращувати цей складний вираз голки. Давайте видалимо цей байт. Крім того, якщо ми хочемо трохи пограти в гольф, ми можемо пропустити інстанцію Exception і замість цього передати клас Exception як аргумент. Ці зміни призведуть до наступного коду:
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1',(),(),('x',),'','',1,b''),{}
)(Exception)
Запустивши його, ми отримаємо такий же результат, як і раніше. Це просто коротше.