Python3.9 剛剛發(fā)布不久，Python3.10 的第二個 alpha 版本也已于 11 月初發(fā)布。透過這個版本，我們或許可以一窺 Python 的未來改變。

Python3.10 第二個 alpha 版本的新功能包括以下三大部分：

類型注釋擴(kuò)展

為什么類型注釋很重要

新方法和行為

類型注釋擴(kuò)展

Python3.9 版本對類型提示與注釋進(jìn)行了徹底的修改和清理。Python3.10 版本似乎延續(xù)了這一趨勢，Python3.10 alpha 2 版本將類型注釋功能進(jìn)行了擴(kuò)展。

從 Python 3.0 到 Python 3.10 類型注釋的變化。

類型注釋的延遲評估

類型注釋的評估始終在函數(shù)定義時執(zhí)行，這意味著類型注釋以自上而下的方式逐行進(jìn)行評估。這看似合乎邏輯，但存在兩個問題：

引用尚未定義的類型（前向引用）的類型提示無效，必須以字符串形式表示。例如應(yīng)該是「“int”」而不是「int」（盡管這僅適用于自定義類型，而不是內(nèi)置 / 預(yù)定義類型）。

由于需要執(zhí)行類型提示，模塊導(dǎo)入的速度減慢。

因此，注釋將被存儲在 __annotations__，然后進(jìn)行集中評估，即允許前向引用并首先執(zhí)行模塊導(dǎo)入（以減少初始化時間）。

Union 操作符類型

Python 3.10 引入了 | 操作符。在注釋數(shù)據(jù)類型時，可以使用 | 作為 OR。例如，存在一個預(yù)計為 int 或 float 的變量，我們可以將其寫作 int | float：

在 3.10 之前的版本中，等效運(yùn)算符使用 type.Union 方法進(jìn)行編寫，例如 Union[int, float]。

TypeAlias 注釋

回到前向引用問題，避免前向引用的常見解決方案是將它們作為字符串寫入。

但是，將類型作為字符串編寫，會在將這些類型分配給變量時出現(xiàn)問題，因為 Python 假設(shè)字符串文本類型注釋只是一個字符串。

在使用類型注釋的地方使用該類型注釋變量將返回錯誤。例如：

我們正在嘗試使用 MyType 作為類型的別名（alias），但是 MyType 將被讀取為字符串值，而不是類型別名。

只要在后面的代碼中定義了 ClassName，這就是有效的。目前，這將引發(fā)注釋錯誤。

為了解決這個問題，該版本添加了一個顯式地將 MyType 識別為類型別名的方法：

為什么類型注釋很重要

Python 的強(qiáng)大之處在于它易于使用和掌握，原因之一就是我們不需要在整個代碼中顯式地定義類型。

這看似違背常理，但允許開發(fā)人員定義類型可以極大地增強(qiáng)代碼庫的可讀性和可維護(hù)性。例如從 transformers 庫的源代碼中提取如下內(nèi)容：

即使沒有上下文，我們也可以讀取這些代碼，并了解應(yīng)該向這些函數(shù)、類和方法提供哪些數(shù)據(jù)，以及應(yīng)該返回哪些數(shù)據(jù)類型。

在復(fù)雜的代碼庫（甚至是簡單的代碼庫）中，類型注釋可以極大地提高可讀性。同時，并不是每個開發(fā)者都想（或需要）使用類型注釋，因此可選的、無異常的功能可以達(dá)到完美的平衡。

新方法和實現(xiàn)

除了類型注釋方面的更改之外，3.10 alpha 2 版本對其他核心功能也進(jìn)行了一些更新。

為 Zip 添加等長標(biāo)記

第一個是 PEP 618，它為 zip() 函數(shù)添加了一個可選的 strict 標(biāo)記。設(shè)置 strict = True，如果 zip 的兩個輸入長度不等，則會引發(fā)錯誤。

左側(cè)無 strict=True 標(biāo)記，沒有引發(fā)錯誤，并且較長的列表被截斷用于創(chuàng)建壓縮生成器。如果設(shè)置 strict = True，就會引發(fā)錯誤。

整數(shù)的位計數(shù)

也叫做「總體計數(shù)」（population count）。這一新方法允許計算整數(shù)二進(jìn)制表示中 1 的個數(shù)，只需寫 int.bit_count() 即可：

字典視圖映射

三種字典方法 dict.keys()、dict.values() 和 dict.items() 返回字典的不同視圖?，F(xiàn)在，將 mapping 屬性添加到每個視圖對象。

這一新屬性是 types.MappingProxyType 對象，用來包裝原始字典。如果在視圖上調(diào)用它，則返回原始字典。