Python 列表解析式竟然支援非同步？

豌豆花下貓發表於2021-08-11
Python非同步

PEP原文：https://www.python.org/dev/peps/pep-0530

PEP標題：PEP 530 -- Asynchronous Comprehensions

PEP作者：Yury Selivanov

建立日期：2016-09-03

合入版本：3.6

譯者：豌豆花下貓@Python貓

PEP翻譯計劃：https://github.com/chinesehuazhou/peps-cn

摘要

PEP-492 和 PEP-525 通過 async/await 語法，引入了對原生協程和非同步生成器的支援。本 pep 提議給列表、集合、字典解析式和生成器表示式新增非同步的版本。

基本原理和目標

Python 廣泛地支援同步的推導式，允許使用簡單而簡潔的語法生成列表、字典和集合。我們提議為非同步程式碼實現類似的語法結構。

為了說明可讀性的改善，請考慮下面的例子：

result = []
async for i in aiter():
    if i % 2:
        result.append(i)

有了提議的非同步解析式語法，上面的程式碼會變得非常簡短：

result = [i async for i in aiter() if i % 2]

本 PEP 也使得在各種解析式中使用 await 表示式成為可能：

result = [await fun() for fun in funcs]

規範

非同步的解析式

我們提議允許在列表、集合與字典解析式中使用 async。待 PEP-525 被批准之後，我們還可以建立非同步的生成器表示式。

例子：

  • 集合解析式：{i async for i in agen()}
  • 列表解析式：[i async for i in agen()]
  • 字典解析式：{i: i ** 2 async for i in agen()}
  • 生成器表示式：(i ** 2 async for i in agen())

允許在非同步解析式和生成器表示式中使用 async for 與 if 以及 for 子句：

dataset = {data for line in aiter()
                async for data in line
                if check(data)}
data = {data for line in aiter() async for data in line if check(data)}

非同步解析式只允許在“async def”函式中使用。

原則上，非同步生成器表示式允許用在任何上下文中。然而，在 Python 3.6 中，由於 async 和 await 只是“軟關鍵字”（soft-keyword），非同步生成器表示式只允許在 async def 函式中使用。一旦 async 和 await 在 Python 3.7 中成為保留關鍵字，這個限制將被移除。

解析式中的 await

我們提議允許在非同步和同步解析式中使用 await 表示式：

result = [await fun() for fun in funcs]
result = {await fun() for fun in funcs}
result = {fun: await fun() for fun in funcs}

result = [await fun() for fun in funcs if await smth]
result = {await fun() for fun in funcs if await smth}
result = {fun: await fun() for fun in funcs if await smth}

result = [await fun() async for fun in funcs]
result = {await fun() async for fun in funcs}
result = {fun: await fun() async for fun in funcs}

result = [await fun() async for fun in funcs if await smth]
result = {await fun() async for fun in funcs if await smth}
result = {fun: await fun() async for fun in funcs if await smth}

這隻在 async def 函式體中有效。

語法的更新

本提議需要在語法層面做一個修改：在 comp_for 中新增可選的“async”關鍵字：

comp_for: [ASYNC] 'for' exprlist 'in' or_test [comp_iter]

解析式的 AST 節點將有一個新的 is_async 引數。

向後相容性

本提案是完全向後相容的。

接受

在 2016 年 9 月 6 日[1]，PEP-530 被 Guido 接受。

參考材料

1、 https://mail.python.org/pipermail/python-ideas/2016-September/042141.html

2、https://github.com/1st1/cpython/tree/asyncomp

3、http://bugs.python.org/issue28008

致謝

感謝 Guido van Rossum、Victor Stinner 和 Elvis pranskevichuss 對於這個 pep 的反饋、程式碼檢視和討論。

版權

本文件已進入公共領域。

原始檔：https://github.com/python/peps/blob/master/pep-0530.txt

相關文章