Marcelo Cantos가 제공 한 답변 의 업데이트 3 에 대해 설명하고 싶습니다 .
type(lambda: 0)(type((lambda: 0).__code__)(
1,0,1,1,67,b'|\0\202\1\0',(),(),('x',),'','',1,b''),{}
)(Exception())
설명
lambda: 0builtins.function클래스 의 인스턴스입니다 .
type(lambda: 0)는 IS builtins.function클래스.
(lambda: 0).__code__A는 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
- 스택 크기 = 1
- 플래그 = 67
- codestring = b '| \ 0 \ 202 \ 1 \ 0'
- 상수 = ()
- 이름 = ()
- varnames = ( 'x',)
- 파일 이름 = ''
- 이름 = ''
- firstlineno = 1
- lnotab = b ''
PyCodeObject
https://github.com/python/cpython/blob/master/Include/code.h 의 정의에서 인수의 의미에 대해 읽을 수 있습니다 . flags인수 의 값은 67입니다 CO_OPTIMIZED | CO_NEWLOCALS | CO_NOFREE.
가장 importand 인수는 codestring명령어 opcode를 포함합니다. 그들이 무엇을 의미하는지 봅시다.
>>> import dis
>>> dis.dis(b'|\0\202\1\0')
0 LOAD_FAST 0 (0)
2 RAISE_VARARGS 1
4 <0>
opcode 문서는 https://docs.python.org/3.8/library/dis.html#python-bytecode-instructions 에서 찾을 수 있습니다
. 첫 번째 바이트는의 opcode LOAD_FAST이고 두 번째 바이트는 인수입니다 (예 : 0).
LOAD_FAST(var_num)
Pushes a reference to the local co_varnames[var_num] onto the stack.
따라서 참조를 x스택으로 푸시합니다 . 은 varnames오직 'x'를 포함하는 문자열의리스트이다. 우리는 정의하는 함수의 유일한 인수를 스택에 푸시합니다.
다음 바이트는 opcode 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은 사용되지 않습니다. 유효한 opcode가 아닙니다. 거기에 없을 수도 있습니다.
우리는 코드 스 니펫으로 돌아가서
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를 호출하여 인수가 무엇을 의미하는지 봅시다.
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)
우리가 그것을 실행할 때 우리는 이전과 같은 결과를 얻을 것입니다. 더 짧아요