Python 2.7文法Geek - リスト内のラムダ補完

Question

Python 2.7 grammar rulesにマッチする最小限の有効なソースコードの例を作成できますか？ランタイムエラーが発生することはありませんか？

(1) atom:   '[' [listmaker] ']' 
(2) listmaker:  test list_for 
(3) list_for:  'for' exprlist 'in' testlist_safe 
(4) testlist_safe: old_test 
(5) old_test:  old_lambdef 
(6) old_lambdef: 'lambda' [varargslist] ':' old_test 

私がこれまで達することができる最良の結果は次のとおりです。

L = [ fn() for fn in (lambda: x for x in xrange(3)) ] 

しかし、私の解決策の問題は、「ラムダ」を括弧で囲んであります。あなたはかっこなしの例を作ることができますか？もしそうでなければ、文法の規則に完全にマッチしたとしても、なぜラムダを構築できないのか説明してください。

Answer 1

[x for x in lambda: 1] 

これはかなり簡単です。もちろん、これは実行時にTypeErrorを生成しますが、文法はTypeErrorsを生成する構造体を除外するようには設計されていません。

old_lambdefは常に反復可能ではない関数オブジェクトに評価されるため、実行時に例外を発生させる方法はありません。 old_lambdefのどこにもPythonが関数を呼び出すための何かを挿入することができます。 Pythonはそれを呼び出して戻り値を反復するのではなく、関数オブジェクト自体を反復しようとします。 testlist_safeとold_test定義の

---

完全形は

testlist_safe: old_test [(',' old_test)+ [',']] 
old_test: or_test | old_lambdef 

testlist_safeは常に単一old_testなく、old_testは常にold_lambdefありません。 testlist_safeはold_testであることが許可されており、old_testはold_lambdefであることが許可されています。これらのことを一緒に実行すると、実行時に例外が生成されますが、文法を複雑にして、人々がそれらのことを一緒にやることを止めさせることはありませんでした。