原作：**Jake Edge** 譯者：豌豆花下貓@Python貓 英文：[https://lwn.net/Articles/819853/](https://lwn.net/Articles/819853/) 隨著 Python 3.9.0b1 的釋出，即開發週期中計劃的四個 beta 版本的首個，Python 3.9 的功能已經是完善了。在 10 月釋出最終版本之前，還會有許多測試和穩定性方面的工作要做。 （譯註：beta1 版本釋出於 5 月 18 日，作者文章寫於 5 月 20，而到本篇譯文釋出時，beta2 剛好在今天即 6 月 9 日釋出，這是一個巧合！） 該釋出說明中列出了被 3.9 接受的 7 個 Python 增強提案（PEP）。我們研究了其中的一些 PEP，看到有一些更新。現在似乎是一個介紹 Python 3.9 帶來的一些東西的好時機。 ## 1、字串操作 有時最簡單（表明上的）的事情最困難，或者至少會引起巨大的討論。其中大部分的爭議是關於命名（還能是什麼？），但是給標準字串物件新增函式，來刪除字首和字尾，這種想法是毫無爭議的。 是否可以將那些詞綴（字首和字尾的統稱）指定為序列，以便在一次呼叫中處理多個詞綴，這一點尚不明確，最後它被從提案中刪除了，等待著其他人再次推動更改。 在 3 月底，Dennis Sweeney 在 python-dev 郵件列表上請求核心開發者支援 PEP 616（“字串刪除字首和字尾的方法”）。他指出了自 2019 年 3 月以來關於該話題的 python-ideas 討論。埃裡克·史密斯（Eric V. Smith）同意支援該 PEP，這促使 Sweeney 釋出並啟動了討論。 在最初版本中，他使用 cutprefix() 和 cutsuffix() 作為要新增給字串物件的方法名。四種類型的 Python 物件將獲得新的方法：str（Unicode 字串），byte（二進位制序列），bytearray（可變的二進位制序列）和 collections.UserString（字串物件的一種封裝）。 它的寫法如下： ```python 'abcdef'.cutprefix('abc') # 返回'def' 'abcdef'.cutsuffix('ef') # 返回'abcd' ``` 針對命名部分，出現了一大堆的建議。基本上很少有人喜歡“cut”，因此“strip”、“strim”和“remove”被提出來了，並且都獲得了一些支援。 stripprefix() 以及 stripsuffix() 由於 PEP 中指出的一種理由，至少是被部分地反對了；現有的“strip”函式令人困惑，因此應避免重用該名稱。 str.lstrip() 和 str.rstrip() 方法也用於刪除前導字元和尾隨字元，但是它們對於真正在尋找 cutprefix() 功能的程式設計師來說是一個困惑的來源。 *strip() 在呼叫時接收一個字串引數，但會將其視為一組字元，並從字串開頭或結尾消除： ```python 'abcdef'.lstrip('abc') # 返回“def”，符合預期 'abcbadefed'.lstrip('abc') # 返回'defed'，完全不符合預期 ``` 最終，removeprefix() 和 removesuffix() 似乎佔據了上風，這正是 Sweeney 最終改成的版本。Guido van Rossum 也支援這些名字。 埃裡克·法格倫（Eric Fahlgren）這樣搞笑地總結了命名的爭論： > 我認為如果你先寫文件，則名稱的選擇會更容易些： > > cutprefix - 刪除指定的字首。 > > trimprefix - 刪除指定的字首。 > > stripprefix - 刪除指定的字首。 > > removeprefix - 刪除指定的字首。廢話 :) Sweeney 更新了 PEP，迴應了許多評論，但還增加了提議將字串元組作為詞綴的功能（可以在 PEP GitHub 倉庫中看到該版本）。 但是史蒂文·達普拉諾（Steven D'Aprano）不確定這樣做是否合理。他指出，唯一接受元組引數的字串操作是 str.startswith() 和 str.endswith()，而它們不返回字串（只是一個布林值）。他懷疑新增這一種接收元組引數卻返回字串的方法，因為無論選擇何種規則來處理元組，對於某些人來說都是“錯誤的”選擇。 例如： > 這裡的困難在於，如果兩個或多個字首都能匹配，則“剪下這些字首中的一個”的概念是模稜兩可的。對 startwith 沒有區別： > > ```python > "extraordinary".startswith(('ex', 'extra')) > ``` > > 因為是從左到右，從最短到最大，甚至是隨機順序匹配都為True。但是對於 cutprefix，應該刪除哪個字首？ 如他所說，建議的規則是使用從左到右處理元組的第一個匹配字串，但是有些人可能想要最長的匹配或最後一個匹配；這一切都取決於使用的上下文。他建議在提交新增此類行為之前，要給該功能更多的“浸泡時間”（譯註：即預備時間）：“在新增多字首/字尾的支援之前，我們首先應該對簡單的情況進行一些實際的體驗。” 伊桑·弗曼（Ethan Furman）同意達普拉諾（D'Aprano）的意見。但是維克托·斯汀納（Victor Stinner）強烈贊成元組引數的想法，只不過，他還想知道當傳入的元組有空字串時，會怎麼處理。根據 PEP 提議，在處理元組時遇到空字串（實際上可以匹配任何內容）只會返回原始字串，這會導致令人驚訝的結果： ```python cutsuffix("Hello World", ("", " World")) # 返回 "Hello World" cutsuffix("Hello World", (" World", "")) # 返回 "Hello" ``` 這個例子不太明顯；詞綴不一定是硬編碼的，因此空字串可能會溜進意想不到的位置。Stinner 建議如果遇到空字串，則丟擲 ValueError，類似於 str.split()。但是 Sweeney 決定完全刪除元組引數功能，以便“允許對此有更強見解的人在另外的 PEP 中提出並捍衛一系列的語義”。他在 3 月 28 日釋出了該 PEP 的最新版本。 4 月 9 日，Sweeney 發起了一個指導委員會 issue，請求對其 PEP 進行評審。4 月 20 日，Stinner 代表委員會接受了該提案。 這是一個很小的更改，但值得花時間確保它具有長期適用的介面（和語義）。我們將在 Python 3.9 中看到 removeprefix() 和removesuffix()。 ## 2、新解析器 並不令人感到驚訝的是，指導委員會已經接受了我們在 4 月中旬介紹過的 CPython 新解析器。PEP 617（“CPython 新的 PEG 解析器”）由 Python 創始人即前仁慈的獨裁者（BDFL） Guido van Rossum 以及 Pablo Galindo Salgado 和 Lysandros Nikolaou 共同提出。 它已經執行良好，並且在現有解析器的速度和記憶體使用方面提升了 10% 以內的效能。由於解析器是基於解析表達語法（PEG），因此也將簡化語言規範。CPython 現有的 LL(1) 解析器存在諸多缺點和一些 hack，新的解析器將會消除掉。 這一更改為 Python 超越 LL(1) 語法鋪平了道路，儘管現有語言並不完全是 LL(1)。這一更改不會太快，因為計劃是在 Python 3.9 的命令列中提供開關，保持現有解析器可用。 但是 Python 3.10 將刪除現有的解析器，這可能會導致語言變更。如果做了那些更改，那麼，其它的 Python 實現（例如 PyPy 和 MicroPython）就需要切換解析器的 LL(1) 實現，以便跟上語言規範的要求。這可能會使核心開發者暫停進行此類更改。 ## 3、更多內容 我們在三月初查看了 PEP 615（“在標準庫中支援 IANA 時區資料庫”）。它將在標準庫中新增一個`zoneinfo` 模組，該模組將有助於從 IANA 時區資料庫中（也稱為“Olson資料庫”）獲取時區資訊，以填充時區物件。在撰寫本文時，它看起來很順利。 在 3 月底，Paul Ganssle 請求就該 PEP 作出決議。他認為在一個有趣的時間範圍內接受它，可能會很有趣： > ... 我希望（出於異想天開的原因）在 4 月 5 日（星期日）UTC 時間 02:00-04:00 或 13:00-17:30 之間接受它，因為這些時間代表著地球上某些地方的不明確時間（主要在澳大利亞）。還有另一個時機，那就是在 4 月 19 日星期日 UTC 01:00-03:00 之間，這段時間在西撒哈拉是不明確的。 他意識到這可能難以實現，它當然不是優先考慮的事。指導委員會沒有錯過第二個時間窗太多；Barry Warsaw 於 4 月 20 日宣佈接受該 PEP。 Python 現在將具有一種機制來訪問系統的時區資料庫，以建立和處理時區。另外，Python 軟體包索引（PyPI）中有一個 tzdata 模組，它為缺少 IANA 資料的系統提供這些資料；它將由 Python 核心開發者維護。 PEP 593（“靈活的函式和變數註釋”）添加了一種將上下文特定的（context-specific）元資料與函式和變數關聯的方法。實際上，type hint 註解已擠出了很多年前在 Python 3.0 中實現的 PEP 3107（“函式註釋”）中設想的其它用例。PEP 593 使用註解的（Annotated）型別提示為這些用例建立了一種新的機制。 PEP 585（“標準集合中的型別提示泛型”）提供了另一種清除方法。它將允許刪除在 typing 模組中維護的一組並行的類型別名，以支援泛型。例如，type.List 型別將不再需要支援諸如“dict[str,list[int]]”之類的註解（例如，一個帶有字串鍵和整數列表的值的字典）。 字典“加法”的聯合操作也會是 Python 3.9 的一部分。它曾不時引起爭議，但是 2 月中旬，PEP 584（“給字典新增聯合操作符”）被 Van Rossum 推薦採納。指導委員會迅速同意了，該特性於 2 月 24 日合入。 最後一個 PEP 是 PEP 602（“Python 的年度釋出週期”）。如提案所書，它將釋出節奏從每 18 個月更改為每年一次。但是，開發和釋出週期是重疊的，因此整個功能開發需要 12 個月的時間。當第一個 Python 3.9 beta 版本釋出時（即現在），Python 3.10 的功能開發就開始了。請繼續關注來年的下一輪