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)

우리가 그것을 실행할 때 우리는 이전과 같은 결과를 얻을 것입니다. 더 짧아요

---

답변