Я хотел бы дать ОБНОВЛЕНИЕ 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'')
мы вызываем конструктор объекта кода со следующими аргументами:
- argcount = 1
- kwonlyargcount = 0
- nlocals = 1
- STACKSIZE = 1
- Флаги = 67
- codestring = Ь '| \ 0 \ 202 \ 1 \ 0'
- Константы = ()
- имена = ()
- = имя переменный ( 'х',)
- имя файла = «»
- имя = «»
- firstlineno = 1
- lnotab = B ''
Вы можете прочитать о том, что значат аргументы, в определении PyCodeObject
https://github.com/python/cpython/blob/master/Include/code.h . flagsНапример, значение 67 для аргумента 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) нашей функции в стек и равны argc1, мы будем увеличивать
x если это экземпляр исключения, или делать его, 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)
Когда мы запустим его, мы получим тот же результат, что и раньше. Это просто короче.