原作：Jake Edge
譯者：豌豆花下貓@Python貓
英文：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（字串物件的一種封裝）。
它的寫法如下：
'abcdef'.cutprefix('abc') # 返回'def'
'abcdef'.cutsuffix('ef') # 返回'abcd'
針對命名部分，出現了一大堆的建議。基本上很少有人喜歡“cut”，因此“strip”、“strim”和“remove”被提出來了，並且都獲得了一些支援。
stripprefix() 以及 stripsuffix() 由於 PEP 中指出的一種理由，至少是被部分地反對了；現有的“strip”函式令人困惑，因此應避免重用該名稱。
str.lstrip() 和 str.rstrip() 方法也用於刪除前導字元和尾隨字元，但是它們對於真正在尋找 cutprefix() 功能的程式設計師來說是一個困惑的來源。
*strip() 在呼叫時接收一個字串引數，但會將其視為一組字元，並從字串開頭或結尾消除：
'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 沒有區別：
"extraordinary".startswith(('ex', 'extra'))因為是從左到右，從最短到最大，甚至是隨機順序匹配都為True。但是對於 cutprefix，應該刪除哪個字首？
如他所說，建議的規則是使用從左到右處理元組的第一個匹配字串，但是有些人可能想要最長的匹配或最後一個匹配；這一切都取決於使用的上下文。他建議在提交新增此類行為之前，要給該功能更多的“浸泡時間”（譯註：即預備時間）：“在新增多字首/字尾的支援之前，我們首先應該對簡單的情況進行一些實際的體驗。”
伊桑·弗曼（Ethan Furman）同意達普拉諾（D'Aprano）的意見。但是維克托·斯汀納（Victor Stinner）強烈贊成元組引數的想法，只不過，他還想知道當傳入的元組有空字串時，會怎麼處理。根據 PEP 提議，在處理元組時遇到空字串（實際上可以匹配任何內容）只會返回原始字串，這會導致令人驚訝的結果：
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 的功能開發就開始了。請繼續關注來年的下一輪 PEP。