原作: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 沒有差別:因為是從左到右,從最短到最大,甚至是随機順序比對都為True。但是對于 cutprefix,應該删除哪個字首?"extraordinary".startswith(('ex', 'extra'))
如他所說,建議的規則是使用從左到右處理元組的第一個比對字元串,但是有些人可能想要最長的比對或最後一個比對;這一切都取決于使用的上下文。他建議在送出添加此類行為之前,要給該功能更多的“浸泡時間”(譯注:即預備時間):“在添加多字首/字尾的支援之前,我們首先應該對簡單的情況進行一些實際的體驗。”
伊桑·弗曼(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。