Python 發(fā)布了版本號為 3.9.0b3 的 beta 版，后續(xù)即將發(fā)布 Python 3.9 的正式版。該版本包含了一些令人興奮的新特性，預(yù)計(jì)正式版發(fā)布以后這些特性能夠被大家廣泛使用。

本文主要介紹以下幾個方面：

• 新增字典合并運(yùn)算
• 類型提示
• 字符串新增的兩個方法
• 新的 Python 解析器 —— 大贊！

接下來帶著大家了解一下這些特性以及它們的用法。

1.字典合并

這是我最喜歡的新特性，該特性的用法非常優(yōu)雅。如果你想對兩個字典 a 和 b 進(jìn)行合并，我們就可以使用合并操作，合并的操作符為 | 。

a = {1: 'a', 2: 'b', 3: 'c'}
b = {4: 'd', 5: 'e'}
c = a | b
print(c)

結(jié)果如下：

 

還可以使用合并更新操作 |= ，該操作符可以更新原始字典的數(shù)據(jù)。

a = {1: 'a', 2: 'b', 3: 'c'}
b = {4: 'd', 5: 'e'}
a |= b
print(a)

結(jié)果如下：

 

在執(zhí)行合并運(yùn)算時，如果字典包含相同的 key， 運(yùn)算結(jié)果將采用第二個字典的鍵值對。

a = {1: 'a', 2: 'b', 3: 'c', 6: 'in both'}
b = {4: 'd', 5: 'e', 6: 'but different'}
print(a | b)

結(jié)果如下：

 

2.可迭代對象的字典更新

|= 操作符另外一個非常棒的功能是使用一個可迭代對象(如列表或者生成器)的鍵值對更新字典。

a = {'a': 'one', 'b': 'two'}
b = ((i, i**2) for i in range(3))
a |= b
print(a)

結(jié)果如下：

 

如果你用標(biāo)準(zhǔn)的合并操作符 | 替換上面的 |=操作符，由于 | 操作符只允許字典類型進(jìn)行合并，所以將導(dǎo)致 TypeError。

 

3.類型提示

Python 是動態(tài)類型的編程語言，這就意味著我們不需要在代碼中指定數(shù)據(jù)類型。

雖然可以這么做，但是這么做有時候容易讓人困惑，此時靈活性就成為了缺點(diǎn)。

從 3.5 版本開始，我們可以指定類型，但是仍然非常麻煩。這次對此進(jìn)行了改進(jìn)，大家看下面的這個例子。

 

由于某個神秘的原因，我們想通過上圖所示的 add_int 函數(shù)，將相同的數(shù)字相加到一起。但是編輯器并不能很好地領(lǐng)會我們的意圖，由于兩個字符串也可以使用 + 進(jìn)行連接所以并沒有給出警告。

現(xiàn)在我們可以指定函數(shù)的參數(shù)類型為 int，編輯器就能夠立即識別出上述問題。

通過類型提示，我們還能看到非常具體的類型。

 

任何地方都可以使用類型提示，由于有了新的語法支持，看起來清爽多了。

 

4.新增字符串函數(shù)

雖然字符串函數(shù)并沒有其他特性那么“偉大”，由于非常實(shí)用，也值得在這里一提。新版本中添加了移除前綴和后綴的兩個字符串函數(shù)。

"Hello world".removeprefix("He")

結(jié)果如下：

??

Hello world".removesuffix("ld")

結(jié)果如下：

 

5.新的解析器

開發(fā)者不容易察覺到新的語法解析器帶來的變化，但是它有可能成為 Python 演變中的一個重要轉(zhuǎn)變。

Python 目前主要使用一種基于 LL (1)的語法，而這種語法可以通過 LL (1)解析器進(jìn)行解析——該解析器從上到下、從左到右地解析代碼，只需要從詞法分析器中取出一個 token 就可以正確地解析下去。

我并不是非常清楚它的工作原理，但是我可以給出LL(1) 存在的一些問題：

• Python 中包含非 LL(1) 語法，正因如此，當(dāng)前語法采用了一些曲線救國的辦法，帶來了很多不必要的復(fù)雜性。
• LL(1) 給 Python 語法造成了很多限制。某個相關(guān)話題 提到了下面代碼無法用當(dāng)前的解析器進(jìn)行解析(會造成SyntaxError)。

with (open("a_really_long_foo") as foo,
      open("a_really_long_bar") as bar):
    pass

LL(1) 不能處理左遞歸。特定的遞歸語法意味著解析樹時可能出現(xiàn)無限循環(huán)。Python 的締造者 Guido van Rossum 在這篇文章[1]中給出了解釋。

這些因素以及更多我無法理解的其他因素影響著 Python 的發(fā)展，它們限制了語言的演進(jìn)。

新的解析器基于 PEG, 它將給 Python 開發(fā)者提供更大的靈活性，從 Python 3.10 開始[2]我們將能夠感受到這一點(diǎn)。