Marcelo Cantosが提供した回答のUPDATE 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)ある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
- スタックサイズ= 1
- flags = 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です。
最も重要な引数は、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、2番目のバイトはその引数、つまり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関数の最初の引数（）をスタックにプッシュし、1であるargcため、
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)
実行すると、以前と同じ結果が得られます。ただ短いだけです。