Pythonのウォルラス演算子（セイウチ演算子・代入式）の挙動について教えてください。

Question

Pythonのウォルラス（セイウチ）演算子の挙動について教えてください。
(Pythonバージョン:3.9）

発生している事象

下記のコードにおいて、13行目の
if (result := get_batches(check.get(name, 0)))
の箇所をカッコを外し、
if result := get_batches(check.get(name, 0))
とすると、シンタックスエラーが発生します。
なぜカッコでくくらないといけないのでしょうか。

#リストitemsをキーとして辞書checkの値を確認する。
#50以上であれば、辞書foundに格納する。
check = {
    'A': 100,
    'B': 80,
    'C': 40,
}
items = ['A', 'B', 'E']

def get_batches(count):
    return count // 50

x = {name: result for name in items
    if (result := get_batches(check.get(name, 0)))}
print(x)

調べたこと

ウォルラス演算子の左辺にある変数「result」に対し、さらに何かの演算子を使用したいのあれば、カッコが必要であることは理解できます。
たとえば以下のような場合です。

#例1
if (result := get_batches(check.get(name, 0)))　Is None
#例2
if (result := get_batches(check.get(name, 0)))　== 10

この例であれば、「result」への代入を終えた後に、さらに演算子を使用するためにカッコを使うことは理解できます。
しかし、今回はそうしたケースではありません。

「では、ウォルラス演算子をifで使用する場合は、何かと比較をしていなくてもカッコでくくらないといけないというルールが実はあるのか？」
と思い、調べてみましたがそうしたルールは見当たりませんでした。
実際、公式ドキュメントでもウォルラス演算子の項では以下のコードがありました。これはやはりカッコでくくられていません。

if matching := pattern.search(data):
    do_something(matching)

また、「内包表記の内部でウォルラス演算式を使用する場合は、通常必要ないカッコが必要になるのか？」
とも思いましたが、こちらもそうしたルールは見当たりませんでした。

初歩的すぎる質問で恥ずかしながら自分の知識では、
if (result := get_batches(check.get(name, 0)))
の箇所をカッコを外し、
if result := get_batches(check.get(name, 0))
としたとき、何が原因でシンタックスエラーになってしまっているか理解できずにいます。

どなたか詳しい方ご教示いただけますと幸いです。
よろしくお願いいたします。

Answer 1

この場合、ifは{...}の中にあるので式の一部であり、if文ではなく三項演算子のelse項がないものです。この演算子は 優先順位が最も低いので、囲まれた括弧がないと文法的に正しくないです。

不正確な表現を取り消しました。

Comments

[quickquip]

（三項演算子の優先度が低いので）リスト内包のif節とパーザに認識されていると思うのですが

[ikedas]

そうですね。「三項演算子のelse項がないもの」と書いてしまってから、書き方が雑だなあと自分でも思っていました。いったん撤回します。

[exnjinia]

回答ありがとうございます！
訂正コメントまでいただき、とても親身になってくださりありがとうございました。

Answer 2

まず、以下の式の=の右側の部分は、辞書内包表記というものです。

x = {name: result for name in items
    if (result := get_batches(check.get(name, 0)))}

辞書内包表記内のifは、6.2.4.リスト、集合、辞書の表示にあるcomp_ifにあたります。

comp_if       ::=  "if" or_test [comp_iter]

ifの条件に書けるのは、or_testであることが分かります。
このor_testは、6.17.演算子の優先順位における「ブール演算 OR」にあたります。
つまり、この位置には、優先順位表で「ブール演算 OR」までの演算子しか書けません。
それより下の優先順位の式を書きたい場合は、括弧で囲まなければなりません。

※ここから先は、私の推測なので、間違っているかもしれません。

さて、なぜ「ブール演算 OR」までしか書けないようにしているかについてですが、
「ブール演算 OR」の直下にif -- else(条件式)があるのが理由ではないかと推測します。
if -- elseを辞書内包表記内のifの条件に書けるようにしてしまうと、辞書内包表記内のifと区別するのが難しくなります。
セイウチ演算子を括弧で囲む必要があるのは、より優先順位が高いif -- elseのとばっちりを受けているだけのように思います。

Comments

[exnjinia]

回答ありがとうございます！
公式ドキュメントの読み方を含め大変勉強になりました。

Answer 3

と思い、調べてみましたがそうしたルールは見当たりませんでした。

https://docs.python.org/ja/3/reference/expressions.html#assignment-expressions

Assignment expressions must be surrounded by parentheses when used as sub-expressions in slicing, conditional, lambda, keyword-argument, and comprehension-if expressions and in assert and with statements. In all other places where they can be used, parentheses are not required, including in if and while statements.

公式ドキュメントに明記してあります。

(when以下のしかじかの箇所では)代入式は括弧で囲わなければならない。if文やwhile文を含めた、それ以外のところでは括弧は不要である。という内容かと思います。

---

https://docs.python.org/ja/3/reference/grammar.html の文法定義を見てもそうなっているかと。

---

追記
括弧が不要なところを挙げると

if文の if 代入式:
while 代入式:
スライスの[代入式]
match 代入式,代入式,...:
リストの[代入式,代入式,...]
タプルの(代入式,代入式,...)
setの{代入式,代入式,...}

で、想像だと、記号の : ] } , で終端が判別可能な箇所でだけ括弧を付けなくていいがそれ以外は必要、という基準な気がします。

Comments

[exnjinia]

皆さまからとても丁寧な回答をいただき、迷いましたが、自分にとって一番わかりやすかったこちらをベストアンサーとさせていただきました。
本当にありがとうございました。